lens-4.13.2: Lenses, Folds and Traversals

Copyright(C) 2012-2016 Edward Kmett
LicenseBSD-style (see the file LICENSE)
MaintainerEdward Kmett <ekmett@gmail.com>
Stabilityexperimental
Portabilitynon-portable
Safe HaskellSafe
LanguageHaskell98

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

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