Data.Bifunctor.Fix

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

Data.Bifunctor.Fix

Description

Synopsis

- newtype Fix p a = In {
  - out :: p (Fix p a) a
  }

# 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) |