Control.Lens.Internal.Iso

Documentation

data Exchange a b s t

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)

Methods

dimap :: (a0 -> b0) -> (c -> d) -> Exchange a b b0 c -> Exchange a b a0 d

lmap :: (a0 -> b0) -> Exchange a b b0 c -> Exchange a b a0 c

rmap :: (b0 -> c) -> Exchange a b a0 b0 -> Exchange a b a0 c

(#.) :: Coercible * c b0 => (b0 -> c) -> Exchange a b a0 b0 -> Exchange a b a0 c

(.#) :: Coercible * b0 a0 => Exchange a b b0 c -> (a0 -> b0) -> Exchange a b a0 c

Functor (Exchange a b s)

Methods

fmap :: (a0 -> b0) -> Exchange a b s a0 -> Exchange a b s b0

(<$) :: a0 -> Exchange a b s b0 -> Exchange a b s a0

class Reversing t where

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

Minimal complete definition

reversing

Methods

reversing :: t -> t

Instances

Reversing ByteString

Methods

reversing :: ByteString -> ByteString

Reversing ByteString

Methods

reversing :: ByteString -> ByteString

Reversing Text

Methods

reversing :: Text -> Text

Reversing Text

Methods

reversing :: Text -> Text

Reversing [a]

Methods

reversing :: [a] -> [a]

Reversing (NonEmpty a)

Methods

reversing :: NonEmpty a -> NonEmpty a

Reversing (Seq a)

Methods

reversing :: Seq a -> Seq a

Unbox a => Reversing (Vector a)

Methods

reversing :: Vector a -> Vector a

Storable a => Reversing (Vector a)

Methods

reversing :: Vector a -> Vector a

Prim a => Reversing (Vector a)

Methods

reversing :: Vector a -> Vector a

Reversing (Vector a)

Methods

reversing :: Vector a -> Vector a

Reversing (Deque a)

Methods

reversing :: Deque a -> Deque a