Copyright | Matthew Harm Bekkema 2017 |
---|---|

License | BSD3 |

Maintainer | mbekkema97@gmail.com |

Stability | experimental |

Portability | portable |

Safe Haskell | Safe |

Language | Haskell98 |

The church encoded pair type and associated operations.

# Documentation

The church encoded pair

Pair (forall r. (a -> b -> r) -> r) |

Eq2 Pair Source # | |

Ord2 Pair Source # | |

Bifunctor Pair Source # | |

Monoid a => Monad (Pair a) Source # | |

Functor (Pair a) Source # | |

Monoid a => Applicative (Pair a) Source # | |

Foldable (Pair a) Source # | |

Traversable (Pair a) Source # | |

Eq a => Eq1 (Pair a) Source # | |

Ord a => Ord1 (Pair a) Source # | |

(Eq a, Eq b) => Eq (Pair a b) Source # | |

(Ord a, Ord b) => Ord (Pair a b) Source # | |

(Semigroup a, Semigroup b) => Semigroup (Pair a b) Source # | |

(Monoid a, Monoid b) => Monoid (Pair a b) Source # | |