Data.GADT.Compare.TH

Documentation

class DeriveGEQ t where

Methods

deriveGEq :: t -> Q [Dec]

Instances

DeriveGEQ Dec

Defined in Data.GADT.Compare.TH

Methods

deriveGEq :: Dec -> Q [Dec]

DeriveGEQ Name

Defined in Data.GADT.Compare.TH

Methods

deriveGEq :: Name -> Q [Dec]

DeriveGEQ t => DeriveGEQ [t]

Defined in Data.GADT.Compare.TH

Methods

deriveGEq :: [t] -> Q [Dec]

DeriveGEQ t => DeriveGEQ (Q t)

Defined in Data.GADT.Compare.TH

Methods

deriveGEq :: Q t -> Q [Dec]

class DeriveGCompare t where

Methods

deriveGCompare :: t -> Q [Dec]

Instances

DeriveGCompare Dec

Defined in Data.GADT.Compare.TH

Methods

deriveGCompare :: Dec -> Q [Dec]

DeriveGCompare Name

Defined in Data.GADT.Compare.TH

Methods

deriveGCompare :: Name -> Q [Dec]

DeriveGCompare t => DeriveGCompare [t]

Defined in Data.GADT.Compare.TH

Methods

deriveGCompare :: [t] -> Q [Dec]

DeriveGCompare t => DeriveGCompare (Q t)

Defined in Data.GADT.Compare.TH

Methods

deriveGCompare :: Q t -> Q [Dec]

data GComparing a b t

Instances

Monad (GComparing a b)

Defined in Data.GADT.Compare.TH

Methods

(>>=) :: GComparing a b a0 -> (a0 -> GComparing a b b0) -> GComparing a b b0

(>>) :: GComparing a b a0 -> GComparing a b b0 -> GComparing a b b0

return :: a0 -> GComparing a b a0

Functor (GComparing a b)

Defined in Data.GADT.Compare.TH

Methods

fmap :: (a0 -> b0) -> GComparing a b a0 -> GComparing a b b0

(<$) :: a0 -> GComparing a b b0 -> GComparing a b a0

Applicative (GComparing a b)

Defined in Data.GADT.Compare.TH

Methods

pure :: a0 -> GComparing a b a0

(<*>) :: GComparing a b (a0 -> b0) -> GComparing a b a0 -> GComparing a b b0

liftA2 :: (a0 -> b0 -> c) -> GComparing a b a0 -> GComparing a b b0 -> GComparing a b c

(*>) :: GComparing a b a0 -> GComparing a b b0 -> GComparing a b b0

(<*) :: GComparing a b a0 -> GComparing a b b0 -> GComparing a b a0

runGComparing :: forall k (a :: k) (b :: k). GComparing a b (GOrdering a b) -> GOrdering a b

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

compare' :: forall k a1 (a2 :: k) (b :: k). Ord a1 => a1 -> a1 -> GComparing a2 b ()