idris-0.9.11.2: Functional Programming Language with Dependent Types

Safe Haskell	None

IRTS.Java.JTypes

Documentation

charType :: Type Source

byteType :: Type Source

shortType :: Type Source

integerType :: Type Source

longType :: Type Source

doubleType :: Type Source

array :: Type -> Type Source

objectType :: Type Source

bigIntegerType :: Type Source

stringType :: Type Source

threadType :: Type Source

callableType :: Type Source

voidType :: Type Source

box :: Type -> Type Source

isFloating :: Type -> Bool Source

isPrimitive :: Type -> Bool Source

isArray :: Type -> Bool Source

isString :: Type -> Bool Source

idrisClosureType :: Type Source

idrisTailCallClosureType :: Type Source

idrisObjectType :: Type Source

foreignWrapperType :: Type Source

primFnType :: Type Source

arraysType :: Type Source

mathType :: Type Source

exceptionType :: Type Source

runtimeExceptionType :: Type Source

nativeTyToJType :: NativeTy -> Type Source

intTyToJType :: IntTy -> Type Source

arithTyToJType :: ArithTy -> Type Source

localContextID :: Ident Source

localContext :: Exp Source

globalContextID :: Ident Source

globalContext :: Exp Source

newContextID :: Ident Source

newContext :: Exp Source

contextArray :: LVar -> Exp Source

contextParam :: FormalParam Source

constType :: Const -> Type Source

foreignType :: FType -> Maybe Type Source

opName :: PrimFn -> String Source

sourceTypes :: PrimFn -> [Type]Source