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	Trustworthy
Language	Haskell98

Control.Lens.Internal.Iso

Description

Synopsis

Documentation

This is used internally by the Iso code to provide efficient access to the two functions that make up an isomorphism.

Constructors

Exchange (s -> a) (b -> t)

Instances

Profunctor (Exchange a b) Source
Methods dimap :: (c -> d) -> (e -> f) -> Exchange a b d e -> Exchange a b c f lmap :: (c -> d) -> Exchange a b d e -> Exchange a b c e rmap :: (c -> d) -> Exchange a b e c -> Exchange a b e d (#.) :: Coercible * d c => (c -> d) -> Exchange a b e c -> Exchange a b e d (.#) :: Coercible * c e => Exchange a b c d -> (e -> c) -> Exchange a b e d
Functor (Exchange a b s) Source
Methods fmap :: (c -> d) -> Exchange a b s c -> Exchange a b s d (<$) :: c -> Exchange a b s d -> Exchange a b s c

This class provides a generalized notion of list reversal extended to other containers.

Methods

Instances

Reversing ByteString Source
Methods reversing :: ByteString -> ByteString Source
Reversing ByteString Source
Methods reversing :: ByteString -> ByteString Source
Reversing Text Source
Methods reversing :: Text -> Text Source
Reversing Text Source
Methods reversing :: Text -> Text Source
Reversing [a] Source
Methods reversing :: [a] -> [a] Source
Reversing (Seq a) Source
Methods reversing :: Seq a -> Seq a Source
Reversing (NonEmpty a) Source
Methods reversing :: NonEmpty a -> NonEmpty a Source
Reversing (Vector a) Source
Methods reversing :: Vector a -> Vector a Source
Unbox a => Reversing (Vector a) Source
Methods reversing :: Vector a -> Vector a Source
Storable a => Reversing (Vector a) Source
Methods reversing :: Vector a -> Vector a Source
Prim a => Reversing (Vector a) Source
Methods reversing :: Vector a -> Vector a Source
Reversing (Deque a) Source
Methods reversing :: Deque a -> Deque a Source