Header menu logo issie

Operators Module

Optional custom operators for working with optics. Provides more concise syntactic options for working with the functions in the `Compose` and `Optic` modules.

Functions and values

Function or value Description

l >-> o

Full Usage: l >-> o

Parameters:
    l : 'a
    o : ^b

Returns: 'c
Modifiers: inline
Type parameters: 'a, ^b, 'c

Compose a lens with an optic or morphism.

l : 'a
o : ^b
Returns: 'c

p >?> o

Full Usage: p >?> o

Parameters:
    p : 'a
    o : ^b

Returns: 'c
Modifiers: inline
Type parameters: 'a, ^b, 'c

Compose a prism with an optic or morphism.

p : 'a
o : ^b
Returns: 'c

f ^% optic

Full Usage: f ^% optic

Parameters:
    f : 'a
    optic : ^b

Returns: 'c
Modifiers: inline
Type parameters: 'a, ^b, 'c

Modify a value using an optic.

f : 'a
optic : ^b
Returns: 'c

target ^. optic

Full Usage: target ^. optic

Parameters:
    target : 'a
    optic : ^b

Returns: 'c
Modifiers: inline
Type parameters: 'a, ^b, 'c

Get a value using an optic.

target : 'a
optic : ^b
Returns: 'c

value ^= optic

Full Usage: value ^= optic

Parameters:
    value : 'a
    optic : ^b

Returns: 'c
Modifiers: inline
Type parameters: 'a, ^b, 'c

Set a value using an optic.

value : 'a
optic : ^b
Returns: 'c

Type something to start searching.