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 | |

(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 # | |