lens-4.15.4: Lenses, Folds and Traversals

Control.Lens.Internal.Iso

Description

Synopsis

# 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) # Methodsdimap :: (a -> b) -> (c -> d) -> Exchange a b b c -> Exchange a b a d #lmap :: (a -> b) -> Exchange a b b c -> Exchange a b a c #rmap :: (b -> c) -> Exchange a b a b -> Exchange a b a c #(#.) :: Coercible * c b => (b -> c) -> Exchange a b a b -> Exchange a b a c #(.#) :: Coercible * b a => Exchange a b b c -> (a -> b) -> Exchange a b a c # Functor (Exchange a b s) # Methodsfmap :: (a -> b) -> Exchange a b s a -> Exchange a b s b #(<\$) :: a -> Exchange a b s b -> Exchange a b s a #

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

 # Methods # Methods # Methods # Methods Reversing [a] # Methodsreversing :: [a] -> [a] # # Methodsreversing :: NonEmpty a -> NonEmpty a # Reversing (Seq a) # Methodsreversing :: Seq a -> Seq a # # Methodsreversing :: Vector a -> Vector a # Storable a => Reversing (Vector a) # Methodsreversing :: Vector a -> Vector a # Unbox a => Reversing (Vector a) # Methodsreversing :: Vector a -> Vector a # Prim a => Reversing (Vector a) # Methodsreversing :: Vector a -> Vector a # # Methodsreversing :: Deque a -> Deque a #