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.Fix

Description

Synopsis

Documentation

newtype Fix p a

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)
Biapplicative p => Applicative (Fix * p)
Bifoldable p => Foldable (Fix * p)
Bitraversable p => Traversable (Fix * p)
Eq (p (Fix k p a) a) => Eq (Fix k p a)
Ord (p (Fix k p a) a) => Ord (Fix k p a)
Read (p (Fix k p a) a) => Read (Fix k p a)
Show (p (Fix k p a) a) => Show (Fix k p a)
Generic (Fix k p a)
type Rep (Fix k p a)