Moduledependent-sum-template-0.2.0.1Haskell2010

Data.GADT.Compare.TH

classclass DeriveGEQ t where

Instances4DeriveGEQ

DeriveGEQ DecDefined in dependent-sum-template-0.2.0.1 · Data.GADT.Compare.TH
DeriveGEQ NameDefined in dependent-sum-template-0.2.0.1 · Data.GADT.Compare.TH
DeriveGEQ t => DeriveGEQ (Q t)Defined in dependent-sum-template-0.2.0.1 · Data.GADT.Compare.TH
DeriveGEQ t => DeriveGEQ [t]Defined in dependent-sum-template-0.2.0.1 · Data.GADT.Compare.TH

classclass DeriveGCompare t where

Instances4DeriveGCompare

DeriveGCompare DecDefined in dependent-sum-template-0.2.0.1 · Data.GADT.Compare.TH
DeriveGCompare NameDefined in dependent-sum-template-0.2.0.1 · Data.GADT.Compare.TH
DeriveGCompare t => DeriveGCompare (Q t)Defined in dependent-sum-template-0.2.0.1 · Data.GADT.Compare.TH
DeriveGCompare t => DeriveGCompare [t]Defined in dependent-sum-template-0.2.0.1 · Data.GADT.Compare.TH

newtypenewtype GComparing (a :: k) (b :: k) t

Instances3Monad, Functor, Applicative

Monad (GComparing a b)Defined in dependent-sum-template-0.2.0.1 · Data.GADT.Compare.Monad
Functor (GComparing a b)Defined in dependent-sum-template-0.2.0.1 · Data.GADT.Compare.Monad
Applicative (GComparing a b)Defined in dependent-sum-template-0.2.0.1 · Data.GADT.Compare.Monad

valuerunGComparing :: GComparing a b (GOrdering a b) -> GOrdering a b

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

valuecompare' :: Ord a1 => a1 -> a1 -> GComparing a2 b ()