Modulehaskell-src-meta-0.8.16Haskell2010

Language.Haskell.Meta.Syntax.Translate

2 types
16 classes
26 values

Packagehaskell-src-meta-0.8.16
Exports44
LanguageHaskell2010
LicenceBSD-3-Clause

value(.->.) :: Type -> Type -> Type

valueconDeclToCon :: ConDecl l -> Con

valuefoldAppT :: Type -> [Type] -> Type

valuehsGuardedRhsToBody :: GuardedRhs l -> Body

valuehsMatchToClause :: Match l -> Clause

valuehsMatchesToFunD :: [Match l] -> Dec

valuehsRhsToBody :: Rhs l -> Body

valuehsStmtToGuard :: Stmt l -> Guard

valuemoduleName :: String

valuenoTH :: (Functor f, Show (f ())) => String -> f e -> a

valuenoTHyet :: (Functor f, Show (f ())) => String -> String -> f e -> a

valuenonsense :: (Functor f, Show (f ())) => String -> String -> f e -> a

valuequalConDeclToCon :: QualConDecl l -> Con

valuetoBody :: Rhs l -> Body

valuetoDerivStrategy :: DerivStrategy l -> DerivStrategy

valuetoFieldExp :: FieldUpdate l -> FieldExp

valuetoGuard :: GuardedRhs l -> (Guard, Exp)

valuetoKind :: Kind l -> Kind

valuetoMatch :: Alt l -> Match

valuetoStrictType :: Type l -> StrictType

valuetoTupEl :: ToExp a => a -> Maybe Exp

valuetoTyVar :: TyVarBind l -> TyVarBndr_ ()

valuetoTyVarSpec :: TyVarBndr_ () -> TyVarBndrSpec

valuetoTyVarsVis :: ToTyVars a => a -> [TyVarBndrVis]

valuetodo :: (Functor f, Show (f ())) => String -> f e -> a

valuetransAct :: Maybe (Activation l) -> Phases

typetype DerivClause = DerivClause

classclass ToCxt a where

Methods

toCxt :: a -> Cxt

Instances3ToCxt

ToCxt (Context l)Defined in haskell-src-meta-0.8.16 · Language.Haskell.Meta.Syntax.Translate
ToCxt (InstRule l)Defined in haskell-src-meta-0.8.16 · Language.Haskell.Meta.Syntax.Translate
ToCxt a => ToCxt (Maybe a)Defined in haskell-src-meta-0.8.16 · Language.Haskell.Meta.Syntax.Translate

classclass ToDec a where

Methods

toDec :: a -> Dec

Instances1ToDec

ToDec (Decl l)Defined in haskell-src-meta-0.8.16 · Language.Haskell.Meta.Syntax.Translate

classclass ToDecs a where

Methods

toDecs :: a -> [Dec]

Instances6ToDecs

ToDecs (Binds l)Defined in haskell-src-meta-0.8.16 · Language.Haskell.Meta.Syntax.Translate
ToDecs (ClassDecl l)Defined in haskell-src-meta-0.8.16 · Language.Haskell.Meta.Syntax.Translate
ToDecs (Decl l)Defined in haskell-src-meta-0.8.16 · Language.Haskell.Meta.Syntax.Translate
ToDecs (InstDecl l)Defined in haskell-src-meta-0.8.16 · Language.Haskell.Meta.Syntax.Translate
ToDecs a => ToDecs (Maybe a)Defined in haskell-src-meta-0.8.16 · Language.Haskell.Meta.Syntax.Translate
ToDecs a => ToDecs [a]Defined in haskell-src-meta-0.8.16 · Language.Haskell.Meta.Syntax.Translate

classclass ToDerivClauses a where

Methods

toDerivClauses :: a -> [DerivClause]

Instances3ToDerivClauses

ToDerivClauses (Deriving l)Defined in haskell-src-meta-0.8.16 · Language.Haskell.Meta.Syntax.Translate
ToDerivClauses a => ToDerivClauses (Maybe a)Defined in haskell-src-meta-0.8.16 · Language.Haskell.Meta.Syntax.Translate
ToDerivClauses a => ToDerivClauses [a]Defined in haskell-src-meta-0.8.16 · Language.Haskell.Meta.Syntax.Translate

classclass ToExp a where

Methods

toExp :: a -> Exp

Instances7ToExp, …

ToExp LitDefined in haskell-src-meta-0.8.16 · Language.Haskell.Meta.Syntax.Translate
ToExp (Exp l)Defined in haskell-src-meta-0.8.16 · Language.Haskell.Meta.Syntax.Translate
ToExp (QOp l)Defined in haskell-src-meta-0.8.16 · Language.Haskell.Meta.Syntax.Translate
ToExp a => ToExp [a]Defined in haskell-src-meta-0.8.16 · Language.Haskell.Meta.Syntax.Translate
(ToExp a, ToExp b) => ToExp (a, b)Defined in haskell-src-meta-0.8.16 · Language.Haskell.Meta.Syntax.Translate
(ToExp a, ToExp b, ToExp c) => ToExp (a, b, c)Defined in haskell-src-meta-0.8.16 · Language.Haskell.Meta.Syntax.Translate
(ToExp a, ToExp b, ToExp c, ToExp d) => ToExp (a, b, c, d)Defined in haskell-src-meta-0.8.16 · Language.Haskell.Meta.Syntax.Translate

classclass ToInjectivityAnn a where

Methods

toInjectivityAnn :: a -> InjectivityAnn

Instances1ToInjectivityAnn

ToInjectivityAnn (InjectivityInfo l)Defined in haskell-src-meta-0.8.16 · Language.Haskell.Meta.Syntax.Translate

classclass ToLit a where

Methods

toLit :: a -> Lit

Instances7ToLit, …

ToLit StringDefined in haskell-src-meta-0.8.16 · Language.Haskell.Meta.Syntax.Translate
ToLit IntegerDefined in haskell-src-meta-0.8.16 · Language.Haskell.Meta.Syntax.Translate
ToLit CharDefined in haskell-src-meta-0.8.16 · Language.Haskell.Meta.Syntax.Translate
ToLit DoubleDefined in haskell-src-meta-0.8.16 · Language.Haskell.Meta.Syntax.Translate
ToLit FloatDefined in haskell-src-meta-0.8.16 · Language.Haskell.Meta.Syntax.Translate
ToLit IntDefined in haskell-src-meta-0.8.16 · Language.Haskell.Meta.Syntax.Translate
ToLit (Literal l)Defined in haskell-src-meta-0.8.16 · Language.Haskell.Meta.Syntax.Translate

classclass ToLoc a where

Methods

toLoc :: a -> Loc

Instances1ToLoc

ToLoc SrcLocDefined in haskell-src-meta-0.8.16 · Language.Haskell.Meta.Syntax.Translate

classclass ToMaybeKind a where

Methods

toMaybeKind :: a -> Maybe Kind

Instances2ToMaybeKind

ToMaybeKind (ResultSig l)Defined in haskell-src-meta-0.8.16 · Language.Haskell.Meta.Syntax.Translate
ToMaybeKind a => ToMaybeKind (Maybe a)Defined in haskell-src-meta-0.8.16 · Language.Haskell.Meta.Syntax.Translate

classclass ToName a where

Methods

toName :: a -> Name

Instances10ToName, …

ToName StringDefined in haskell-src-meta-0.8.16 · Language.Haskell.Meta.Syntax.Translate
ToName NameDefined in haskell-src-meta-0.8.16 · Language.Haskell.Meta.Syntax.Translate
ToName (DeclHead l)Defined in haskell-src-meta-0.8.16 · Language.Haskell.Meta.Syntax.Translate
ToName (MaybePromotedName l)Defined in haskell-src-meta-0.8.16 · Language.Haskell.Meta.Syntax.Translate
ToName (Name l)Defined in haskell-src-meta-0.8.16 · Language.Haskell.Meta.Syntax.Translate
ToName (Op l)Defined in haskell-src-meta-0.8.16 · Language.Haskell.Meta.Syntax.Translate
ToName (QName l)Defined in haskell-src-meta-0.8.16 · Language.Haskell.Meta.Syntax.Translate
ToName (SpecialCon l)Defined in haskell-src-meta-0.8.16 · Language.Haskell.Meta.Syntax.Translate
ToName (TyVarBind l)Defined in haskell-src-meta-0.8.16 · Language.Haskell.Meta.Syntax.Translate
ToName (TyVarBndr_ flag)Defined in haskell-src-meta-0.8.16 · Language.Haskell.Meta.Syntax.Translate

classclass ToNames a where

Methods

toNames :: a -> [Name]

Instances4ToNames

ToNames (Deriving l)Defined in haskell-src-meta-0.8.16 · Language.Haskell.Meta.Syntax.Translate
ToNames (InstHead l)Defined in haskell-src-meta-0.8.16 · Language.Haskell.Meta.Syntax.Translate
ToNames (InstRule l)Defined in haskell-src-meta-0.8.16 · Language.Haskell.Meta.Syntax.Translate
ToNames a => ToNames (Maybe a)Defined in haskell-src-meta-0.8.16 · Language.Haskell.Meta.Syntax.Translate

classclass ToPat a where

Methods

toPat :: a -> Pat

Instances6ToPat

ToPat LitDefined in haskell-src-meta-0.8.16 · Language.Haskell.Meta.Syntax.Translate
ToPat (Pat l)Defined in haskell-src-meta-0.8.16 · Language.Haskell.Meta.Syntax.Translate
ToPat a => ToPat [a]Defined in haskell-src-meta-0.8.16 · Language.Haskell.Meta.Syntax.Translate
(ToPat a, ToPat b) => ToPat (a, b)Defined in haskell-src-meta-0.8.16 · Language.Haskell.Meta.Syntax.Translate
(ToPat a, ToPat b, ToPat c) => ToPat (a, b, c)Defined in haskell-src-meta-0.8.16 · Language.Haskell.Meta.Syntax.Translate
(ToPat a, ToPat b, ToPat c, ToPat d) => ToPat (a, b, c, d)Defined in haskell-src-meta-0.8.16 · Language.Haskell.Meta.Syntax.Translate

classclass ToPred a where

Methods

toPred :: a -> Pred

Instances1ToPred

ToPred (Asst l)Defined in haskell-src-meta-0.8.16 · Language.Haskell.Meta.Syntax.Translate

classclass ToStmt a where

Methods

toStmt :: a -> Stmt

Instances1ToStmt

ToStmt (Stmt l)Defined in haskell-src-meta-0.8.16 · Language.Haskell.Meta.Syntax.Translate

classclass ToTyVars a where

Methods

toTyVars :: a -> [TyVarBndr_ ()]

Instances4ToTyVars

ToTyVars (DeclHead l)Defined in haskell-src-meta-0.8.16 · Language.Haskell.Meta.Syntax.Translate
ToTyVars (TyVarBind l)Defined in haskell-src-meta-0.8.16 · Language.Haskell.Meta.Syntax.Translate
ToTyVars a => ToTyVars (Maybe a)Defined in haskell-src-meta-0.8.16 · Language.Haskell.Meta.Syntax.Translate
ToTyVars a => ToTyVars [a]Defined in haskell-src-meta-0.8.16 · Language.Haskell.Meta.Syntax.Translate

classclass ToType a where

Methods

toType :: a -> Type

Instances4ToType

ToType (InstHead l)Defined in haskell-src-meta-0.8.16 · Language.Haskell.Meta.Syntax.Translate
ToType (InstRule l)Defined in haskell-src-meta-0.8.16 · Language.Haskell.Meta.Syntax.Translate
ToType (QName l)Defined in haskell-src-meta-0.8.16 · Language.Haskell.Meta.Syntax.Translate
ToType (Type l)Defined in haskell-src-meta-0.8.16 · Language.Haskell.Meta.Syntax.Translate

typetype TyVarBndr_ flag = TyVarBndr flag