Header menu logo issie

Prism Module

Namespace: global
Assembly: Renderer.dll
Parent Module: Optics

Functions for creating or using prisms.

Functions and values

Function or value Description

create fGet fPut

Full Usage: create fGet fPut

Parameters:
    fGet : 'a -> 'b option
    fPut : 'b -> 'a -> 'a

Returns: Prism<'a, 'b>
Modifiers: inline
Type parameters: 'a, 'b
fGet : 'a -> 'b option
fPut : 'b -> 'a -> 'a
Returns: Prism<'a, 'b>

ofEpimorphism (arg1, arg2)

Full Usage: 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>

Type something to start searching.