OperatorsModule

PackageFCQRS.Model

Summary

NameSignatureSynopsis
(>->)l >-> oCompose a lens with an optic or morphism.
(>?>)p >?> oCompose a prism with an optic or morphism.
(^.)target ^. opticGet a value using an optic.
(^=)value ^= opticSet a value using an optic.
(^%)f ^% opticModify a value using an optic.

(>->)

l >-> o
Member
Compose a lens with an optic or morphism.

Parameters

NameTypeDescription
l'a
o^b

Returns

'c

(>?>)

p >?> o
Member
Compose a prism with an optic or morphism.

Parameters

NameTypeDescription
p'a
o^b

Returns

'c

(^.)

target ^. optic
Member
Get a value using an optic.

Parameters

NameTypeDescription
target'a
optic^b

Returns

'c

(^=)

value ^= optic
Member
Set a value using an optic.

Parameters

NameTypeDescription
value'a
optic^b

Returns

'c

(^%)

f ^% optic
Member
Modify a value using an optic.

Parameters

NameTypeDescription
f'a
optic^b

Returns

'c