| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Language.Haskell.Convert
Documentation
class (Typeable a, Typeable b, Show a, Show b) => Convert a b #
Minimal complete definition
conv
Instances
| Convert Type (Type ()) # | |
| Convert Type (Asst ()) # | |
| Convert Dec (Decl ()) # | |
| Convert Name (TyVarBind ()) # | |
| Convert Name (QName ()) # | |
| Convert Name (Name ()) # | |
| Convert TyVarBndr (TyVarBind ()) # | |
| Convert Kind (Kind ()) # | |
| Convert Cxt (Context ()) # | |
| Convert Con (QualConDecl ()) # | |
| Convert Con (ConDecl ()) # | |
| Convert StrictType (Type ()) # | |
| Convert [Stmt ()] Guard # | |
| Convert (Maybe (Context ())) Cxt # | |
| Convert (Type ()) Type # | |
| Convert (Type ()) StrictType # | |
| Convert (TyVarBind ()) Name # | |
| Convert (TyVarBind ()) TyVarBndr # | |
| Convert (Stmt ()) Stmt # | |
| Convert (Rhs ()) Body # | |
| Convert (QualStmt ()) Stmt # | |
| Convert (QualConDecl ()) Con # | |
| Convert (QOp ()) Exp # | |
| Convert (QName ()) Name # | |
| Convert (PatField ()) FieldPat # | |
| Convert (Pat ()) Pat # | |
| Convert (Name ()) Name # | |
| Convert (Match ()) Clause # | |
| Convert (Literal ()) Lit # | |
| Convert (Kind ()) Kind # | |
| Convert (FieldUpdate ()) FieldExp # | |
| Convert (Exp ()) Exp # | |
| Convert (Decl ()) Dec # | |
| Convert (ConDecl ()) Con # | |
| Convert (Asst ()) Type # | |
| Convert (Alt ()) Match # | |
| Convert a b => Convert [a] [b] # | |
| Convert (Maybe (Binds ())) [Dec] # | |
| Convert (FieldDecl ()) [VarStrictType] # | |
| Convert (Binds ()) [Dec] # | |
| Convert (GuardedRhs ()) (Guard, Exp) # | |
| Convert ([Name ()], Type ()) [VarStrictType] # | |