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] # | |