Copyright | (c) Matt Morrow 2008 |
---|---|
License | BSD3 |
Maintainer | Matt Morrow <mjm2002@gmail.com> |
Stability | experimental |
Portability | portable (template-haskell) |
Safe Haskell | None |
Language | Haskell98 |
- class ToName a where
- class ToLit a where
- class ToType a where
- class ToPat a where
- class ToExp a where
- class ToDecs a where
- class ToDec a where
- class ToStmt a where
- class ToLoc a where
- moduleName :: [Char]
- noTH :: Show e => String -> e -> a
- noTHyet :: Show e => String -> String -> e -> a
- todo :: Show e => String -> e -> a
- nonsense :: Show e => String -> String -> e -> a
- toFieldExp :: FieldUpdate -> FieldExp
- toMatch :: Alt -> Match
- toBody :: Rhs -> Body
- toGuard :: GuardedRhs -> (Guard, Exp)
- toKind :: Kind -> Kind
- toTyVar :: TyVarBind -> TyVarBndr
- toStrictType :: Type -> StrictType
- (.->.) :: Type -> Type -> Type
- toCxt :: Context -> Cxt
- foldAppT :: Type -> [Type] -> Type
- transAct :: Activation -> Phases
- qualConDeclToCon :: QualConDecl -> Con
- conDeclToCon :: ConDecl -> Con
- hsMatchesToFunD :: [Match] -> Dec
- hsMatchToClause :: Match -> Clause
- hsRhsToBody :: Rhs -> Body
- hsGuardedRhsToBody :: GuardedRhs -> Body
- hsStmtToGuard :: Stmt -> Guard
- collectVars :: Type -> [TyVarBndr]
- fixForall :: Type -> Type
Documentation
moduleName :: [Char] Source
ToName {String,HsName,Module,HsSpecialCon,HsQName}
ToLit HsLiteral
ToPat HsPat
ToExp HsExp
toFieldExp :: FieldUpdate -> FieldExp Source
toGuard :: GuardedRhs -> (Guard, Exp) Source
ToLoc SrcLoc
ToType HsType
toStrictType :: Type -> StrictType Source
ToStmt HsStmt
ToDec HsDecl
transAct :: Activation -> Phases Source
qualConDeclToCon :: QualConDecl -> Con Source
conDeclToCon :: ConDecl -> Con Source
hsMatchesToFunD :: [Match] -> Dec Source
hsMatchToClause :: Match -> Clause Source
hsRhsToBody :: Rhs -> Body Source
hsStmtToGuard :: Stmt -> Guard Source
ToDecs InstDecl
ToDecs HsDecl HsBinds
collectVars :: Type -> [TyVarBndr] Source