Clean.Lens

Documentation

type LensLike f s t a b = (s -> f t) -> a -> f b

type LensLike' f a b = LensLike f b b a a

type Lens s t a b = forall f. Functor f => LensLike f s t a b

type Lens' a b = Lens b b a a

lens :: (a -> s) -> (a -> t -> b) -> Lens s t a b

iso :: (a -> s) -> (t -> b) -> Lens s t a b

iso' :: (a -> b) -> (b -> a) -> Lens' a b

lam :: Functor f => (a -> s) -> LensLike f s t a a

(^.) :: a -> Lens' a b -> b

type Traversal s t a b = forall f. Applicative f => LensLike f s t a b

type Traversal' a b = Traversal b b a a

(%~) :: Traversal' a b -> (b -> b) -> a -> a

(.~) :: Traversal' a b -> b -> a -> a

prism :: (a -> b :+: s) -> (a -> t -> b) -> Traversal s t a b

prism' :: (a -> a :+: b) -> (a -> b -> a) -> Traversal' a b

_1 :: Functor f => LensLike f s t (s, t1) (t, t1)

_2 :: Lens' (a :*: b) b

_l :: Traversal' (a :+: b) a

_r :: Traversal' (a :+: b) b

_list :: Lens' [a] (() :+: (a :*: [a]))

_head :: Traversal' [a] a

_tail :: Traversal' [a] [a]

_drop :: Int -> Traversal' [a] [a]