derive-2.6.5: A program and library to derive instances for data types

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 # |
Instance details Defined in Language.Haskell.Convert Methods conv :: Type0 -> Type ()
Convert Type (Asst ()) Source # |
Instance details Defined in Language.Haskell.Convert Methods conv :: Type -> Asst ()
Convert Dec (Decl ()) Source # |
Instance details Defined in Language.Haskell.Convert Methods conv :: Dec -> Decl ()
Convert Name (QName ()) Source # |
Instance details Defined in Language.Haskell.Convert Methods conv :: Name -> QName ()
Convert Name (Name ()) Source # |
Instance details Defined in Language.Haskell.Convert Methods conv :: Name0 -> Name ()
Convert Name (TyVarBind ()) Source # |
Instance details Defined in Language.Haskell.Convert Methods conv :: Name -> TyVarBind ()
Convert Cxt (Context ()) Source # |
Instance details Defined in Language.Haskell.Convert Methods conv :: Cxt -> Context ()
Convert Con (QualConDecl ()) Source # |
Instance details Defined in Language.Haskell.Convert Methods conv :: Con -> QualConDecl ()
Convert Con (ConDecl ()) Source # |
Instance details Defined in Language.Haskell.Convert Methods conv :: Con -> ConDecl ()
Convert StrictType (Type ()) Source # |
Instance details Defined in Language.Haskell.Convert Methods conv :: StrictType -> Type ()
Convert TyVarBndr (TyVarBind ()) Source # |
Instance details Defined in Language.Haskell.Convert Methods conv :: TyVarBndr -> TyVarBind ()
Convert Kind (Kind ()) Source # |
Instance details Defined in Language.Haskell.Convert Methods conv :: Kind -> Kind0 ()
Convert [Stmt ()] Guard Source # |
Instance details Defined in Language.Haskell.Convert Methods conv :: [Stmt ()] -> Guard
Convert (Maybe (Context ())) Cxt Source # |
Instance details Defined in Language.Haskell.Convert Methods conv :: Maybe (Context ()) -> Cxt
Convert (QName ()) Name Source # |
Instance details Defined in Language.Haskell.Convert Methods conv :: QName () -> Name
Convert (Name ()) Name Source # |
Instance details Defined in Language.Haskell.Convert Methods conv :: Name () -> Name0
Convert (QOp ()) Exp Source # |
Instance details Defined in Language.Haskell.Convert Methods conv :: QOp () -> Exp
Convert (Decl ()) Dec Source # |
Instance details Defined in Language.Haskell.Convert Methods conv :: Decl () -> Dec
Convert (Match ()) Clause Source # |
Instance details Defined in Language.Haskell.Convert Methods conv :: Match () -> Clause
Convert (QualConDecl ()) Con Source # |
Instance details Defined in Language.Haskell.Convert Methods conv :: QualConDecl () -> Con
Convert (ConDecl ()) Con Source # |
Instance details Defined in Language.Haskell.Convert Methods conv :: ConDecl () -> Con
Convert (Rhs ()) Body Source # |
Instance details Defined in Language.Haskell.Convert Methods conv :: Rhs () -> Body
Convert (Type ()) Type Source # |
Instance details Defined in Language.Haskell.Convert Methods conv :: Type () -> Type0
Convert (Type ()) StrictType Source # |
Instance details Defined in Language.Haskell.Convert Methods conv :: Type () -> StrictType
Convert (TyVarBind ()) Name Source # |
Instance details Defined in Language.Haskell.Convert Methods conv :: TyVarBind () -> Name
Convert (TyVarBind ()) TyVarBndr Source # |
Instance details Defined in Language.Haskell.Convert Methods conv :: TyVarBind () -> TyVarBndr
Convert (Kind ()) Kind Source # |
Instance details Defined in Language.Haskell.Convert Methods conv :: Kind0 () -> Kind
Convert (Asst ()) Type Source # |
Instance details Defined in Language.Haskell.Convert Methods conv :: Asst () -> Type
Convert (Literal ()) Lit Source # |
Instance details Defined in Language.Haskell.Convert Methods conv :: Literal () -> Lit
Convert (Exp ()) Exp Source # |
Instance details Defined in Language.Haskell.Convert Methods conv :: Exp () -> Exp0
Convert (Pat ()) Pat Source # |
Instance details Defined in Language.Haskell.Convert Methods conv :: Pat () -> Pat0
Convert (PatField ()) FieldPat Source # |
Instance details Defined in Language.Haskell.Convert Methods conv :: PatField () -> FieldPat
Convert (Stmt ()) Stmt Source # |
Instance details Defined in Language.Haskell.Convert Methods conv :: Stmt0 () -> Stmt
Convert (QualStmt ()) Stmt Source # |
Instance details Defined in Language.Haskell.Convert Methods conv :: QualStmt () -> Stmt
Convert (FieldUpdate ()) FieldExp Source # |
Instance details Defined in Language.Haskell.Convert Methods conv :: FieldUpdate () -> FieldExp
Convert (Alt ()) Match Source # |
Instance details Defined in Language.Haskell.Convert Methods conv :: Alt () -> Match
Convert a b => Convert [a] [b] Source # |
Instance details Defined in Language.Haskell.Convert Methods conv :: [a] -> [b]
Convert (Maybe (Binds ())) [Dec] Source # |
Instance details Defined in Language.Haskell.Convert Methods conv :: Maybe (Binds ()) -> [Dec]
Convert (Binds ()) [Dec] Source # |
Instance details Defined in Language.Haskell.Convert Methods conv :: Binds () -> [Dec]
Convert (FieldDecl ()) [VarStrictType] Source # |
Instance details Defined in Language.Haskell.Convert Methods conv :: FieldDecl () -> [VarStrictType]
Convert (GuardedRhs ()) (Guard, Exp) Source # |
Instance details Defined in Language.Haskell.Convert Methods conv :: GuardedRhs () -> (Guard, Exp)
Convert ([Name ()], Type ()) [VarStrictType] Source # |
Instance details Defined in Language.Haskell.Convert Methods conv :: ([Name ()], Type ()) -> [VarStrictType]

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