Safe Haskell	None
Language	Haskell2010

Language.Syntactic.TH

Contents

Portability

Synopsis

conName :: Con -> (Name, Int)
data Method
- = DefaultMethod Name Name
- | MatchingMethod Name (Con -> Int -> Name -> Int -> Clause) [Clause]
deriveClass :: Cxt -> Name -> Type -> [Method] -> DecsQ
deriveClassSimple :: Name -> Name -> [Method] -> DecsQ
varSupply :: [Name]
deriveSymbol :: Name -> DecsQ
deriveEquality :: Name -> DecsQ
deriveRender :: (String -> String) -> Name -> DecsQ
instD :: Cxt -> Type -> [Dec] -> Dec
viewDataDef :: Info -> Maybe [Con]
eqPred :: Type -> Type -> Pred
classPred :: Name -> (Name -> Type) -> [Type] -> Pred
tySynInst :: Name -> [Type] -> Type -> Dec

Documentation

conName :: Con -> (Name, Int) Source #

Get the name and arity of a constructor

data Method Source #

Description of class methods

Constructors

DefaultMethod Name Name

rhs = lhs

MatchingMethod Name (Con -> Int -> Name -> Int -> Clause) [Clause]

MatchingMethod methodName mkClause extraClauses

mkClause takes as arguments (1) a description of the constructor, (2) the constructor's index, (3) the constructor's name, and (4) its arity.

deriveClass Source #

Arguments

:: Cxt	Instance context
-> Name	Type constructor name
-> Type	Class head (e.g. `Render Con`)
-> [Method]	Methods
-> DecsQ

General method for class deriving

deriveClassSimple Source #

Arguments

:: Name	Class name
-> Name	Type constructor name
-> [Method]	Methods
-> DecsQ

General method for class deriving

varSupply :: [Name] Source #

deriveSymbol Source #

Arguments

:: Name	Type name
-> DecsQ

Derive Symbol instance for a type

deriveEquality Source #

Arguments

:: Name	Type name
-> DecsQ

Derive Equality instance for a type

equal Con1 Con1 = True
equal (Con2 a1 ... x1) (Con2 a2 ... x2) = and [a1==a2, ... x1==x2]
equal _ _ = False

hash Con1           = hashInt 0
hash (Con2 a ... x) = foldr1 combine [hashInt 1, hash a, ... hash x]

deriveRender Source #

Arguments

:: (String -> String)	Constructor name modifier
-> Name	Type name
-> DecsQ

Derive Render instance for a type

renderSym Con1           = "Con1"
renderSym (Con2 a ... x) = concat ["(", unwords ["Con2", show a, ... show x], ")"]

Portability

instD Source #

Arguments

:: Cxt	Context
-> Type	Instance
-> [Dec]	Methods, etc.
-> Dec

Construct an instance declaration

viewDataDef :: Info -> Maybe [Con] Source #

Get the constructors of a data type definition

eqPred :: Type -> Type -> Pred Source #

Portable method for constructing a Pred of the form (t1 ~ t2)

classPred Source #

Arguments

:: Name	Class name
-> (Name -> Type)	How to make a type for the class (typically `ConT` or `VarT`)
-> [Type]	Class arguments
-> Pred

Portable method for constructing a Pred of the form SomeClass t1 t2 ...

tySynInst :: Name -> [Type] -> Type -> Dec Source #

Portable method for constructing a type synonym instances