haskell-src-meta-0.6.0.9: Parse source to template-haskell abstract syntax.

Copyright(c) Matt Morrow 2008
LicenseBSD3
MaintainerMatt Morrow <mjm2002@gmail.com>
Stabilityexperimental
Portabilityportable (template-haskell)
Safe HaskellNone
LanguageHaskell98

Language.Haskell.Meta.Syntax.Translate

Contents

Description

 

Synopsis

Documentation

class ToName a where Source

Methods

toName :: a -> Name Source

Instances

class ToLit a where Source

Methods

toLit :: a -> Lit Source

Instances

class ToType a where Source

Methods

toType :: a -> Type Source

Instances

class ToPat a where Source

Methods

toPat :: a -> Pat Source

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 Source

Methods

toExp :: a -> Exp Source

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 Source

Methods

toDecs :: a -> [Dec] Source

Instances

class ToDec a where Source

Methods

toDec :: a -> Dec Source

Instances

class ToStmt a where Source

Methods

toStmt :: a -> Stmt Source

Instances

class ToLoc a where Source

Methods

toLoc :: a -> Loc Source

Instances

moduleName :: [Char] Source

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

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

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

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

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

ToLit HsLiteral

ToPat HsPat

ToExp HsExp

toFieldExp :: FieldUpdate -> FieldExp Source

toMatch :: Alt -> Match Source

toBody :: Rhs -> Body Source

toGuard :: GuardedRhs -> (Guard, Exp) Source

ToLoc SrcLoc

ToType HsType

toKind :: Kind -> Kind Source

toTyVar :: TyVarBind -> TyVarBndr Source

toStrictType :: Type -> StrictType Source

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

toCxt :: Context -> Cxt Source

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

ToStmt HsStmt

ToDec HsDecl

hsBindsToDecs :: Binds -> [Dec] Source

transAct :: Activation -> Phases Source

qualConDeclToCon :: QualConDecl -> Con Source

conDeclToCon :: ConDecl -> Con Source

hsMatchesToFunD :: [Match] -> Dec Source

hsMatchToClause :: Match -> Clause Source

hsRhsToBody :: Rhs -> Body Source

hsGuardedRhsToBody :: GuardedRhs -> Body Source

hsStmtToGuard :: Stmt -> Guard Source

ToDecs InstDecl

ToDecs HsDecl HsBinds

collectVars :: Type -> [TyVarBndr] Source

fixForall :: Type -> Type Source