haskell-src-meta-0.0.3.1: Parse source to template-haskell abstract syntax. Source code Contents Index

Language.Haskell.Meta.Syntax.Translate Portability portable (template-haskell) Stability experimental Maintainer Matt Morrow <mjm2002@gmail.com>

Contents ToName {String,HsName,Module,HsSpecialCon,HsQName} ToLit HsLiteral ToPat HsPat ToExp HsExp ToLoc SrcLoc ToType HsType ToStmt HsStmt ToDec HsDecl

Description

Synopsis

class ToName a where toName :: a -> Name class ToLit a where toLit :: a -> Lit class ToType a where toType :: a -> Type class ToPat a where toPat :: a -> Pat class ToExp a where toExp :: a -> Exp class ToDec a where toDec :: a -> Dec class ToStmt a where toStmt :: a -> Stmt class ToLoc a where toLoc :: a -> Loc errorMsg :: Typeable a => String -> a -> String toFieldExp :: FieldUpdate -> FieldExp (.->.) :: Type -> Type -> Type foldAppT :: Type -> [Type] -> Type hsBindsToDecs :: Binds -> [Dec] hsBangTypeToStrictType :: BangType -> (Strict, Type) hsMatchesToFunD :: [Match] -> Dec hsMatchToClause :: Match -> Clause hsRhsToBody :: Rhs -> Body hsGuardedRhsToBody :: GuardedRhs -> Body hsStmtToGuard :: Stmt -> Guard

Documentation

class ToName a where Source

Methods toName :: a -> Name Source Instances ToName String ToName SpecialCon ToName QName ToName Name ToName Module ToName TyVarBind

class ToLit a where Source

Methods toLit :: a -> Lit Source Instances ToLit Char ToLit Double ToLit Float ToLit Int ToLit Integer ToLit String ToLit Literal

class ToType a where Source

Methods toType :: a -> Type Source Instances ToType Type ToType Asst

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

Methods toDec :: a -> Dec Source Instances ToDec Decl

class ToStmt a where Source

Methods toStmt :: a -> Stmt Source Instances ToStmt Stmt

class ToLoc a where Source

Methods toLoc :: a -> Loc Source Instances ToLoc SrcLoc

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

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

ToLit HsLiteral

ToPat HsPat

ToExp HsExp

toFieldExp :: FieldUpdate -> FieldExp Source

ToLoc SrcLoc

ToType HsType

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

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

ToStmt HsStmt

ToDec HsDecl

hsBindsToDecs :: Binds -> [Dec] Source

hsBangTypeToStrictType :: BangType -> (Strict, Type) Source

hsMatchesToFunD :: [Match] -> Dec Source

hsMatchToClause :: Match -> Clause Source

hsRhsToBody :: Rhs -> Body Source

hsGuardedRhsToBody :: GuardedRhs -> Body Source

hsStmtToGuard :: Stmt -> Guard Source

Produced by Haddock version 2.4.2