Karya, built on 2023-08-29T07:47:28 (patch 7a412d5d6ba4968ca4155ef276a062ccdeb9109a)

Safe Haskell	Safe-Inferred

Util.Lens

Contents

operators
data

Description

Re-export a minimal version of the fclabels API.

I'd like to be able to write (a #= x) . (b #= y) without parentheses, but since (.) already binds the strongest at 9, I can't make (#=) stronger. Besides, I already want (#=) to bind loosely so I can write x#y #= 1+2. I would need a version of (.) at 0, but that's too much trouble.

Synopsis

type Lens a b = a :-> b
lens :: (f -> a) -> ((a -> a) -> f -> f) -> f :-> a
(#) :: Lens a b -> Lens b c -> Lens a c
(#$) :: Lens f a -> f -> a
(#=) :: Lens f a -> a -> f -> f
(%=) :: Lens f a -> (a -> a) -> f -> f
(<#>) :: Functor f => Lens a b -> f a -> f b
map :: Ord k => k -> Lens (Map k a) (Maybe a)
set :: Ord k => k -> Lens (Set k) Bool
list :: Int -> Lens [a] (Maybe a)

Documentation

type Lens a b = a :-> b Source #

Arguments

:: (f -> a)	Getter.
-> ((a -> a) -> f -> f)	Modifier.
-> f :-> a

Create a total lens from a getter and a modifier.

We expect the following law to hold:

get l (modify l m f) == m (get l f)

(#) :: Lens a b -> Lens b c -> Lens a c infixr 9 Source #

Compose lenses.

operators

(#$) :: Lens f a -> f -> a infixr 1 Source #

Get: bval = a#b $# record

(#=) :: Lens f a -> a -> f -> f infix 1 Source #

Set: a#b #= 42 record

(%=) :: Lens f a -> (a -> a) -> f -> f infix 1 Source #

Modify: a#b %= (+1) record

(<#>) :: Functor f => Lens a b -> f a -> f b infixl 4 Source #

Use like a#b # State.get.

data

map :: Ord k => k -> Lens (Map k a) (Maybe a) Source #

set :: Ord k => k -> Lens (Set k) Bool Source #

list :: Int -> Lens [a] (Maybe a) Source #

A negative index counts from the end of the list, and a too-high index will be ignored.