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

Safe Haskell	None

Data.GADT.Compare.TH

Documentation

class DeriveGEQ t whereSource

Methods

deriveGEq :: t -> Q [Dec]Source

Instances

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

class DeriveGCompare t whereSource

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)

runGComparing :: GComparing t t1 (GOrdering t t1) -> GOrdering t t1Source

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

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