Data.Parameterized.ClassesC

This module declares classes for working with types with the kind (k -> *) -> * for any kind k.

These classes generally require type-level evidence for operations on their subterms, but don't actually provide it themselves (because their types are not themselves parameterized, unlike those in Data.Parameterized.TraverableFC).

Note that there is still some ambiguity around naming conventions, see issue 23.

Documentation

class TestEqualityC (t :: (k -> Type) -> Type) where

Methods

testEqualityC :: (forall x y. f x -> f y -> Maybe (x :~: y)) -> t f -> t f -> Bool

Instances

TestEqualityC (Some :: (k -> Type) -> Type)

This instance demonstrates where the above class is useful: namely, in types with existential quantification.

Defined in Data.Parameterized.ClassesC

Methods

testEqualityC :: (forall (x :: k0) (y :: k0). f x -> f y -> Maybe (x :~: y)) -> Some f -> Some f -> Bool

class TestEqualityC t => OrdC (t :: (k -> Type) -> Type) where

Methods

compareC :: (forall x y. f x -> g y -> OrderingF x y) -> t f -> t g -> Ordering

Instances

OrdC (Some :: (k -> Type) -> Type)

Defined in Data.Parameterized.ClassesC

Methods

compareC :: (forall (x :: k0) (y :: k0). f x -> g y -> OrderingF x y) -> Some f -> Some g -> Ordering