Safe Haskell | None |
---|---|

Language | Haskell2010 |

# Documentation

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

#### Instances

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

Defined in Data.Parameterized.DataKind | |

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

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

Defined in Data.Parameterized.DataKind compareF :: forall (x :: k) (y :: k). PairRepr f g x -> PairRepr f g y -> OrderingF x y Source # leqF :: forall (x :: k) (y :: k). PairRepr f g x -> PairRepr f g y -> Bool Source # ltF :: forall (x :: k) (y :: k). PairRepr f g x -> PairRepr f g y -> Bool Source # geqF :: forall (x :: k) (y :: k). PairRepr f g x -> PairRepr f g y -> Bool Source # gtF :: forall (x :: k) (y :: k). PairRepr f g x -> PairRepr f g y -> Bool Source # | |

(Eq (f a), Eq (g b)) => Eq (PairRepr f g '(a, b)) Source # | |

(Ord (f a), Ord (g b)) => Ord (PairRepr f g '(a, b)) Source # | |

Defined in Data.Parameterized.DataKind 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) Source # | |