Data.Parameterized.DataKind

Documentation

data PairRepr (f :: k1 -> *) (g :: k2 -> *) (p :: (k1, k2)) where

Constructors

PairRepr :: f a -> g b -> PairRepr f g '(a, b)

Instances

(TestEquality f, TestEquality g) => TestEquality (PairRepr f g :: (k1, k2) -> Type)

Defined in Data.Parameterized.DataKind

Methods

testEquality :: PairRepr f g a -> PairRepr f g b -> Maybe (a :~: b)

(ShowF f, ShowF g) => ShowF (PairRepr f g :: (k1, k2) -> Type)

Defined in Data.Parameterized.DataKind

Methods

withShow :: p (PairRepr f g) -> q tp -> (Show (PairRepr f g tp) -> a) -> a

showF :: PairRepr f g tp -> String

showsPrecF :: Int -> PairRepr f g tp -> String -> String

(OrdF f, OrdF g) => OrdF (PairRepr f g :: (k1, k2) -> Type)

Defined in Data.Parameterized.DataKind

Methods

compareF :: PairRepr f g x -> PairRepr f g y -> OrderingF x y

leqF :: PairRepr f g x -> PairRepr f g y -> Bool

ltF :: PairRepr f g x -> PairRepr f g y -> Bool

geqF :: PairRepr f g x -> PairRepr f g y -> Bool

gtF :: PairRepr f g x -> PairRepr f g y -> Bool

(Eq (f a), Eq (g b)) => Eq (PairRepr f g ((,) a b))

Defined in Data.Parameterized.DataKind

Methods

(==) :: PairRepr f g (a, b) -> PairRepr f g (a, b) -> Bool

(/=) :: PairRepr f g (a, b) -> PairRepr f g (a, b) -> Bool

(Ord (f a), Ord (g b)) => Ord (PairRepr f g ((,) a b))

Defined in Data.Parameterized.DataKind

Methods

compare :: PairRepr f g (a, b) -> PairRepr f g (a, b) -> Ordering

(<) :: PairRepr f g (a, b) -> PairRepr f g (a, b) -> Bool

(<=) :: PairRepr f g (a, b) -> PairRepr f g (a, b) -> Bool

(>) :: PairRepr f g (a, b) -> PairRepr f g (a, b) -> Bool

(>=) :: PairRepr f g (a, b) -> PairRepr f g (a, b) -> Bool

max :: PairRepr f g (a, b) -> PairRepr f g (a, b) -> PairRepr f g (a, b)

min :: PairRepr f g (a, b) -> PairRepr f g (a, b) -> PairRepr f g (a, b)

(ShowF f, ShowF g) => Show (PairRepr f g p)

Defined in Data.Parameterized.DataKind

Methods

showsPrec :: Int -> PairRepr f g p -> ShowS

show :: PairRepr f g p -> String

showList :: [PairRepr f g p] -> ShowS

type family Fst (pair :: (k1, k2)) where ...

Equations

Fst '(a, _) = a

type family Snd (pair :: (k1, k2)) where ...

Equations

Snd '(_, b) = b

fst :: PairRepr f g p -> f (Fst p)

snd :: PairRepr f g p -> g (Snd p)