Class and Description |
---|
Iso |
Iso.Simple
A convenience type with a simplified type signature for common isos with both unified "larger" values and
unified "smaller" values.
|
Lens
An approximation of van Laarhoven lenses.
|
Lens.Simple
A convenience type with a simplified type signature for common lenses with both unified "larger" values and
unified "smaller" values.
|
Optic
A generic supertype representation for profunctor optics.
|
Optic.Simple |
Class and Description |
---|
Iso |
Iso.Simple
A convenience type with a simplified type signature for common isos with both unified "larger" values and
unified "smaller" values.
|
Lens
An approximation of van Laarhoven lenses.
|
Lens.Simple
A convenience type with a simplified type signature for common lenses with both unified "larger" values and
unified "smaller" values.
|
Optic
A generic supertype representation for profunctor optics.
|
Optic.Simple |
Prism
Prisms are
Isos that can fail in one direction. |
Prism.Simple
A convenience type with a simplified type signature for common
prism with unified S/T
and A/B types. |
ProtoOptic |
Class and Description |
---|
Optic
A generic supertype representation for profunctor optics.
|
ProtoOptic |
Class and Description |
---|
Iso |
Iso.Simple
A convenience type with a simplified type signature for common isos with both unified "larger" values and
unified "smaller" values.
|
Lens
An approximation of van Laarhoven lenses.
|
Lens.Simple
A convenience type with a simplified type signature for common lenses with both unified "larger" values and
unified "smaller" values.
|
Class and Description |
---|
Prism
Prisms are
Isos that can fail in one direction. |
Prism.Simple
A convenience type with a simplified type signature for common
prism with unified S/T
and A/B types. |