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)

Defined in Data.Extensible.Internal.Rig

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

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

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

Functor (Exchange a b s)

Defined in Data.Extensible.Internal.Rig

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

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

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