Clean.Lens

A module providing simple Lens functionality

The lens types

type Iso s t a b = forall p f. (Functor f, Bifunctor p) => p s (f t) -> p a (f b)

type Iso' a b = Iso b b a a

data MkIso a b s t

Constructors

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

Instances

Bifunctor (MkIso a b)

Cofunctor (Flip (MkIso a b) t)

Functor (MkIso a b s)

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

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

Constructing lenses

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

from :: MkIso t s b a -> Iso a b s t

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

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

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

Extracting values

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

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

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

Basic lenses

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

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

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

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

_both :: Traversal a b (a, a) (b, b)

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

_head :: Traversal' [a] a

_tail :: Traversal' [a] [a]

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

class Wrapped s t a b | a -> s, b -> t, a t -> s, b s -> t where

Methods

wrapped :: Iso s t a b

wrapping :: Wrapped b b a a => (a -> b) -> Iso' a b