Modulelens-5.3.5Haskell2010

Control.Lens.Profunctor

This module provides conversion functions between the optics defined in this library and Profunctor-based optics.

The goal of these functions is to provide an interoperability layer between the two styles of optics, and not to reimplement all the library in terms of Profunctor optics.

1 type
10 values

Packagelens-5.3.5
Exports11
LanguageHaskell2010
LicenceBSD-2-Clause
SourceProfunctor.hs

Profunctor optic

1 declaration

typetype OpticP (p :: Type -> Type -> Type) s t a b = p a b -> p s t

Profunctor optic.

Conversion from Van Laarhoven optics

5 declarations

valuefromLens :: Strong p => LensLike (Context a b) s t a b -> OpticP p s t a b

Converts a Lens to a Profunctor-based one.

fromLens :: Lens s t a b -> LensP s t a b

valuefromIso :: Profunctor p => Optic p Identity s t a b -> OpticP p s t a b

Converts a Iso to a Profunctor-based one.

fromIso :: Iso s t a b -> IsoP s t a b

valuefromPrism :: Choice p => Optic p Identity s t a b -> OpticP p s t a b

Converts a Prism to a Profunctor-based one.

fromPrism :: Prism s t a b -> PrismP s t a b

valuefromSetter :: Mapping p => ASetter s t a b -> OpticP p s t a b

Converts a Setter to a Profunctor-based one.

fromSetter :: Setter s t a b -> SetterP s t a b

valuefromTraversal :: Traversing p => ATraversal s t a b -> OpticP p s t a b

Converts a Traversal to a Profunctor-based one.

fromTraversal :: Traversal s t a b -> TraversalP s t a b

Conversion to Van Laarhoven optics

5 declarations

valuetoLens :: Functor f => OpticP (Star f) s t a b -> LensLike f s t a b

Obtain a Lens from a Profunctor-based one.

toLens :: LensP s t a b -> Lens s t a b

valuetoIso

:: (Profunctor p, Functor f)
=> OpticP (WrappedPafb f p) s t a b
-> Optic p f s t a b

Obtain a Iso from a Profunctor-based one.

toIso :: IsoP s t a b -> Iso s t a b

valuetoPrism

:: (Choice p, Applicative f)
=> OpticP (WrappedPafb f p) s t a b
-> Optic p f s t a b

Obtain a Prism from a Profunctor-based one.

toPrism :: PrismP s t a b -> Prism s t a b

valuetoSetter :: Settable f => OpticP (Star f) s t a b -> LensLike f s t a b

Obtain a Setter from a Profunctor-based one.

toSetter :: SetterP s t a b -> Setter s t a b

valuetoTraversal

:: Applicative f
=> OpticP (Star f) s t a b
-> LensLike f s t a b

Obtain a Traversal from a Profunctor-based one.

toTraversal :: TraversalP s t a b -> Traversal s t a b