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

Safe HaskellNone
LanguageHaskell2010

Language.Haskell.Convert

Documentation

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

Minimal complete definition

conv

Instances

Convert Type (Type ()) # 

Methods

conv :: Type -> Type ()

Convert Type (Asst ()) # 

Methods

conv :: Type -> Asst ()

Convert Dec (Decl ()) # 

Methods

conv :: Dec -> Decl ()

Convert Name (TyVarBind ()) # 

Methods

conv :: Name -> TyVarBind ()

Convert Name (QName ()) # 

Methods

conv :: Name -> QName ()

Convert Name (Name ()) # 

Methods

conv :: Name -> Name ()

Convert TyVarBndr (TyVarBind ()) # 

Methods

conv :: TyVarBndr -> TyVarBind ()

Convert Kind (Kind ()) # 

Methods

conv :: Kind -> Kind ()

Convert Cxt (Context ()) # 

Methods

conv :: Cxt -> Context ()

Convert Con (QualConDecl ()) # 

Methods

conv :: Con -> QualConDecl ()

Convert Con (ConDecl ()) # 

Methods

conv :: Con -> ConDecl ()

Convert StrictType (Type ()) # 

Methods

conv :: StrictType -> Type ()

Convert [Stmt ()] Guard # 

Methods

conv :: [Stmt ()] -> Guard

Convert (Maybe (Context ())) Cxt # 

Methods

conv :: Maybe (Context ()) -> Cxt

Convert (Type ()) Type # 

Methods

conv :: Type () -> Type

Convert (Type ()) StrictType # 

Methods

conv :: Type () -> StrictType

Convert (TyVarBind ()) Name # 

Methods

conv :: TyVarBind () -> Name

Convert (TyVarBind ()) TyVarBndr # 

Methods

conv :: TyVarBind () -> TyVarBndr

Convert (Stmt ()) Stmt # 

Methods

conv :: Stmt () -> Stmt

Convert (Rhs ()) Body # 

Methods

conv :: Rhs () -> Body

Convert (QualStmt ()) Stmt # 

Methods

conv :: QualStmt () -> Stmt

Convert (QualConDecl ()) Con # 

Methods

conv :: QualConDecl () -> Con

Convert (QOp ()) Exp # 

Methods

conv :: QOp () -> Exp

Convert (QName ()) Name # 

Methods

conv :: QName () -> Name

Convert (PatField ()) FieldPat # 

Methods

conv :: PatField () -> FieldPat

Convert (Pat ()) Pat # 

Methods

conv :: Pat () -> Pat

Convert (Name ()) Name # 

Methods

conv :: Name () -> Name

Convert (Match ()) Clause # 

Methods

conv :: Match () -> Clause

Convert (Literal ()) Lit # 

Methods

conv :: Literal () -> Lit

Convert (Kind ()) Kind # 

Methods

conv :: Kind () -> Kind

Convert (FieldUpdate ()) FieldExp # 

Methods

conv :: FieldUpdate () -> FieldExp

Convert (Exp ()) Exp # 

Methods

conv :: Exp () -> Exp

Convert (Decl ()) Dec # 

Methods

conv :: Decl () -> Dec

Convert (ConDecl ()) Con # 

Methods

conv :: ConDecl () -> Con

Convert (Asst ()) Type # 

Methods

conv :: Asst () -> Type

Convert (Alt ()) Match # 

Methods

conv :: Alt () -> Match

Convert a b => Convert [a] [b] # 

Methods

conv :: [a] -> [b]

Convert (Maybe (Binds ())) [Dec] # 

Methods

conv :: Maybe (Binds ()) -> [Dec]

Convert (FieldDecl ()) [VarStrictType] # 

Methods

conv :: FieldDecl () -> [VarStrictType]

Convert (Binds ()) [Dec] # 

Methods

conv :: Binds () -> [Dec]

Convert (GuardedRhs ()) (Guard, Exp) # 

Methods

conv :: GuardedRhs () -> (Guard, Exp)

Convert ([Name ()], Type ()) [VarStrictType] # 

Methods

conv :: ([Name ()], Type ()) -> [VarStrictType]

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