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
Description
Documentation
class ToDerivClauses a where Source #
Methods
toDerivClauses :: a -> [DerivClause] Source #
Instances
ToDerivClauses a => ToDerivClauses [a] Source # | |
Defined in Language.Haskell.Meta.Syntax.Translate Methods toDerivClauses :: [a] -> [DerivClause] Source # | |
ToDerivClauses a => ToDerivClauses (Maybe a) Source # | |
Defined in Language.Haskell.Meta.Syntax.Translate Methods toDerivClauses :: Maybe a -> [DerivClause] Source # | |
ToDerivClauses (Deriving l) Source # | |
Defined in Language.Haskell.Meta.Syntax.Translate Methods toDerivClauses :: Deriving l -> [DerivClause] Source # |
class ToInjectivityAnn a where Source #
Methods
toInjectivityAnn :: a -> InjectivityAnn Source #
Instances
ToInjectivityAnn (InjectivityInfo l) Source # | |
Defined in Language.Haskell.Meta.Syntax.Translate Methods toInjectivityAnn :: InjectivityInfo l -> InjectivityAnn Source # |
class ToMaybeKind a where Source #
Methods
toMaybeKind :: a -> Maybe Kind Source #
Instances
ToMaybeKind a => ToMaybeKind (Maybe a) Source # | |
Defined in Language.Haskell.Meta.Syntax.Translate Methods toMaybeKind :: Maybe a -> Maybe Kind Source # | |
ToMaybeKind (ResultSig l) Source # | |
Defined in Language.Haskell.Meta.Syntax.Translate Methods toMaybeKind :: ResultSig l -> Maybe Kind Source # |
class ToTyVars a where Source #
Instances
ToTyVars a => ToTyVars [a] Source # | |
Defined in Language.Haskell.Meta.Syntax.Translate | |
ToTyVars a => ToTyVars (Maybe a) Source # | |
Defined in Language.Haskell.Meta.Syntax.Translate | |
ToTyVars (DeclHead l) Source # | |
Defined in Language.Haskell.Meta.Syntax.Translate | |
ToTyVars (TyVarBind l) Source # | |
Defined in Language.Haskell.Meta.Syntax.Translate |
Instances
ToCxt a => ToCxt (Maybe a) Source # | |
Defined in Language.Haskell.Meta.Syntax.Translate | |
ToCxt (Context l) Source # | |
Defined in Language.Haskell.Meta.Syntax.Translate | |
ToCxt (InstRule l) Source # | |
Defined in Language.Haskell.Meta.Syntax.Translate |
Instances
ToDecs a => ToDecs [a] Source # | |
Defined in Language.Haskell.Meta.Syntax.Translate | |
ToDecs a => ToDecs (Maybe a) Source # | |
Defined in Language.Haskell.Meta.Syntax.Translate | |
ToDecs (Binds l) Source # | |
Defined in Language.Haskell.Meta.Syntax.Translate | |
ToDecs (ClassDecl l) Source # | |
Defined in Language.Haskell.Meta.Syntax.Translate | |
ToDecs (Decl l) Source # | |
Defined in Language.Haskell.Meta.Syntax.Translate | |
ToDecs (InstDecl l) Source # | |
Defined in Language.Haskell.Meta.Syntax.Translate |
Instances
ToExp Lit Source # | |
Defined in Language.Haskell.Meta.Syntax.Translate | |
ToExp a => ToExp [a] Source # | |
Defined in Language.Haskell.Meta.Syntax.Translate | |
ToExp (Exp l) Source # | |
Defined in Language.Haskell.Meta.Syntax.Translate | |
ToExp (QOp l) Source # | |
Defined in Language.Haskell.Meta.Syntax.Translate | |
(ToExp a, ToExp b) => ToExp (a, b) Source # | |
Defined in Language.Haskell.Meta.Syntax.Translate | |
(ToExp a, ToExp b, ToExp c) => ToExp (a, b, c) Source # | |
Defined in Language.Haskell.Meta.Syntax.Translate | |
(ToExp a, ToExp b, ToExp c, ToExp d) => ToExp (a, b, c, d) Source # | |
Defined in Language.Haskell.Meta.Syntax.Translate |
Instances
ToPat Lit Source # | |
Defined in Language.Haskell.Meta.Syntax.Translate | |
ToPat a => ToPat [a] Source # | |
Defined in Language.Haskell.Meta.Syntax.Translate | |
ToPat (Pat l) Source # | |
Defined in Language.Haskell.Meta.Syntax.Translate | |
(ToPat a, ToPat b) => ToPat (a, b) Source # | |
Defined in Language.Haskell.Meta.Syntax.Translate | |
(ToPat a, ToPat b, ToPat c) => ToPat (a, b, c) Source # | |
Defined in Language.Haskell.Meta.Syntax.Translate | |
(ToPat a, ToPat b, ToPat c, ToPat d) => ToPat (a, b, c, d) Source # | |
Defined in Language.Haskell.Meta.Syntax.Translate |
Instances
ToType (InstHead l) Source # | |
Defined in Language.Haskell.Meta.Syntax.Translate | |
ToType (InstRule l) Source # | |
Defined in Language.Haskell.Meta.Syntax.Translate | |
ToType (Kind l) Source # | |
Defined in Language.Haskell.Meta.Syntax.Translate | |
ToType (QName l) Source # | |
Defined in Language.Haskell.Meta.Syntax.Translate | |
ToType (Type l) Source # | |
Defined in Language.Haskell.Meta.Syntax.Translate |
Instances
ToLit Char Source # | |
Defined in Language.Haskell.Meta.Syntax.Translate | |
ToLit Double Source # | |
Defined in Language.Haskell.Meta.Syntax.Translate | |
ToLit Float Source # | |
Defined in Language.Haskell.Meta.Syntax.Translate | |
ToLit Int Source # | |
Defined in Language.Haskell.Meta.Syntax.Translate | |
ToLit Integer Source # | |
Defined in Language.Haskell.Meta.Syntax.Translate | |
ToLit String Source # | |
Defined in Language.Haskell.Meta.Syntax.Translate | |
ToLit (Literal l) Source # | |
Defined in Language.Haskell.Meta.Syntax.Translate |
class ToNames a where Source #
Instances
ToNames a => ToNames (Maybe a) Source # | |
Defined in Language.Haskell.Meta.Syntax.Translate | |
ToNames (Deriving l) Source # | |
Defined in Language.Haskell.Meta.Syntax.Translate | |
ToNames (InstHead l) Source # | |
Defined in Language.Haskell.Meta.Syntax.Translate | |
ToNames (InstRule l) Source # | |
Defined in Language.Haskell.Meta.Syntax.Translate |
Instances
ToName Name Source # | |
Defined in Language.Haskell.Meta.Syntax.Translate | |
ToName String Source # | |
Defined in Language.Haskell.Meta.Syntax.Translate | |
ToName TyVarBndr Source # | |
Defined in Language.Haskell.Meta.Syntax.Translate | |
ToName (DeclHead l) Source # | |
Defined in Language.Haskell.Meta.Syntax.Translate | |
ToName (Name l) Source # | |
Defined in Language.Haskell.Meta.Syntax.Translate | |
ToName (Op l) Source # | |
Defined in Language.Haskell.Meta.Syntax.Translate | |
ToName (QName l) Source # | |
Defined in Language.Haskell.Meta.Syntax.Translate | |
ToName (SpecialCon l) Source # | |
Defined in Language.Haskell.Meta.Syntax.Translate | |
ToName (TyVarBind l) Source # | |
Defined in Language.Haskell.Meta.Syntax.Translate |
moduleName :: [Char] Source #
toFieldExp :: FieldUpdate l -> FieldExp Source #
toStrictType :: Type l -> StrictType Source #
toDerivStrategy :: DerivStrategy l -> DerivStrategy Source #
qualConDeclToCon :: QualConDecl l -> Con Source #
conDeclToCon :: ConDecl l -> Con Source #
hsMatchesToFunD :: [Match l] -> Dec Source #
hsMatchToClause :: Match l -> Clause Source #
hsRhsToBody :: Rhs l -> Body Source #
hsGuardedRhsToBody :: GuardedRhs l -> Body Source #
hsStmtToGuard :: Stmt l -> Guard Source #