Modulelinear-base-0.8.1

Control.Optics.Linear

Synopsis

value .>
value _1
value _2
value _Just
value _Left
value _Nothing
value _Right
value assoc
value build
value get
value gets
value iso
value lens
value match
value over
value overU
value prism
value reifyLens
value set
value setSwap
value swap
value traversal
value traverseOf
value traverseOfU
value traversed
value withIso
value withLens
value withPrism
type Iso
type Iso'
type Lens
type Lens'
type Optic
newtype Optic_
type Prism
type Prism'
type Traversal
type Traversal'

Packagelinear-base-0.8.1
Exports38
LicenceMIT

value(.>) :: Optic_ arr s t a b -> Optic_ arr a b x y -> Optic_ arr s t x y

value_1 :: Strong Tuple2 () arr => Optic_ arr (a, c) (b, c) a b

value_2 :: Strong Tuple2 () arr => Optic_ arr (c, a) (c, b) a b

value_Just :: Strong Either Void arr => Optic_ arr (Maybe a) (Maybe b) a b

value_Left :: Strong Either Void arr => Optic_ arr (Either a c) (Either b c) a b

value_Nothing :: Strong Either Void arr => Optic_ arr (Maybe a) (Maybe a) () ()

value_Right :: Strong Either Void arr => Optic_ arr (Either c a) (Either c b) a b

valueassoc :: SymmetricMonoidal m u => Iso (m a (m b c)) (m d (m e f)) (m (m a b) c) (m (m d e) f)

valuebuild :: Optic_ (CoKleisli (Const b)) s t a b -> b %1 -> t

valueget :: Optic_ (Kleisli (Const a)) s t a b -> s -> a

valuegets :: Optic_ (Kleisli (Const r)) s t a b -> (a -> r) -> s -> r

valueiso :: (s %1 -> a) -> (b %1 -> t) -> Iso s t a b

valuelens :: (s %1 -> (a, b %1 -> t)) -> Lens s t a b

valuematch :: Optic_ (Market a b) s t a b -> s %1 -> Either t a

valueover :: Optic_ (FUN 'One) s t a b -> (a %1 -> b) -> s %1 -> t

valueoverU :: Optic_ (->) s t a b -> (a -> b) -> s -> t

valueprism :: (b %1 -> t) -> (s %1 -> Either t a) -> Prism s t a b

valuereifyLens

:: Optic_ (Kleisli (Compose (Tuple2 a) (FUN 'One b))) s t a b
-> s
-> (a, b %1 -> t)

valueset :: Optic_ (->) s t a b -> b -> s -> t

valuesetSwap

:: Optic_ (Kleisli (Compose (FUN 'One b) (Tuple2 a))) s t a b
-> s
-> b
-> (a, t)

valueswap :: SymmetricMonoidal m u => Iso (m a b) (m c d) (m b a) (m d c)

valuetraversal

:: forall (f :: Type -> Type). Applicative f => (a %1 -> f b) -> s %1 -> f t
-> Traversal s t a b

valuetraverseOf :: Optic_ (Kleisli f) s t a b -> (a %1 -> f b) -> s %1 -> f t

valuetraverseOfU :: Optic_ (Kleisli f) s t a b -> (a -> f b) -> s -> f t

valuetraversed :: Traversable t => Traversal (t a) (t b) a b

valuewithIso

:: Optic_ (Exchange a b) s t a b
-> (s %1 -> a) -> (b %1 -> t) -> r
-> r

valuewithLens

:: Optic_ (Kleisli (Compose (Tuple2 a) (FUN 'One b))) s t a b
-> forall c. (s %1 -> (c, a)) -> ((c, b) %1 -> t) -> r
-> r

valuewithPrism

:: Optic_ (Market a b) s t a b
-> (b %1 -> t) -> (s %1 -> Either t a) -> r
-> r

typetype Iso s t a b = Optic Profunctor s t a b

typetype Iso' s a = Iso s s a a

typetype Lens s t a b = Optic (Strong Tuple2 ()) s t a b

typetype Lens' s a = Lens s s a a

type

type Optic (c :: (Type -> Type -> Type) -> Constraint) s t a b = forall (arr :: Type -> Type -> Type). c arr => Optic_ arr s t a b

newtypenewtype Optic_ (arr :: Type -> Type -> Type) s t a b

Constructors

Optical (arr a b -> arr s t)

typetype Prism s t a b = Optic (Strong Either Void) s t a b

typetype Prism' s a = Prism s s a a

typetype Traversal s t a b = Optic Wandering s t a b

typetype Traversal' s a = Traversal s s a a