Moduleoptics-core-0.4.2Haskell2010

Optics.Internal.Bi

Classes for co- and contravariant bifunctors.

This module is intended for internal use only, and may change without warning in subsequent releases.

Synopsis

classclass Bifunctor (p :: k -> Type -> Type -> Type) where

Class for (covariant) bifunctors.

Instances2Bifunctor

Bifunctor TaggedDefined in optics-core-0.4.2 · Optics.Internal.Bi
Bicontravariant p => Bifunctor (Re p s t)Defined in optics-core-0.4.2 · Optics.Re

classclass Bicontravariant (p :: k -> Type -> Type -> Type) where

Class for contravariant bifunctors.

Instances5Bicontravariant

Bicontravariant (Forget r)Defined in optics-core-0.4.2 · Optics.Internal.Bi
Bicontravariant (ForgetM r)Defined in optics-core-0.4.2 · Optics.Internal.Bi
Bicontravariant (IxForget r)Defined in optics-core-0.4.2 · Optics.Internal.Bi
Bicontravariant (IxForgetM r)Defined in optics-core-0.4.2 · Optics.Internal.Bi
Bifunctor p => Bicontravariant (Re p s t)Defined in optics-core-0.4.2 · Optics.Re

valuelphantom :: (Profunctor p, Bifunctor p) => p i a c -> p i b c

If p is a Profunctor and a Bifunctor then its left parameter must be phantom.

valuerphantom :: (Profunctor p, Bicontravariant p) => p i c a -> p i c b

If p is a Profunctor and Bicontravariant then its right parameter must be phantom.