bifunctors-5.3: Bifunctors

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

Data.Bifunctor.Fix

Description

 

Synopsis

Documentation

newtype Fix p a Source

Greatest fixpoint of a Bifunctor (a Functor over the first argument with zipping).

Constructors

In 

Fields

out :: p (Fix p a) a
 

Instances

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