Data.GADT.Compare.TH

Documentation

class DeriveGEQ t where

Methods

deriveGEq :: t -> Q [Dec]

Instances

DeriveGEQ Dec

DeriveGEQ Name

DeriveGEQ t => DeriveGEQ [t]

DeriveGEQ t => DeriveGEQ (Q t)

class DeriveGCompare t where

Methods

deriveGCompare :: t -> Q [Dec]

Instances

DeriveGCompare Dec

DeriveGCompare Name

DeriveGCompare t => DeriveGCompare [t]

DeriveGCompare t => DeriveGCompare (Q t)

data GComparing a b t

Instances

Monad (GComparing k a b)

Functor (GComparing k a b)

Applicative (GComparing k a b)

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

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

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