Documentation

unqual :: String -> QName () Source #

tycon :: String -> Type () Source #

tyapp :: Type () -> Type () -> Type () infixl 2 Source #

tyfun :: Type () -> Type () -> Type () infixr 2 Source #

tylist :: Type () -> Type () Source #

unit_tycon :: Type () Source #

conDecl :: String -> [Type ()] -> ConDecl () Source #

qualConDecl :: Maybe [TyVarBind ()] -> Maybe (Context ()) -> ConDecl () -> QualConDecl () Source #

recDecl :: String -> [FieldDecl ()] -> ConDecl () Source #

app' :: String -> String -> Exp () Source #

lit :: Literal () -> Exp () Source #

mkVar :: String -> Exp () Source #

con :: String -> Exp () Source #

mkTVar :: String -> Type () Source #

mkPVar :: String -> Pat () Source #

mkIVar :: String -> ImportSpec () Source #

mkPVarSig :: String -> Type () -> Pat () Source #

pbind :: Pat () -> Exp () -> Maybe (Binds ()) -> Decl () Source #

pbind_ :: Pat () -> Exp () -> Decl () Source #

mkTBind :: String -> TyVarBind () Source #

mkBind1 :: String -> [Pat ()] -> Exp () -> Maybe (Binds ()) -> Decl () Source #

mkFun :: String -> Type () -> [Pat ()] -> Exp () -> Maybe (Binds ()) -> [Decl ()] Source #

mkFunSig :: String -> Type () -> Decl () Source #

mkClass :: Context () -> String -> [TyVarBind ()] -> [ClassDecl ()] -> Decl () Source #

dhead :: String -> DeclHead () Source #

mkDeclHead :: String -> [TyVarBind ()] -> DeclHead () Source #

mkInstance :: Context () -> String -> [Type ()] -> [InstDecl ()] -> Decl () Source #

mkData :: String -> [TyVarBind ()] -> [QualConDecl ()] -> Maybe (Deriving ()) -> Decl () Source #

mkNewtype :: String -> [TyVarBind ()] -> [QualConDecl ()] -> Maybe (Deriving ()) -> Decl () Source #

mkForImpCcall :: String -> String -> Type () -> Decl () Source #

mkModule :: String -> [ModulePragma ()] -> [ImportDecl ()] -> [Decl ()] -> Module () Source #

mkModuleE :: String -> [ModulePragma ()] -> [ExportSpec ()] -> [ImportDecl ()] -> [Decl ()] -> Module () Source #

mkImport :: String -> ImportDecl () Source #

mkImportExp :: String -> [String] -> ImportDecl () Source #

mkImportSrc :: String -> ImportDecl () Source #

lang :: [String] -> ModulePragma () Source #

dot :: Exp () -> Exp () -> Exp () Source #

tyForall :: Maybe [TyVarBind ()] -> Maybe (Context ()) -> Type () -> Type () Source #

tyParen :: Type () -> Type () Source #

tyPtr :: Type () Source #

tyForeignPtr :: Type () Source #

classA :: QName () -> [Type ()] -> Asst () Source #

cxEmpty :: Context () Source #

cxTuple :: [Asst ()] -> Context () Source #

tySplice :: Splice () -> Type () Source #

parenSplice :: Exp () -> Splice () Source #

bracketExp :: Bracket () -> Exp () Source #

typeBracket :: Type () -> Bracket () Source #

mkDeriving :: [InstRule ()] -> Deriving () Source #

irule :: Maybe [TyVarBind ()] -> Maybe (Context ()) -> InstHead () -> InstRule () Source #

ihcon :: QName () -> InstHead () Source #

evar :: QName () -> ExportSpec () Source #

eabs :: Namespace () -> QName () -> ExportSpec () Source #

ethingwith :: EWildcard () -> QName () -> [CName ()] -> ExportSpec () Source #

ethingall :: QName () -> ExportSpec () Source #

emodule :: String -> ExportSpec () Source #

nonamespace :: Namespace () Source #

insType :: Type () -> Type () -> InstDecl () Source #

insDecl :: Decl () -> InstDecl () Source #

generator :: Pat () -> Exp () -> Stmt () Source #

qualifier :: Exp () -> Stmt () Source #

clsDecl :: Decl () -> ClassDecl () Source #

unkindedVar :: Name () -> TyVarBind () Source #

op :: String -> QOp () Source #

inapp :: Exp () -> QOp () -> Exp () -> Exp () Source #

if_ :: Exp () -> Exp () -> Exp () -> Exp () Source #

urhs :: Exp () -> Rhs () Source #

match :: Pat () -> Exp () -> Alt () Source #