Modulehaskell-src-meta-0.8.16Haskell2010

Language.Haskell.Meta.Syntax.Translate

Synopsis

value .->.
value conDeclToCon
value foldAppT
value hsGuardedRhsToBody
value hsMatchToClause
value hsMatchesToFunD
value hsRhsToBody
value hsStmtToGuard
value moduleName
value noTH
value noTHyet
value nonsense
value qualConDeclToCon
value toBody
value toDerivStrategy
value toFieldExp
value toGuard
value toKind
value toMatch
value toStrictType
value toTupEl
value toTyVar
value toTyVarSpec
value toTyVarsVis
value todo
value transAct
type DerivClause
class ToCxt
class ToDec
class ToDecs
class ToDerivClauses
class ToExp
class ToInjectivityAnn
class ToLit
class ToLoc
class ToMaybeKind
class ToName
class ToNames
class ToPat
class ToPred
class ToStmt
class ToTyVars
class ToType
type TyVarBndr_

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