Data.Bifunctor.Wrapped

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 | portable
Safe Haskell | Safe
Language | Haskell98

Data.Bifunctor.Wrapped

Description

Synopsis

- newtype WrappedBifunctor p a b = WrapBifunctor {
  - unwrapBifunctor :: p a b
  }

# Documentation

newtype WrappedBifunctor p a b

Make a `Functor` over the second argument of a `Bifunctor`.

Constructors

WrapBifunctor |
Fields unwrapBifunctor :: p a b

Instances

Bifunctor p => Bifunctor (WrappedBifunctor * * p) |
Bifoldable p => Bifoldable (WrappedBifunctor * * p) |
Bitraversable p => Bitraversable (WrappedBifunctor * * p) |
Biapplicative p => Biapplicative (WrappedBifunctor * * p) |
Bifunctor p => Functor (WrappedBifunctor * * p a) |
Bifoldable p => Foldable (WrappedBifunctor * * p a) |
Bitraversable p => Traversable (WrappedBifunctor * * p a) |
Generic1 (WrappedBifunctor k * p a) |
Eq (p a b) => Eq (WrappedBifunctor k k p a b) |
Ord (p a b) => Ord (WrappedBifunctor k k p a b) |
Read (p a b) => Read (WrappedBifunctor k k p a b) |
Show (p a b) => Show (WrappedBifunctor k k p a b) |
Generic (WrappedBifunctor k k p a b) |
type Rep1 (WrappedBifunctor k k1 p a) |
type Rep (WrappedBifunctor k k1 p a b) |