Documentation

noLoc :: () Source #

type Exp = Exp () Source #

type Pat = Pat () Source #

type Type = Type () Source #

type Kind = Kind () Source #

type Decl = Decl () Source #

type Name = Name () Source #

type QName = QName () Source #

type Match = Match () Source #

type Module = Module () Source #

type ImportDecl = ImportDecl () Source #

type TyVarBind = TyVarBind () Source #

type GadtDecl = GadtDecl () Source #

hQual :: ModuleName () -> Name () -> QName () Source #

hUnQual :: Name () -> QName () Source #

hModuleName :: String -> ModuleName () Source #

hIdent :: String -> Name () Source #

hFunBind :: [Match ()] -> Decl () Source #

hVar :: QName () -> Exp () Source #

hCon :: QName () -> Exp () Source #

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

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

hString :: String -> Literal () Source #

hTyVar :: Name () -> Type () Source #

hTyCon :: QName () -> Type () Source #

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

hDataType :: DataOrNew () Source #

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

hTyTuple :: Boxed -> [Type ()] -> Type () Source #

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

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

hKindedVar :: Name () -> Kind () -> TyVarBind () Source #

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

hBDecls :: [Decl ()] -> Binds () Source #

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

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

hLet :: Binds () -> Exp () -> Exp () Source #

hTuple :: Boxed -> [Exp ()] -> Exp () Source #

hPVar :: Name () -> Pat () Source #

hPApp :: QName () -> [Pat ()] -> Pat () Source #

hPTuple :: Boxed -> [Pat ()] -> Pat () Source #

hKindStar :: Type () Source #

main_name :: Name () Source #

main_mod :: ModuleName () Source #

unit_tycon :: Type () Source #

mkQual :: String -> String -> QName Source #

mkModule :: [Decl] -> Module Source #

mkQualImport :: String -> String -> ImportDecl Source #

noContext :: Maybe a Source #

noDeriving :: [a] Source #

noTyVarBind :: [a] Source #

showDeriving :: Deriving () Source #

mkDataDecl :: Name -> [TyVarBind] -> Kind -> [GadtDecl] -> Decl Source #

mkConDecl :: Name -> Type -> GadtDecl Source #

mkKindFun :: Kind -> Kind -> Kind Source #

mkTyPiSig :: PiSigma -> Type -> Type -> Type Source #

mkTyProd :: Type -> Type -> Type Source #

mkTyFun :: Type -> Type -> Type Source #

mkForall :: Name -> Kind -> Type -> Type Source #

mkTyParen :: Type -> Type Source #

mkTyApp :: Type -> Type -> Type Source #

noBinds :: Binds () Source #

mkTypeSig :: Name -> Type -> Decl Source #

mkLet :: Name -> Exp -> Decl Source #

mkClause :: Name -> [Pat] -> Exp -> Match Source #

mkCast :: Exp -> Exp Source #

mkCon :: Name -> Exp Source #

mkVar :: Name -> Exp Source #

mkLam :: Name -> Exp -> Exp Source #

mkParen :: Exp -> Exp Source #

mkApp :: Exp -> Exp -> Exp Source #

mkLLet :: Name -> Maybe Type -> Exp -> Exp -> Exp Source #

mkPair :: Exp -> Exp -> Exp Source #