Data.Extensible.Internal.Rig

Re-implementation of lens combinators

Documentation

type Optic p f s t a b = p a (f b) -> p s (f t)

type Optic' p f s a = p a (f a) -> p s (f s)

view :: Optic' (->) (Const a) s a -> s -> a

view :: Getter s a -> s -> a

views :: Optic' (->) (Const r) s a -> (a -> r) -> s -> r

views :: Getter s a -> (a -> r) -> (s -> r)

over :: Optic (->) Identity s t a b -> (a -> b) -> s -> t

over :: Setter s t a b -> (a -> b) -> (s -> t)

withIso :: Optic (Exchange a b) Identity s t a b -> ((s -> a) -> (b -> t) -> r) -> r

Recover tho functions from an Iso/

data Exchange a b s t

Reifies the structure of Isos

Constructors

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

Instances

Profunctor (Exchange a b)

Methods

dimap :: (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

review :: Optic' Tagged Identity s a -> a -> s

review :: AReview s a -> a -> s