| 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 #