Safe Haskell	None
Language	Haskell98

Language.Haskell.Convert

Documentation

class (Typeable a, Typeable b, Show a, Show b) => Convert a b Source #

Minimal complete definition

conv

Instances

Convert Type Type Source #
Methods conv :: Type -> Type
Convert Type Asst Source #
Methods conv :: Type -> Asst
Convert Dec Decl Source #
Methods conv :: Dec -> Decl
Convert Name QName Source #
Methods conv :: Name -> QName
Convert Name Name Source #
Methods conv :: Name -> Name
Convert Name TyVarBind Source #
Methods conv :: Name -> TyVarBind
Convert TyVarBndr TyVarBind Source #
Methods conv :: TyVarBndr -> TyVarBind
Convert Kind Kind Source #
Methods conv :: Kind -> Kind
Convert QName Name Source #
Methods conv :: QName -> Name
Convert Name Name Source #
Methods conv :: Name -> Name
Convert QOp Exp Source #
Methods conv :: QOp -> Exp
Convert Decl Dec Source #
Methods conv :: Decl -> Dec
Convert Match Clause Source #
Methods conv :: Match -> Clause
Convert QualConDecl Con Source #
Methods conv :: QualConDecl -> Con
Convert ConDecl Con Source #
Methods conv :: ConDecl -> Con
Convert Rhs Body Source #
Methods conv :: Rhs -> Body
Convert Type Type Source #
Methods conv :: Type -> Type
Convert Type StrictType Source #
Methods conv :: Type -> StrictType
Convert TyVarBind Name Source #
Methods conv :: TyVarBind -> Name
Convert TyVarBind TyVarBndr Source #
Methods conv :: TyVarBind -> TyVarBndr
Convert Kind Kind Source #
Methods conv :: Kind -> Kind
Convert Asst Type Source #
Methods conv :: Asst -> Type
Convert Literal Lit Source #
Methods conv :: Literal -> Lit
Convert Exp Exp Source #
Methods conv :: Exp -> Exp
Convert Pat Pat Source #
Methods conv :: Pat -> Pat
Convert PatField FieldPat Source #
Methods conv :: PatField -> FieldPat
Convert Stmt Stmt Source #
Methods conv :: Stmt -> Stmt
Convert QualStmt Stmt Source #
Methods conv :: QualStmt -> Stmt
Convert FieldUpdate FieldExp Source #
Methods conv :: FieldUpdate -> FieldExp
Convert Alt Match Source #
Methods conv :: Alt -> Match
Convert Con QualConDecl Source #
Methods conv :: Con -> QualConDecl
Convert Con ConDecl Source #
Methods conv :: Con -> ConDecl
Convert StrictType Type Source #
Methods conv :: StrictType -> Type
Convert Binds [Dec] Source #
Methods conv :: Binds -> [Dec]
Convert GuardedRhs (Guard, Exp) Source #
Methods conv :: GuardedRhs -> (Guard, Exp)
Convert a b => Convert [a] [b] Source #
Methods conv :: [a] -> [b]
Convert (Maybe Binds) [Dec] Source #
Methods conv :: Maybe Binds -> [Dec]
Convert ([Name], Type) [VarStrictType] Source #
Methods conv :: ([Name], Type) -> [VarStrictType]

convert :: forall a b. Convert a b => a -> b Source #