idris-0.9.11.2: Functional Programming Language with Dependent Types

Safe Haskell	None

IRTS.Java.ASTBuilding

Documentation

toClassType :: Type -> ClassType Source

toRefType :: Type -> RefType Source

class InvocationTarget a whereSource

Methods

(~>) :: a -> String -> [Argument] -> Exp Source

Instances

InvocationTarget Exp
InvocationTarget Type
InvocationTarget ClassType

class Callable a whereSource

Methods

call :: a -> [Argument] -> Exp Source

Instances

Callable String
Callable Ident
Callable Name

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

localVar :: Int -> Ident Source

(@!) :: Exp -> Int -> ArrayIndex Source

(@:=) :: Either ArrayIndex Ident -> Exp -> BlockStmt Source

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

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

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

jName :: String -> Name Source

jConst :: String -> Exp Source

jReturn :: Exp -> BlockStmt Source

jInt :: Int -> Exp Source

jString :: String -> Exp Source

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

declareFinalObjectArray :: Ident -> Maybe VarInit -> BlockStmt Source

arrayInitExps :: [Exp] -> VarInit Source

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

closure :: Exp -> Exp Source

bigInteger :: String -> Exp Source