Moduleoptics-core-0.4.2Haskell2010

Optics.IxSetter

An IxSetter is an indexed version of a Setter. See the "Indexed optics" section of the overview documentation in the Optics module of the main optics package for more details on indexed optics.

Contents

Formation
Introduction
Elimination
Computation
Well-formedness
Additional introduction forms
Additional elimination forms
Subtyping
Re-exports

Synopsis

type IxSetter
type IxSetter'
value isets
value iover
value imapped
value iset
value iset'
value iover'
data A_Setter
class FunctorWithIndex

Packageoptics-core-0.4.2
Exports10
LanguageHaskell2010
LicenceBSD-3-Clause
SourceIxSetter.hs

Formation

typetype IxSetter i s t a b = Optic A_Setter (WithIx i) s t a b

Source#

Type synonym for a type-modifying indexed setter.

typetype IxSetter' i s a = Optic' A_Setter (WithIx i) s a

Source#

Type synonym for a type-preserving indexed setter.

Introduction

valueisets :: ((i -> a -> b) -> s -> t) -> IxSetter i s t a b

Source#

Build an indexed setter from a function to modify the element(s).

Elimination

valueiover

:: (Is k A_Setter, HasSingleIndex is i)
=> Optic k is s t a b
-> i -> a -> b
-> s
-> t

Source#

Apply an indexed setter as a modifier.

Computation

iover (isets f) ≡ f

Well-formedness

PutPut: Setting twice is the same as setting once:

Optics.Setter.iset l v' (Optics.Setter.iset l v s) ≡ Optics.Setter.iset l v' s

Functoriality: IxSetters must preserve identities and composition:

iover s (const id) ≡ id
iover s f . iover s g ≡ iover s (i -> f i . g i)

Additional introduction forms

valueimapped :: FunctorWithIndex i f => IxSetter i (f a) (f b) a b

Source#

Indexed setter via the FunctorWithIndex class.

iover imapped ≡ imap

Additional elimination forms

valueiset

:: (Is k A_Setter, HasSingleIndex is i)
=> Optic k is s t a b
-> i -> b
-> s
-> t

Source#

Apply an indexed setter.

iset o f ≡ iover o (i _ -> f i)

valueiset'

:: (Is k A_Setter, HasSingleIndex is i)
=> Optic k is s t a b
-> i -> b
-> s
-> t

Source#

Apply an indexed setter, strictly.

valueiover'

:: (Is k A_Setter, HasSingleIndex is i)
=> Optic k is s t a b
-> i -> a -> b
-> s
-> t

Source#

Apply an indexed setter as a modifier, strictly.

Subtyping

datadata A_Setter

Source#

Tag for a setter.

Instances17Is, JoinKinds, IxOptic, …

Is A_Lens A_SetterDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtyping
Is A_Prism A_SetterDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtyping
Is A_Traversal A_SetterDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtyping
Is An_AffineTraversal A_SetterDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtyping
Is An_Iso A_SetterDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtyping
k ~ A_Setter => JoinKinds A_Lens A_Setter kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtyping
k ~ A_Setter => JoinKinds A_Prism A_Setter kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtyping
k ~ A_Setter => JoinKinds A_Setter A_Lens kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtyping
k ~ A_Setter => JoinKinds A_Setter A_Prism kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtyping
k ~ A_Setter => JoinKinds A_Setter A_Setter kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtyping
k ~ A_Setter => JoinKinds A_Setter A_Traversal kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtyping
k ~ A_Setter => JoinKinds A_Setter An_AffineTraversal kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtyping
k ~ A_Setter => JoinKinds A_Setter An_Iso kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtyping
k ~ A_Setter => JoinKinds A_Traversal A_Setter kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtyping
k ~ A_Setter => JoinKinds An_AffineTraversal A_Setter kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtyping
k ~ A_Setter => JoinKinds An_Iso A_Setter kDefined in optics-core-0.4.2 · Optics.Internal.Optic.Subtyping
IxOptic A_Setter s t a bDefined in optics-core-0.4.2 · Optics.Indexed.Core

Re-exports

classclass Functor f => FunctorWithIndex i (f :: Type -> Type) | f -> i where

Source#

A Functor with an additional index.

Instances must satisfy a modified form of the Functor laws:

imap f . imap g ≡ imap (\i -> f i . g i)
imap (\_ a -> a) ≡ id

Methods

imap :: (i -> a -> b) -> f a -> f b
Map with access to the index.

Instances30FunctorWithIndex, …

FunctorWithIndex Int IntMapDefined in indexed-traversable-0.1.5 · WithIndex
FunctorWithIndex Int SeqDefined in indexed-traversable-0.1.5 · WithIndex
The position in the Seq is available as the index.
FunctorWithIndex Int NonEmptyDefined in indexed-traversable-0.1.5 · WithIndex
FunctorWithIndex Int ZipListDefined in indexed-traversable-0.1.5 · WithIndex
Same instance as for [].
FunctorWithIndex Int []Defined in indexed-traversable-0.1.5 · WithIndex
The position in the list is available as the index.
FunctorWithIndex () IdentityDefined in indexed-traversable-0.1.5 · WithIndex
FunctorWithIndex () Par1Defined in indexed-traversable-0.1.5 · WithIndex
FunctorWithIndex () MaybeDefined in indexed-traversable-0.1.5 · WithIndex
Ix i => FunctorWithIndex i (Array i)Defined in indexed-traversable-0.1.5 · WithIndex
FunctorWithIndex Void ProxyDefined in indexed-traversable-0.1.5 · WithIndex
FunctorWithIndex Void U1Defined in indexed-traversable-0.1.5 · WithIndex
FunctorWithIndex Void V1Defined in indexed-traversable-0.1.5 · WithIndex
FunctorWithIndex k (Map k)Defined in indexed-traversable-0.1.5 · WithIndex
FunctorWithIndex k (Tuple2 k)Defined in indexed-traversable-0.1.5 · WithIndex
FunctorWithIndex Void (Const e)Defined in indexed-traversable-0.1.5 · WithIndex
FunctorWithIndex Void (Constant e)Defined in indexed-traversable-0.1.5 · WithIndex
FunctorWithIndex i f => FunctorWithIndex i (Rec1 f)Defined in indexed-traversable-0.1.5 · WithIndex
FunctorWithIndex i f => FunctorWithIndex i (Backwards f)Defined in indexed-traversable-0.1.5 · WithIndex
FunctorWithIndex i f => FunctorWithIndex i (Reverse f)Defined in indexed-traversable-0.1.5 · WithIndex
FunctorWithIndex i m => FunctorWithIndex i (IdentityT m)Defined in indexed-traversable-0.1.5 · WithIndex
FunctorWithIndex Void (K1 i c)Defined in indexed-traversable-0.1.5 · WithIndex
FunctorWithIndex r ((->) r)Defined in indexed-traversable-0.1.5 · WithIndex
FunctorWithIndex [Int] TreeDefined in indexed-traversable-0.1.5 · WithIndex
FunctorWithIndex i m => FunctorWithIndex (e, i) (ReaderT e m)Defined in indexed-traversable-0.1.5 · WithIndex
(FunctorWithIndex i f, FunctorWithIndex j g) => FunctorWithIndex (Either i j) (Product f g)Defined in indexed-traversable-0.1.5 · WithIndex
(FunctorWithIndex i f, FunctorWithIndex j g) => FunctorWithIndex (Either i j) (Sum f g)Defined in indexed-traversable-0.1.5 · WithIndex
(FunctorWithIndex i f, FunctorWithIndex j g) => FunctorWithIndex (Either i j) (f :*: g)Defined in indexed-traversable-0.1.5 · WithIndex
(FunctorWithIndex i f, FunctorWithIndex j g) => FunctorWithIndex (Either i j) (f :+: g)Defined in indexed-traversable-0.1.5 · WithIndex
(FunctorWithIndex i f, FunctorWithIndex j g) => FunctorWithIndex (i, j) (Compose f g)Defined in indexed-traversable-0.1.5 · WithIndex
(FunctorWithIndex i f, FunctorWithIndex j g) => FunctorWithIndex (i, j) (f :.: g)Defined in indexed-traversable-0.1.5 · WithIndex