Documentation

charType :: TypeSource

byteType :: TypeSource

shortType :: TypeSource

integerType :: TypeSource

longType :: TypeSource

doubleType :: TypeSource

array :: Type -> TypeSource

objectType :: TypeSource

bigIntegerType :: TypeSource

stringType :: TypeSource

threadType :: TypeSource

callableType :: TypeSource

voidType :: TypeSource

box :: Type -> TypeSource

isFloating :: Type -> BoolSource

isPrimitive :: Type -> BoolSource

isArray :: Type -> BoolSource

isString :: Type -> BoolSource

idrisClosureType :: TypeSource

idrisTailCallClosureType :: TypeSource

idrisObjectType :: TypeSource

foreignWrapperType :: TypeSource

primFnType :: TypeSource

arraysType :: TypeSource

mathType :: TypeSource

exceptionType :: TypeSource

runtimeExceptionType :: TypeSource

nativeTyToJType :: NativeTy -> TypeSource

intTyToJType :: IntTy -> TypeSource

arithTyToJType :: ArithTy -> TypeSource

localContextID :: IdentSource

localContext :: ExpSource

globalContextID :: IdentSource

globalContext :: ExpSource

newContextID :: IdentSource

newContext :: ExpSource

contextArray :: LVar -> ExpSource

contextParam :: FormalParamSource

constType :: Const -> TypeSource

foreignType :: FType -> Maybe TypeSource

opName :: PrimFn -> StringSource

sourceTypes :: PrimFn -> [Type]Source