bifunctors-4.2.1: Bifunctors

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

Data.Bifunctor.Tannen

Description

 

Synopsis

Documentation

newtype Tannen f p a b

Compose a Functor on the outside of a Bifunctor.

Constructors

Tannen 

Fields

runTannen :: f (p a b)
 

Instances

(Foldable f, Bifoldable p) => Bifoldable (Tannen f p) 
(Foldable1 f, Bifoldable1 p) => Bifoldable1 (Tannen f p) 
(Functor f, Bifunctor p) => Bifunctor (Tannen f p) 
(Apply f, Biapply p) => Biapply (Tannen f p) 
(Traversable f, Bitraversable p) => Bitraversable (Tannen f p) 
(Traversable1 f, Bitraversable1 p) => Bitraversable1 (Tannen f p) 
(Applicative f, Biapplicative p) => Biapplicative (Tannen f p) 
(Functor f, Bifunctor p) => Functor (Tannen f p a) 
(Foldable f, Bifoldable p) => Foldable (Tannen f p a) 
(Traversable f, Bitraversable p) => Traversable (Tannen f p a) 
Eq (f (p a b)) => Eq (Tannen f p a b) 
Ord (f (p a b)) => Ord (Tannen f p a b) 
Read (f (p a b)) => Read (Tannen f p a b) 
Show (f (p a b)) => Show (Tannen f p a b)