Copyright	(C) 2012-2016 Edward Kmett
License	BSD-style (see the file LICENSE)
Maintainer	Edward Kmett <ekmett@gmail.com>
Stability	experimental
Portability	non-portable
Safe Haskell	Safe
Language	Haskell98

Control.Lens.Internal.Prism

Description

Synopsis

Documentation

data Market a b s t Source

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) Source
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) Source
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) Source
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 s t = Market a a s t