Safe Haskell	None
Language	Haskell2010

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 Cxt (Context ()) Source #
Methods conv :: Cxt -> Context ()
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 [Stmt ()] Guard Source #
Methods conv :: [Stmt ()] -> Guard
Convert (Maybe (Context ())) Cxt Source #
Methods conv :: Maybe (Context ()) -> Cxt
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 a b => Convert [a] [b] Source #
Methods conv :: [a] -> [b]
Convert (Maybe (Binds ())) [Dec] Source #
Methods conv :: Maybe (Binds ()) -> [Dec]
Convert (Binds ()) [Dec] Source #
Methods conv :: Binds () -> [Dec]
Convert (FieldDecl ()) [VarStrictType] Source #
Methods conv :: FieldDecl () -> [VarStrictType]
Convert (GuardedRhs ()) (Guard, Exp) Source #
Methods conv :: GuardedRhs () -> (Guard, Exp)
Convert ([Name ()], Type ()) [VarStrictType] Source #
Methods conv :: ([Name ()], Type ()) -> [VarStrictType]

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