Control.Optics.Linear.Internal · linear-base-0.4.0

Types

10 declarations

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

Constructors

Optical (arr a b -> arr s t)

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

#

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

#

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

#

Composing optics

1 declaration

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

#

Common optics

9 declarations

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

#

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)

#

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_Left :: Strong Either Void arr => Optic_ arr (Either a c) (Either b c) a b

#

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

#

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

#

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

#

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

#

Using optics

16 declarations

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

#

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

#

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

#

valuesetSwap

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

#

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

#

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

#

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

#

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

#

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

#

valuetoListOf :: Optic_ (Kleisli (Const [a])) s t a b -> s -> [a]

#

valuelengthOf

:: MultIdentity r
=> Optic_ (Kleisli (Const (Sum r))) s t a b
-> s
-> r

#

valuereifyLens

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

#

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

#

Constructing optics

4 declarations

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

#

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

#

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

#

valuetraversal

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

#