AIHC Haddock

Community
Modules 14

Data.Bifunctor.Fix

provisional

newtype Fix p a

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

In :: p (Fix p a) a -> Fix p a

out :: Fix p a -> p (Fix p a) a

Instances

13
  • instance (Generic p, Generic a) => Generic (Fix p a)
  • instance Eq (p (Fix p a) a) => Eq (Fix p a)
  • instance Ord (p (Fix p a) a) => Ord (Fix p a)
  • instance Show (p (Fix p a) a) => Show (Fix p a)
  • instance Read (p (Fix p a) a) => Read (Fix p a)
  • instance Eq2 p => Eq1 (Fix p)
  • instance Ord2 p => Ord1 (Fix p)
  • instance Read2 p => Read1 (Fix p)
  • instance Show2 p => Show1 (Fix p)
  • instance Bifunctor p => Functor (Fix p)
  • instance Biapplicative p => Applicative (Fix p)
  • instance Bifoldable p => Foldable (Fix p)
  • instance Bitraversable p => Traversable (Fix p)
Maintainer
Edward Kmett <ekmett@gmail.com>
Portability
non-portable
Copyright
(C) 2008-2016 Edward Kmett
License
BSD-style (see the file LICENSE)
Build record and source files

Community contribution. The service has not verified this documentation. The generator reported 2 diagnostics.

Target: Linux on x86-64. Some inferred types and resolved links are not available.

Generator: aihc-haddock-aa6debbd-web-3

Metadata snapshot: 09b82df928e064b0f451e3d0573302709a7badfc69fe1ca8110c8d45f2c2865f

Open the dependency plan · Download the documentation model

Import a package

Enter a package name and an exact version from Hackage. The site contains imported versions only.