lens-4.9.1: Lenses, Folds and Traversals

Control.Lens.Internal.Getter

Description

Synopsis

# Documentation

coerce :: (Contravariant f, Functor f) => f a -> f b Source

A Functor you can coerce ignores its argument, which it carries solely as a phantom type parameter.

By the Functor and Contravariant laws, an instance of both will necessarily satisfy:

id = fmap f = coerce = contramap g

newtype AlongsideLeft f b a Source

Constructors

 AlongsideLeft FieldsgetAlongsideLeft :: f (a, b)

Instances

 Functor f => Bifunctor (AlongsideLeft f) Source Traversable f => Bitraversable (AlongsideLeft f) Source Foldable f => Bifoldable (AlongsideLeft f) Source Functor f => Functor (AlongsideLeft f b) Source Foldable f => Foldable (AlongsideLeft f b) Source Traversable f => Traversable (AlongsideLeft f b) Source Contravariant f => Contravariant (AlongsideLeft f b) Source Traversable1 f => Traversable1 (AlongsideLeft f b) Source Foldable1 f => Foldable1 (AlongsideLeft f b) Source Read (f (a, b)) => Read (AlongsideLeft f b a) Source Show (f (a, b)) => Show (AlongsideLeft f b a) Source

newtype AlongsideRight f a b Source

Constructors

 AlongsideRight FieldsgetAlongsideRight :: f (a, b)

Instances

 Functor f => Bifunctor (AlongsideRight f) Source Traversable f => Bitraversable (AlongsideRight f) Source Foldable f => Bifoldable (AlongsideRight f) Source Functor f => Functor (AlongsideRight f a) Source Foldable f => Foldable (AlongsideRight f a) Source Traversable f => Traversable (AlongsideRight f a) Source Contravariant f => Contravariant (AlongsideRight f a) Source Traversable1 f => Traversable1 (AlongsideRight f a) Source Foldable1 f => Foldable1 (AlongsideRight f a) Source Read (f (a, b)) => Read (AlongsideRight f a b) Source Show (f (a, b)) => Show (AlongsideRight f a b) Source