Language.Haskell.Meta.Syntax.Translate

Documentation

class ToName a where

Methods

toName :: a -> Name

Instances

ToName String

ToName SpecialCon

ToName QName

ToName Name

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

TH does't handle * unboxed tuples * implicit params * infix type constructors * kind signatures

ToType Asst

TH doesn't handle: * implicit params * equality constraints

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 Splice

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

class ToKind a where

Methods

toKind :: a -> Kind

Instances

ToKind Kind

class ToTVB a where

Methods

toTVB :: a -> TyVarBndr

Instances

ToTVB TyVarBind

class ToPred a where

Methods

toPred :: a -> Pred

Instances

ToPred Asst

errorMsg :: Typeable a => String -> a -> String

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

ToLit HsLiteral

ToPat HsPat

ToExp HsExp

toFieldExp :: FieldUpdate -> FieldExp

ToLoc SrcLoc

ToType HsType

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

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

ToStmt HsStmt

ToDec HsDecl

hsBindsToDecs :: Binds -> [Dec]

hsBangTypeToStrictType :: BangType -> (Strict, Type)

qualConDeclToCon :: QualConDecl -> Con

conDeclToCon :: ConDecl -> Con

bangToVarStrictTypes :: [Name] -> BangType -> [VarStrictType]

bangToStrictType :: BangType -> StrictType

hsMatchesToFunD :: [Match] -> Dec

hsMatchToClause :: Match -> Clause

hsRhsToBody :: Rhs -> Body

hsGuardedRhsToBody :: GuardedRhs -> Body

hsStmtToGuard :: Stmt -> Guard