Documentation

tyConst :: String -> TypeSource

tyQConst :: Maybe String -> String -> TypeSource

libTyQConst :: Maybe String -> Maybe String -> String -> TypeSource

mkTyConst :: QualName -> TypeSource

deTyCon :: Type -> QualNameSource

tyCon :: String -> [Type] -> TypeSource

tyQCon :: Maybe String -> String -> [Type] -> TypeSource

mkTyCon :: QualName -> [Type] -> TypeSource

tyVar :: String -> TypeSource

uniqueTyVar :: String -> TypeSource

tyQVar :: Maybe String -> String -> TypeSource

isTyVar :: Type -> BoolSource

generaliseTys :: [Type] -> ([Type], Maybe Context)Source

overloadedTyVar :: ClassName -> String -> TypeSource

ctxtTyApp :: Context -> Type -> TypeSource

ctxtClass :: ClassName -> [Type] -> ContextSource

mbCtxtTyApp :: Maybe Context -> Type -> TypeSource

tyList :: Type -> TypeSource

tyMaybe :: Type -> TypeSource

tyVariant :: TypeSource

tuple :: [Type] -> TypeSource

tyInt8Name :: QualNameSource

tyInt16Name :: QualNameSource

tyInt32Name :: QualNameSource

tyInt64Name :: QualNameSource

tyIntName :: QualNameSource

tyInt8 :: TypeSource

tyInt16 :: TypeSource

tyInt32 :: TypeSource

tyInt64 :: TypeSource

tyInt :: TypeSource

tyInteger :: TypeSource

tyIntegerName :: QualNameSource

tyFloat :: TypeSource

tyDouble :: TypeSource

tyLongDouble :: TypeSource

tyAddr :: TypeSource

tyPtr :: Type -> TypeSource

anyTyPtr :: TypeSource

tyFunPtr :: Type -> TypeSource

tyForeignObj :: TypeSource

tyForeignPtr :: Type -> TypeSource

isFOTy :: Type -> BoolSource

isPtrTy :: Type -> BoolSource

isVARIANTTy :: Type -> BoolSource

toPtrTy :: Type -> TypeSource

tyStable :: TypeSource

tyString :: TypeSource

tyWString :: TypeSource

tyByte :: TypeSource

tyChar :: TypeSource

tyWChar :: TypeSource

tyBool :: TypeSource

tyWord8Name :: QualNameSource

tyWord16Name :: QualNameSource

tyWord32Name :: QualNameSource

tyWord64Name :: QualNameSource

tyWord8 :: TypeSource

tyWord16 :: TypeSource

tyWord32 :: TypeSource

tyWord64 :: TypeSource

funTy :: Type -> Type -> TypeSource

funTys :: [Type] -> Type -> TypeSource

io :: Type -> TypeSource

io_unit :: TypeSource

tyUnit :: TypeSource

purifyType :: Type -> TypeSource

isIOTy :: Type -> BoolSource

recCon :: Name -> [(Name, Type)] -> ConDeclSource

recConBanged :: Name -> [(Name, Type)] -> ConDeclSource

conDecl :: Name -> [Type] -> ConDeclSource

recToConDecl :: ConDecl -> ConDeclSource

dataTy :: Name -> [Name] -> [ConDecl] -> HDeclSource

newTy :: Name -> [Name] -> ConDecl -> [QualName] -> HDeclSource

tySyn :: Name -> [Name] -> Type -> HDeclSource

conDeclToCon :: ConDecl -> ExprSource

conDeclToPat :: ConDecl -> PatSource

splitFunTys :: Type -> ([Type], Type)Source

hInstance :: Maybe [(ClassName, [TyVar])] -> ClassName -> Type -> [HDecl] -> HDeclSource

hClass :: Context -> ClassName -> [TyVar] -> [HDecl] -> HDeclSource

groundTyVars :: Type -> TypeSource

unconstrainType :: Type -> ([(Context, TyVar)], Type)Source

andDecl :: HDecl -> HDecl -> HDeclSource

andDecls :: [HDecl] -> HDeclSource

emptyDecl :: HDeclSource

comment :: String -> HDeclSource

isEmptyDecl :: HDecl -> BoolSource

cCode :: String -> HDeclSource

typeSig :: String -> Type -> HDeclSource

genTypeSig :: String -> Maybe Context -> Type -> HDeclSource

mkTypeSig :: String -> [Type] -> Type -> HDeclSource

funDef :: String -> [Pat] -> Expr -> HDeclSource

valDef :: String -> Expr -> HDeclSource

methodDef :: QualName -> [Pat] -> Expr -> HDeclSource

guardedFunDef :: String -> [Pat] -> [(Expr, Expr)] -> HDeclSource

prim :: CallConv -> LocSpec -> Name -> Type -> Bool -> [(Bool, String)] -> (Bool, String) -> HDeclSource

primcst :: CallConv -> Name -> Type -> Bool -> [(Bool, String)] -> (Bool, String) -> HDeclSource

fexport :: CallConv -> Maybe Name -> Name -> Type -> HDeclSource

extLabel :: Name -> Name -> Type -> HDeclSource

conPat :: ConName -> [Pat] -> PatSource

patVar :: Name -> PatSource

patRec :: VarName -> [(VarName, Pat)] -> PatSource

qpatVar :: Maybe String -> Name -> PatSource

litPat :: Literal -> PatSource

varPat :: Expr -> PatSource

tuplePat :: [Pat] -> PatSource

exprToPat :: Expr -> Maybe PatSource

wildPat :: PatSource

isVarPat :: Pat -> BoolSource

ret :: Expr -> ExprSource

genBind :: Expr -> Pat -> Expr -> ExprSource

bind :: Expr -> Expr -> Expr -> ExprSource

bind_ :: Expr -> Expr -> ExprSource

var :: Name -> ExprSource

varName :: VarName -> ExprSource

qvar :: Maybe String -> Name -> ExprSource

lam :: [Pat] -> Expr -> ExprSource

lit :: Literal -> ExprSource

integerLit :: IntegerLit -> ExprSource

dataConst :: ConName -> ExprSource

dataCon :: ConName -> [Expr] -> ExprSource

funApp :: VarName -> [Expr] -> ExprSource

contApply :: Expr -> Expr -> ExprSource

funApply :: Expr -> [Expr] -> ExprSource

infixOp :: Expr -> VarName -> Expr -> ExprSource

binOp :: BinaryOp -> Expr -> Expr -> ExprSource

unaryOp :: UnaryOp -> Expr -> ExprSource

tup :: [Expr] -> ExprSource

hList :: [Expr] -> ExprSource

hCase :: Expr -> [CaseAlt] -> ExprSource

hIf :: Expr -> Expr -> Expr -> ExprSource

alt :: Pat -> Expr -> CaseAltSource

genAlt :: Pat -> Expr -> Expr -> CaseAltSource

defaultAlt :: Maybe VarName -> Expr -> CaseAltSource

equals :: Expr -> Expr -> BindingSource

hLet :: Expr -> Expr -> Expr -> ExprSource

hLets :: [(Expr, Expr)] -> Expr -> ExprSource

intLit :: Integral a => a -> ExprSource

stringLit :: String -> ExprSource

addPtr :: Expr -> Expr -> ExprSource

castPtr :: Expr -> ExprSource

nothing :: ExprSource

just :: Expr -> ExprSource

unit :: ExprSource

prefix :: String -> TyCon -> VarNameSource

prefixApp :: String -> TyCon -> VarNameSource

appendStr :: String -> TyCon -> VarNameSource

isVarsEq :: Expr -> Expr -> BoolSource

hModule :: Name -> Bool -> [HExport] -> [HImport] -> HDecl -> HTopDeclSource

hMeta :: String -> HTopDeclSource

cMeta :: String -> HTopDeclSource

hInclude :: String -> HTopDeclSource

hExport :: HIEEntity -> Maybe String -> HExportSource

hImport :: Name -> Bool -> [HIEEntity] -> HImportSource

hQImport :: Name -> Maybe Name -> [HIEEntity] -> HImportSource

ieModule :: Name -> HIEEntitySource

ieValue :: Name -> HIEEntitySource

ieClass :: Name -> HIEEntitySource

ieType :: Name -> Bool -> HIEEntitySource

subst :: Name -> Expr -> Expr -> ExprSource

mkQVarName :: Maybe String -> String -> VarNameSource

mkVarName :: String -> VarNameSource

mkConName :: String -> ConNameSource

mkQConName :: Maybe String -> String -> ConNameSource

mkTyVar :: String -> TyVarSource

mkQTyVar :: Maybe String -> String -> TyVarSource

mkQTyCon :: Maybe String -> String -> TyConSource

mkIntTy :: Size -> Signed -> TypeSource

mkCharTy :: Signed -> TypeSource

mkFloatTy :: Size -> TypeSource

findIncludes :: HDecl -> [String]Source

mkTySig :: [Type] -> Type -> StringSource

replaceTyVar :: Type -> Type -> TypeSource