Modulehxt-9.3.1.22Haskell2010

Data.Function.Selector

datadata Selector s a

A Selector is a pair of an access function and a modifying function for reading and updating parts of a composite type

Instances1Category

valuechgS :: Selector s a -> (a -> a) -> s -> s

valuechgM :: Monad m => Selector s a -> (a -> m a) -> s -> m s

valuemkSelector :: (s -> a) -> (a -> s -> s) -> Selector s a

Alias for constructor S

valueidS :: Selector s s

value(.&&&.) :: Selector s a -> Selector s b -> Selector s (a, b)

classclass Comp1 s a | s -> a where

Selectors for pairs and 3-tuples: comp1, comp2, comp3, this can be extended to n-tuples

Instances2Comp1

classclass Comp2 s a | s -> a where

Instances2Comp2

classclass Comp3 s a | s -> a where

Instances1Comp3