Language.Haskell.Meta.Syntax.Translate

Contents

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

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 ToDecs a where
  • toDecs :: a -> [Dec]
• class ToDec a where
  • toDec :: a -> Dec
• class ToStmt a where
  • toStmt :: a -> Stmt
• class ToLoc a where
  • toLoc :: a -> Loc
• 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
• toFieldExp :: FieldUpdate -> FieldExp
• toMatch :: Alt -> Match
• toBody :: Rhs -> Body
• toGuard :: GuardedRhs -> (Guard, Exp)
• toKind :: Kind -> Kind
• toTyVar :: TyVarBind -> TyVarBndr
• toStrictType :: Type -> StrictType
• (.->.) :: Type -> Type -> Type
• toCxt :: Context -> Cxt
• foldAppT :: Type -> [Type] -> Type
• hsBindsToDecs :: Binds -> [Dec]
• transAct :: Activation -> Phases
• qualConDeclToCon :: QualConDecl -> Con
• conDeclToCon :: ConDecl -> Con
• hsMatchesToFunD :: [Match] -> Dec
• hsMatchToClause :: Match -> Clause
• hsRhsToBody :: Rhs -> Body
• hsGuardedRhsToBody :: GuardedRhs -> Body
• hsStmtToGuard :: Stmt -> Guard
• collectVars :: Type -> [TyVarBndr]
• fixForall :: Type -> Type

Documentation

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

ToLit HsLiteral

ToPat HsPat

ToExp HsExp

ToLoc SrcLoc

ToType HsType

ToStmt HsStmt

ToDec HsDecl

ToDecs InstDecl

ToDecs HsDecl HsBinds