Copyright | (c) Matt Morrow 2008 |
---|---|
License | BSD3 |
Maintainer | Matt Morrow <mjm2002@gmail.com> |
Stability | experimental |
Portability | portable (template-haskell) |
Safe Haskell | None |
Language | Haskell2010 |
Language.Haskell.Meta.Syntax.Translate
Description
Documentation
moduleName :: String #
type DerivClause = DerivClause #
Instances
ToName Name # | |
Defined in Language.Haskell.Meta.Syntax.Translate | |
ToName String # | |
Defined in Language.Haskell.Meta.Syntax.Translate | |
ToName (DeclHead l) # | |
Defined in Language.Haskell.Meta.Syntax.Translate | |
ToName (MaybePromotedName l) # | |
Defined in Language.Haskell.Meta.Syntax.Translate Methods toName :: MaybePromotedName l -> Name # | |
ToName (Name l) # | |
Defined in Language.Haskell.Meta.Syntax.Translate | |
ToName (Op l) # | |
Defined in Language.Haskell.Meta.Syntax.Translate | |
ToName (QName l) # | |
Defined in Language.Haskell.Meta.Syntax.Translate | |
ToName (SpecialCon l) # | |
Defined in Language.Haskell.Meta.Syntax.Translate Methods toName :: SpecialCon l -> Name # | |
ToName (TyVarBind l) # | |
Defined in Language.Haskell.Meta.Syntax.Translate | |
ToName (TyVarBndr_ flag) # | |
Defined in Language.Haskell.Meta.Syntax.Translate Methods toName :: TyVarBndr_ flag -> Name # |
Instances
ToNames (Deriving l) # | |
Defined in Language.Haskell.Meta.Syntax.Translate | |
ToNames (InstHead l) # | |
Defined in Language.Haskell.Meta.Syntax.Translate | |
ToNames (InstRule l) # | |
Defined in Language.Haskell.Meta.Syntax.Translate | |
ToNames a => ToNames (Maybe a) # | |
Defined in Language.Haskell.Meta.Syntax.Translate |
Instances
ToLit Integer # | |
Defined in Language.Haskell.Meta.Syntax.Translate | |
ToLit String # | |
Defined in Language.Haskell.Meta.Syntax.Translate | |
ToLit Char # | |
Defined in Language.Haskell.Meta.Syntax.Translate | |
ToLit Double # | |
Defined in Language.Haskell.Meta.Syntax.Translate | |
ToLit Float # | |
Defined in Language.Haskell.Meta.Syntax.Translate | |
ToLit Int # | |
Defined in Language.Haskell.Meta.Syntax.Translate | |
ToLit (Literal l) # | |
Defined in Language.Haskell.Meta.Syntax.Translate |
Instances
ToType (InstHead l) # | |
Defined in Language.Haskell.Meta.Syntax.Translate | |
ToType (InstRule l) # | |
Defined in Language.Haskell.Meta.Syntax.Translate | |
ToType (QName l) # | |
Defined in Language.Haskell.Meta.Syntax.Translate | |
ToType (Type l) # | |
Defined in Language.Haskell.Meta.Syntax.Translate |
Instances
ToPat Lit # | |
Defined in Language.Haskell.Meta.Syntax.Translate | |
ToPat (Pat l) # | |
Defined in Language.Haskell.Meta.Syntax.Translate | |
ToPat a => ToPat [a] # | |
Defined in Language.Haskell.Meta.Syntax.Translate | |
(ToPat a, ToPat b) => ToPat (a, b) # | |
Defined in Language.Haskell.Meta.Syntax.Translate | |
(ToPat a, ToPat b, ToPat c) => ToPat (a, b, c) # | |
Defined in Language.Haskell.Meta.Syntax.Translate | |
(ToPat a, ToPat b, ToPat c, ToPat d) => ToPat (a, b, c, d) # | |
Defined in Language.Haskell.Meta.Syntax.Translate |
Instances
ToExp Lit # | |
Defined in Language.Haskell.Meta.Syntax.Translate | |
ToExp (Exp l) # | |
Defined in Language.Haskell.Meta.Syntax.Translate | |
ToExp (QOp l) # | |
Defined in Language.Haskell.Meta.Syntax.Translate | |
ToExp a => ToExp [a] # | |
Defined in Language.Haskell.Meta.Syntax.Translate | |
(ToExp a, ToExp b) => ToExp (a, b) # | |
Defined in Language.Haskell.Meta.Syntax.Translate | |
(ToExp a, ToExp b, ToExp c) => ToExp (a, b, c) # | |
Defined in Language.Haskell.Meta.Syntax.Translate | |
(ToExp a, ToExp b, ToExp c, ToExp d) => ToExp (a, b, c, d) # | |
Defined in Language.Haskell.Meta.Syntax.Translate |
Instances
ToDecs (Binds l) # | |
Defined in Language.Haskell.Meta.Syntax.Translate | |
ToDecs (ClassDecl l) # | |
Defined in Language.Haskell.Meta.Syntax.Translate | |
ToDecs (Decl l) # | |
Defined in Language.Haskell.Meta.Syntax.Translate | |
ToDecs (InstDecl l) # | |
Defined in Language.Haskell.Meta.Syntax.Translate | |
ToDecs a => ToDecs (Maybe a) # | |
Defined in Language.Haskell.Meta.Syntax.Translate | |
ToDecs a => ToDecs [a] # | |
Defined in Language.Haskell.Meta.Syntax.Translate |
Instances
ToCxt (Context l) # | |
Defined in Language.Haskell.Meta.Syntax.Translate | |
ToCxt (InstRule l) # | |
Defined in Language.Haskell.Meta.Syntax.Translate | |
ToCxt a => ToCxt (Maybe a) # | |
Defined in Language.Haskell.Meta.Syntax.Translate |
Methods
toTyVars :: a -> [TyVarBndr_ ()] #
Instances
ToTyVars (DeclHead l) # | |
Defined in Language.Haskell.Meta.Syntax.Translate Methods toTyVars :: DeclHead l -> [TyVarBndr_ ()] # | |
ToTyVars (TyVarBind l) # | |
Defined in Language.Haskell.Meta.Syntax.Translate Methods toTyVars :: TyVarBind l -> [TyVarBndr_ ()] # | |
ToTyVars a => ToTyVars (Maybe a) # | |
Defined in Language.Haskell.Meta.Syntax.Translate Methods toTyVars :: Maybe a -> [TyVarBndr_ ()] # | |
ToTyVars a => ToTyVars [a] # | |
Defined in Language.Haskell.Meta.Syntax.Translate Methods toTyVars :: [a] -> [TyVarBndr_ ()] # |
class ToMaybeKind a where #
Methods
toMaybeKind :: a -> Maybe Kind #
Instances
ToMaybeKind (ResultSig l) # | |
Defined in Language.Haskell.Meta.Syntax.Translate Methods toMaybeKind :: ResultSig l -> Maybe Kind # | |
ToMaybeKind a => ToMaybeKind (Maybe a) # | |
Defined in Language.Haskell.Meta.Syntax.Translate Methods toMaybeKind :: Maybe a -> Maybe Kind # |
class ToInjectivityAnn a where #
Methods
toInjectivityAnn :: a -> InjectivityAnn #
Instances
ToInjectivityAnn (InjectivityInfo l) # | |
Defined in Language.Haskell.Meta.Syntax.Translate Methods |
class ToDerivClauses a where #
Methods
toDerivClauses :: a -> [DerivClause] #
Instances
ToDerivClauses (Deriving l) # | |
Defined in Language.Haskell.Meta.Syntax.Translate Methods toDerivClauses :: Deriving l -> [DerivClause] # | |
ToDerivClauses a => ToDerivClauses (Maybe a) # | |
Defined in Language.Haskell.Meta.Syntax.Translate Methods toDerivClauses :: Maybe a -> [DerivClause] # | |
ToDerivClauses a => ToDerivClauses [a] # | |
Defined in Language.Haskell.Meta.Syntax.Translate Methods toDerivClauses :: [a] -> [DerivClause] # |
toFieldExp :: FieldUpdate l -> FieldExp #
toGuard :: GuardedRhs l -> (Guard, Exp) #
toTyVar :: TyVarBind l -> TyVarBndr_ () #
toTyVarSpec :: TyVarBndr_ () -> TyVarBndrSpec #
toTyVarsVis :: ToTyVars a => a -> [TyVarBndrVis] #
toStrictType :: Type l -> StrictType #
toDerivStrategy :: DerivStrategy l -> DerivStrategy #
qualConDeclToCon :: QualConDecl l -> Con #
transAct :: Maybe (Activation l) -> Phases #
hsMatchesToFunD :: [Match l] -> Dec #
hsRhsToBody :: Rhs l -> Body #
conDeclToCon :: ConDecl l -> Con #
hsMatchToClause :: Match l -> Clause #
hsGuardedRhsToBody :: GuardedRhs l -> Body #
hsStmtToGuard :: Stmt l -> Guard #
type TyVarBndr_ flag = TyVarBndr flag #