Control.Lens.Internal.Prism

Documentation

data Market a b s t

This type is used internally by the Prism code to provide efficient access to the two parts of a Prism.

Constructors

Market (b -> t) (s -> Either t a)

Instances

Choice (Market a b)

Methods

left' :: Market a b c d -> Market a b (Either c e) (Either d e)

right' :: Market a b c d -> Market a b (Either e c) (Either e d)

Profunctor (Market a b)

Methods

dimap :: (c -> d) -> (e -> f) -> Market a b d e -> Market a b c f

lmap :: (c -> d) -> Market a b d e -> Market a b c e

rmap :: (c -> d) -> Market a b e c -> Market a b e d

(#.) :: Coercible * d c => (c -> d) -> Market a b e c -> Market a b e d

(.#) :: Coercible * c e => Market a b c d -> (e -> c) -> Market a b e d

Functor (Market a b s)

Methods

fmap :: (c -> d) -> Market a b s c -> Market a b s d

(<$) :: c -> Market a b s d -> Market a b s c

type Market' a = Market a a

type Market' a s t = Market a a s t