Portability | portable (template-haskell) |
---|---|
Stability | experimental |
Maintainer | Matt Morrow <mjm2002@gmail.com> |
- errorMsg :: Typeable a => String -> a -> String
- class ToName a where
- class ToLit a where
- class ToKind a where
- class ToPred a where
- class ToTyVarBndr a where
- toTyVarBndr :: a -> TyVarBndr
- class ToType a where
- class ToPat a where
- class ToExp a where
- class ToDec a where
- class ToStmt a where
- class ToLoc a where
- toFieldExp :: FieldUpdate -> FieldExp
- (.->.) :: Type -> Type -> Type
- foldAppT :: Type -> [Type] -> Type
- hsBindsToDecs :: Binds -> [Dec]
- hsBangTypeToStrictType :: BangType -> (Strict, Type)
- qualConDeclToCon :: QualConDecl -> Con
- conDeclToCon :: ConDecl -> Con
- bangToVarStrictTypes :: [Name] -> BangType -> [VarStrictType]
- bangToStrictType :: BangType -> StrictType
- hsMatchesToFunD :: [Match] -> Dec
- hsMatchToClause :: Match -> Clause
- hsRhsToBody :: Rhs -> Body
- hsGuardedRhsToBody :: GuardedRhs -> Body
- hsStmtToGuard :: Stmt -> Guard
Documentation
Literals
ToName {String,HsName,Module,HsSpecialCon,HsQName}
ToPat HsPat
ToExp HsExp
ToLoc SrcLoc
ToType HsType
ToStmt HsStmt
ToDec HsDecl
hsBindsToDecs :: Binds -> [Dec]Source
hsBangTypeToStrictType :: BangType -> (Strict, Type)Source
conDeclToCon :: ConDecl -> ConSource
bangToVarStrictTypes :: [Name] -> BangType -> [VarStrictType]Source
hsMatchesToFunD :: [Match] -> DecSource
hsMatchToClause :: Match -> ClauseSource
hsRhsToBody :: Rhs -> BodySource
hsStmtToGuard :: Stmt -> GuardSource