HORIZON HASKELLDocslts/ghc-9.10.x248f8f02026-10-05Search names, modules, packages, or :: a typeCtrl K

GHC 9.10.3 · lts/ghc-9.10.x · 248f8f0 · 2026-10-05

Modulelens-5.3.5Haskell2010

Control.Lens.Internal.Magma

  • 4 types
  • 3 values
  • Packagelens-5.3.5
  • Exports7
  • LanguageHaskell2010
  • LicenceBSD-2-Clause
  • SourceMagma.hs

Magma

2 declarations
datadata Magma i t b a where
#

This provides a way to peek at the internal structure of a Control.Lens.Traversal.Traversal or Control.Lens.Traversal.IndexedTraversal

Constructors

Instances7FoldableWithIndex, FunctorWithIndex, TraversableWithIndex, Functor, Foldable, Traversable, …
valuerunMagma :: Magma i t a a -> t
#

Run a Magma where all the individual leaves have been converted to the expected type

Molten

1 declaration
newtypenewtype Molten i a b t
#

This is a a non-reassociating initially encoded version of Bazaar.

Constructors

Instances8IndexedComonad, IndexedFunctor, Bizarre, Sellable, Functor, Applicative, …

Mafic

2 declarations
datadata Mafic a b t
#

This is used to generate an indexed magma from an unindexed source

By constructing it this way we avoid infinite reassociations in sums where possible.

Constructors

Instances6IndexedFunctor, Bizarre, Functor, Applicative, Apply, Sellable

TakingWhile

2 declarations
datadata TakingWhile (p :: Type -> Type -> Type) (g :: Type -> Type) a b t
#

This is used to generate an indexed magma from an unindexed source

By constructing it this way we avoid infinite reassociations where possible.

In TakingWhile p g a b t, g has a nominal role to avoid exposing an illegal _|_ via Contravariant, while the remaining arguments are degraded to a nominal role by the invariants of Magma

Constructors

Instances6Bizarre, IndexedFunctor, Functor, Applicative, Contravariant, Apply