Data.Bifunctor.Join

bifunctors-5.3: Bifunctors

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

Data.Bifunctor.Join

Description

Synopsis

- newtype Join p a = Join {
  - runJoin :: p a a
  }

# Documentation

newtype Join p a

Make a `Functor` over both arguments of a `Bifunctor`.

Constructors

Join |
Fields runJoin :: p a a

Instances

Bifunctor p => Functor (Join * p) |
Biapplicative p => Applicative (Join * p) |
Bifoldable p => Foldable (Join * p) |
Bitraversable p => Traversable (Join * p) |
Eq (p a a) => Eq (Join k p a) |
Ord (p a a) => Ord (Join k p a) |
Read (p a a) => Read (Join k p a) |
Show (p a a) => Show (Join k p a) |
Generic (Join k p a) |
type Rep (Join k p a) |