HORIZON HASKELLDocslts/ghc-10.0.x77a86622026-10-31Search packagesCtrl K
Theme: |

GHC 10.0.0.20260917 · lts/ghc-10.0.x · 77a8662 · 2026-10-31

Modulelens-5.3.6Haskell2010

Control.Lens.Internal.Magma

Contents
  1. Magma
  2. Molten
  3. Mafic
  4. TakingWhile
Synopsis
  • Packagelens-5.3.6
  • Exports7
  • LanguageHaskell2010
  • LicenceBSD-2-Clause
  • SourceMagma.hs

Magma

datadata Magma i t b a where
Source#

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
Source#

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

Molten

newtypenewtype Molten i a b t
Source#

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

Constructors

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

Mafic

datadata Mafic a b t
Source#

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

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

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