dependent-sum-template-0.0.0.3: Template Haskell code to generate instances of classes in dependent-sum package

Safe Haskell	None
Language	Haskell98

Data.GADT.Compare.TH

Documentation

class DeriveGEQ t where Source

Methods

deriveGEq :: t -> Q [Dec] Source

Instances

DeriveGEQ Dec
DeriveGEQ Name
DeriveGEQ t => DeriveGEQ [t]
DeriveGEQ t => DeriveGEQ (Q t)

class DeriveGCompare t where Source

Methods

deriveGCompare :: t -> Q [Dec] Source

Instances

DeriveGCompare Dec
DeriveGCompare Name
DeriveGCompare t => DeriveGCompare [t]
DeriveGCompare t => DeriveGCompare (Q t)

data GComparing a b t Source

Instances

Monad (GComparing a b)
Functor (GComparing a b)
Applicative (GComparing a b)

runGComparing :: GComparing t t1 (GOrdering * t t1) -> GOrdering * t t1 Source

geq' :: GCompare t => t a -> t b -> GComparing x y (a := b) Source

compare' :: Ord a1 => a1 -> a1 -> GComparing a b () Source