Language.Haskell.Meta.Syntax.Translate

Documentation

class ToName a where

Methods

toName :: a -> Name

Instances

ToName String

ToName Name

ToName TyVarBndr

ToName SpecialCon

ToName QName

ToName Name

ToName Op

ToName Module

ToName TyVarBind

class ToLit a where

Methods

toLit :: a -> Lit

Instances

ToLit Char

ToLit Double

ToLit Float

ToLit Int

ToLit Integer

ToLit String

ToLit Literal

class ToType a where

Methods

toType :: a -> Type

Instances

ToType Type

ToType Kind

class ToPat a where

Methods

toPat :: a -> Pat

Instances

ToPat Pat

ToPat Lit

ToPat a => ToPat [a]

(ToPat a, ToPat b) => ToPat (a, b)

(ToPat a, ToPat b, ToPat c) => ToPat (a, b, c)

(ToPat a, ToPat b, ToPat c, ToPat d) => ToPat (a, b, c, d)

class ToExp a where

Methods

toExp :: a -> Exp

Instances

ToExp QOp

ToExp Exp

ToExp Lit

ToExp a => ToExp [a]

(ToExp a, ToExp b) => ToExp (a, b)

(ToExp a, ToExp b, ToExp c) => ToExp (a, b, c)

(ToExp a, ToExp b, ToExp c, ToExp d) => ToExp (a, b, c, d)

class ToDecs a where

Methods

toDecs :: a -> [Dec]

Instances

ToDecs Decl

ToDecs Binds

ToDecs InstDecl

ToDecs a => ToDecs [a]

ToDecs (Maybe Binds)

class ToDec a where

Methods

toDec :: a -> Dec

Instances

ToDec Decl

class ToStmt a where

Methods

toStmt :: a -> Stmt

Instances

ToStmt Stmt

class ToLoc a where

Methods

toLoc :: a -> Loc

Instances

ToLoc SrcLoc

moduleName :: [Char]

noTH :: Show e => String -> e -> a

noTHyet :: Show e => String -> String -> e -> a

todo :: Show e => String -> e -> a

nonsense :: Show e => String -> String -> e -> a

ToName {String,HsName,Module,HsSpecialCon,HsQName}

ToLit HsLiteral

ToPat HsPat

ToExp HsExp

toFieldExp :: FieldUpdate -> FieldExp

toMatch :: Alt -> Match

toBody :: Rhs -> Body

toGuard :: GuardedRhs -> (Guard, Exp)

ToLoc SrcLoc

ToType HsType

toKind :: Kind -> Kind

toTyVar :: TyVarBind -> TyVarBndr

toStrictType :: Type -> StrictType

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

toCxt :: Context -> Cxt

foldAppT :: Type -> [Type] -> Type

ToStmt HsStmt

ToDec HsDecl

transAct :: Activation -> Phases

qualConDeclToCon :: QualConDecl -> Con

conDeclToCon :: ConDecl -> Con

hsMatchesToFunD :: [Match] -> Dec

hsMatchToClause :: Match -> Clause

hsRhsToBody :: Rhs -> Body

hsGuardedRhsToBody :: GuardedRhs -> Body

hsStmtToGuard :: Stmt -> Guard

ToDecs InstDecl

ToDecs HsDecl HsBinds

collectVars :: Type -> [TyVarBndr]

fixForall :: Type -> Type