idris

Safe HaskellNone

IRTS.Java.ASTBuilding

Documentation

toClassType :: Type -> ClassTypeSource

toRefType :: Type -> RefTypeSource

class InvocationTarget a whereSource

Methods

(~>) :: a -> String -> [Argument] -> ExpSource

Instances

class Callable a whereSource

Methods

call :: a -> [Argument] -> ExpSource

Instances

(<>) :: Type -> Exp -> ExpSource

localVar :: Int -> IdentSource

(@!) :: Exp -> Int -> ArrayIndexSource

(@:=) :: Either ArrayIndex Ident -> Exp -> BlockStmtSource

(~&&~) :: Exp -> Exp -> ExpSource

(~==~) :: Exp -> Exp -> ExpSource

addToBlock :: [BlockStmt] -> Exp -> [BlockStmt]Source

jName :: String -> NameSource

jReturn :: Exp -> BlockStmtSource

jInt :: Int -> ExpSource

simpleMethod :: [Modifier] -> Maybe Type -> String -> [FormalParam] -> Block -> DeclSource

declareFinalObjectArray :: Ident -> Maybe VarInit -> BlockStmtSource

arrayInitExps :: [Exp] -> VarInitSource

extendWithNull :: [Exp] -> Int -> [Exp]Source

closure :: Exp -> ExpSource