bifunctors-5.2: Bifunctors

Copyright(C) 2008-2016 Edward Kmett
LicenseBSD-style (see the file LICENSE)
MaintainerEdward Kmett <ekmett@gmail.com>
Stabilityprovisional
Portabilityportable
Safe HaskellSafe
LanguageHaskell98

Data.Bifunctor.Wrapped

Description

 

Synopsis

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)