Header menu logo issie

Option Module

Functions and values

Function or value Description

value_

Full Usage: value_

Returns: Prism<'v option, 'v>

Prism to the value in an Option.

Returns: Prism<'v option, 'v>

withDefault_ d

Full Usage: withDefault_ d

Parameters:
    d : 'v

Returns: Lens<'v option, 'v>

Lens to the value in an Option. using a default value if the option is None.

d : 'v
Returns: Lens<'v option, 'v>

Type something to start searching.