Copyright | (c) Matt Morrow 2008 |
---|---|
License | BSD3 |
Maintainer | Matt Morrow <mjm2002@gmail.com> |
Stability | experimental |
Portability | portable (template-haskell) |
Safe Haskell | None |
Language | Haskell98 |
Language.Haskell.Meta.Syntax.Translate
Contents
Description
- class ToName a where
- class ToNames 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
- class ToCxt a where
- class ToPred a where
- class ToTyVars a where
- class ToMaybeKind a where
- class ToInjectivityAnn a where
- moduleName :: [Char]
- noTH :: (Functor f, Show (f ())) => String -> f e -> a
- noTHyet :: (Functor f, Show (f ())) => String -> String -> f e -> a
- todo :: (Functor f, Show (f ())) => String -> f e -> a
- nonsense :: (Functor f, Show (f ())) => String -> String -> f e -> a
- toFieldExp :: FieldUpdate l -> FieldExp
- toMatch :: Alt l -> Match
- toBody :: Rhs l -> Body
- toGuard :: GuardedRhs t -> (Guard, Exp)
- toKind :: Kind l -> Kind
- toTyVar :: TyVarBind l -> TyVarBndr
- toStrictType :: Type l -> StrictType
- (.->.) :: Type -> Type -> Type
- foldAppT :: Type -> [Type] -> Type
- transAct :: Maybe (Activation l) -> Phases
- qualConDeclToCon :: QualConDecl l -> Con
- conDeclToCon :: ConDecl l -> Con
- hsMatchesToFunD :: [Match l] -> Dec
- hsMatchToClause :: Match l -> Clause
- hsRhsToBody :: Rhs l -> Body
- hsGuardedRhsToBody :: GuardedRhs l -> Body
- hsStmtToGuard :: Stmt l -> Guard
- collectVars :: Type -> [TyVarBndr]
- fixForall :: Type -> Type
Documentation
Minimal complete definition
Minimal complete definition
Minimal complete definition
Minimal complete definition
Minimal complete definition
Minimal complete definition
Minimal complete definition
Minimal complete definition
Minimal complete definition
Minimal complete definition
Minimal complete definition
Minimal complete definition
Minimal complete definition
class ToMaybeKind a where #
Minimal complete definition
Methods
toMaybeKind :: a -> Maybe Kind #
Instances
ToMaybeKind a => ToMaybeKind (Maybe a) # | |
ToMaybeKind (ResultSig l) # | |
class ToInjectivityAnn a where #
Minimal complete definition
Methods
toInjectivityAnn :: a -> InjectivityAnn #
Instances
moduleName :: [Char] #
ToName {String,HsName,Module,HsSpecialCon,HsQName}
ToLit HsLiteral
ToPat HsPat
ToExp HsExp
toFieldExp :: FieldUpdate l -> FieldExp #
toGuard :: GuardedRhs t -> (Guard, Exp) #
ToLoc SrcLoc
ToType HsType
toStrictType :: Type l -> StrictType #
ToStmt HsStmt
ToDec HsDecl
transAct :: Maybe (Activation l) -> Phases #
qualConDeclToCon :: QualConDecl l -> Con #
conDeclToCon :: ConDecl l -> Con #
hsMatchesToFunD :: [Match l] -> Dec #
hsMatchToClause :: Match l -> Clause #
hsRhsToBody :: Rhs l -> Body #
hsGuardedRhsToBody :: GuardedRhs l -> Body #
hsStmtToGuard :: Stmt l -> Guard #
ToDecs InstDecl
ToDecs HsDecl HsBinds
collectVars :: Type -> [TyVarBndr] #