The mempty equivalent for a Contravariant Applicative Functor.
Modulelens-5.3.6Haskell2010
Control.Lens.Internal.Getter
Synopsis
- value noEffect
- newtype AlongsideLeft
- newtype AlongsideRight
- Packagelens-5.3.6
- Exports3
- LanguageHaskell2010
- LicenceBSD-2-Clause
- SourceGetter.hs
Constructors
AlongsideLeftgetAlongsideLeft :: f (a, b)
Instances11Bifoldable, Bifunctor, Bitraversable, Functor, Foldable, Traversable, …
Foldable f => Bifoldable (AlongsideLeft f)Defined in lens-5.3.6 · Control.Lens.Internal.GetterFunctor f => Bifunctor (AlongsideLeft f)Defined in lens-5.3.6 · Control.Lens.Internal.GetterTraversable f => Bitraversable (AlongsideLeft f)Defined in lens-5.3.6 · Control.Lens.Internal.GetterFunctor f => Functor (AlongsideLeft f b)Defined in lens-5.3.6 · Control.Lens.Internal.GetterFoldable f => Foldable (AlongsideLeft f b)Defined in lens-5.3.6 · Control.Lens.Internal.GetterTraversable f => Traversable (AlongsideLeft f b)Defined in lens-5.3.6 · Control.Lens.Internal.GetterFoldable1 f => Foldable1 (AlongsideLeft f b)Defined in lens-5.3.6 · Control.Lens.Internal.GetterContravariant f => Contravariant (AlongsideLeft f b)Defined in lens-5.3.6 · Control.Lens.Internal.GetterTraversable1 f => Traversable1 (AlongsideLeft f b)Defined in lens-5.3.6 · Control.Lens.Internal.GetterRead (f (a, b)) => Read (AlongsideLeft f b a)Defined in lens-5.3.6 · Control.Lens.Internal.GetterShow (f (a, b)) => Show (AlongsideLeft f b a)Defined in lens-5.3.6 · Control.Lens.Internal.Getter
Constructors
AlongsideRightgetAlongsideRight :: f (a, b)
Instances11Bifoldable, Bifunctor, Bitraversable, Functor, Foldable, Traversable, …
Foldable f => Bifoldable (AlongsideRight f)Defined in lens-5.3.6 · Control.Lens.Internal.GetterFunctor f => Bifunctor (AlongsideRight f)Defined in lens-5.3.6 · Control.Lens.Internal.GetterTraversable f => Bitraversable (AlongsideRight f)Defined in lens-5.3.6 · Control.Lens.Internal.GetterFunctor f => Functor (AlongsideRight f a)Defined in lens-5.3.6 · Control.Lens.Internal.GetterFoldable f => Foldable (AlongsideRight f a)Defined in lens-5.3.6 · Control.Lens.Internal.GetterTraversable f => Traversable (AlongsideRight f a)Defined in lens-5.3.6 · Control.Lens.Internal.GetterFoldable1 f => Foldable1 (AlongsideRight f a)Defined in lens-5.3.6 · Control.Lens.Internal.GetterContravariant f => Contravariant (AlongsideRight f a)Defined in lens-5.3.6 · Control.Lens.Internal.GetterTraversable1 f => Traversable1 (AlongsideRight f a)Defined in lens-5.3.6 · Control.Lens.Internal.GetterRead (f (a, b)) => Read (AlongsideRight f a b)Defined in lens-5.3.6 · Control.Lens.Internal.GetterShow (f (a, b)) => Show (AlongsideRight f a b)Defined in lens-5.3.6 · Control.Lens.Internal.Getter