Moduledhall-1.42.3Haskell2010

Dhall.Optics

Deprecated. Use the definitions from Lens.Micro of the microlens package directly.

This module contains some useful utilities copy-and-pasted from the lens library to avoid a dependency which are used internally and also re-exported for convenience

2 types
9 values

Packagedhall-1.42.3
Exports11
LanguageHaskell2010
LicenceBSD-3-Clause
SourceOptics.hs

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

Identical to Control.Lens.Type.Optic

typetype Optic' (p :: Type -> Type -> Type) (f :: Type -> Type) s a = Optic p f s s a a

Identical to Control.Lens.Type.Optic'

Utilities

9 declarations

valueanyOf :: Getting Any s a -> (a -> Bool) -> s -> Bool

Identical to Control.Lens.Control.Lens.anyOf

valuerewriteOf :: ASetter a b a b -> (b -> Maybe a) -> a -> b

Identical to Control.Lens.Control.Lens.rewriteOf

valuetransformOf :: ASetter a b a b -> (b -> b) -> a -> b

Identical to Control.Lens.Control.Lens.transformOf

valuerewriteMOf

:: Monad m
=> LensLike (WrappedMonad m) a b a b
-> b -> m (Maybe a)
-> a
-> m b

Identical to Control.Lens.Control.Lens.rewriteMOf

valuetransformMOf

:: Monad m
=> LensLike (WrappedMonad m) a b a b
-> b -> m b
-> a
-> m b

Identical to Control.Lens.Control.Lens.transformMOf

valuemapMOf :: LensLike (WrappedMonad m) s t a b -> (a -> m b) -> s -> m t

Identical to Control.Lens.Control.Lens.mapMOf

valuecosmosOf :: Traversal s t s t -> Traversal s t s b

Identical to Control.Lens.Plated.cosmosOf

valueto :: (s -> a) -> SimpleGetter s a

Identical to Control.Lens.Getter.to

valuefoldOf :: Getting a s a -> s -> a

Identical to Control.Lens.Fold.foldOf