Module

Data.Lens.Prism

This module defines functions for working with prisms.

prism :: forall b a t s. (b -> t) -> (s -> Either t a) -> Prism s t a b

Create a Prism from a constructor/pattern pair.

prism' :: forall a s. (a -> s) -> (s -> Maybe a) -> Prism' s a

review :: forall b a t s. Review s t a b -> b -> t

Review a value through a Prism.

nearly :: forall a. a -> (a -> Boolean) -> Prism' a Unit

only :: forall a. Eq a => a -> Prism a a Unit Unit

clonePrism :: forall b a t s. APrism s t a b -> Prism s t a b

withPrism :: forall r b a t s. APrism s t a b -> ((b -> t) -> (s -> Either t a) -> r) -> r

matching :: forall b a t s. APrism s t a b -> s -> Either t a

is :: forall r b a t s. HeytingAlgebra r => APrism s t a b -> s -> r

isn't :: forall r b a t s. HeytingAlgebra r => APrism s t a b -> s -> r

Re-exports from Data.Lens.Types

type Review' s a = Review s s a a

type Review s t a b = Optic Tagged s t a b

A review.

type Prism' s a = Prism s s a a

type Prism s t a b = forall p. Choice p => Optic p s t a b

A prism.

type APrism' s a = APrism s s a a

type APrism s t a b = Optic (Market a b) s t a b