Copyright | (C) 2008-2016 Edward Kmett |
---|---|

License | BSD-style (see the file LICENSE) |

Maintainer | Edward Kmett <ekmett@gmail.com> |

Stability | provisional |

Portability | non-portable |

Safe Haskell | Safe |

Language | Haskell98 |

# Documentation

## Instances

Bifunctor p => Functor (Join p) Source # | |

Biapplicative p => Applicative (Join p) Source # | |

Bifoldable p => Foldable (Join p) Source # | |

Defined in Data.Bifunctor.Join fold :: Monoid m => Join p m -> m # foldMap :: Monoid m => (a -> m) -> Join p a -> m # foldr :: (a -> b -> b) -> b -> Join p a -> b # foldr' :: (a -> b -> b) -> b -> Join p a -> b # foldl :: (b -> a -> b) -> b -> Join p a -> b # foldl' :: (b -> a -> b) -> b -> Join p a -> b # foldr1 :: (a -> a -> a) -> Join p a -> a # foldl1 :: (a -> a -> a) -> Join p a -> a # elem :: Eq a => a -> Join p a -> Bool # maximum :: Ord a => Join p a -> a # minimum :: Ord a => Join p a -> a # | |

Bitraversable p => Traversable (Join p) Source # | |

Eq (p a a) => Eq (Join p a) Source # | |

Ord (p a a) => Ord (Join p a) Source # | |

Defined in Data.Bifunctor.Join | |

Read (p a a) => Read (Join p a) Source # | |

Show (p a a) => Show (Join p a) Source # | |

Generic (Join p a) Source # | |

type Rep (Join p a) Source # | |

Defined in Data.Bifunctor.Join |