Header menu logo FCQRS

Prism Module

Functions and values

Function or value Description

Prism.ofEpimorphism (arg1, arg2)

Full Usage: Prism.ofEpimorphism (arg1, arg2)

Parameters:
    arg0 : 'a -> 'b option
    arg1 : 'b -> 'a

Returns: Prism<'a, 'b>

Converts an epimorphism into a prism.

arg0 : 'a -> 'b option
arg1 : 'b -> 'a
Returns: Prism<'a, 'b>

Prism.toValidated (arg1, arg2)

Full Usage: Prism.toValidated (arg1, arg2)

Parameters:
    arg0 : 'a -> 'b option
    arg1 : 'b -> 'a -> 'a

Returns: ValidatedPrism<'a, 'b, 'e>

Lift a standard Prism into a ValidatedPrism with no validation.

arg0 : 'a -> 'b option
arg1 : 'b -> 'a -> 'a
Returns: ValidatedPrism<'a, 'b, 'e>

Type something to start searching.