- data Accessor whole part
- accessor :: (whole -> part) -> (part -> whole -> whole) -> Accessor whole part
- convertor :: (whole -> part) -> (part -> whole) -> Accessor whole part
- (^.) :: whole -> Accessor whole part -> part
- (^:) :: Accessor whole part -> (part -> part) -> whole -> whole
- (<^) :: Accessor b c -> Accessor a b -> Accessor a c
- (^>) :: Accessor a b -> Accessor b c -> Accessor a c
- self :: Accessor a a
- null :: [a] -> Bool
- reader :: r -> Accessor a r
- write :: Accessor whole part -> part -> whole -> whole
- afirst :: Accessor (a, b) a
- asecond :: Accessor (a, b) b
- anth :: Int -> Accessor [a] a
- aMapValue :: Ord k => k -> Accessor (Map k a) a
- aMapValueDefault :: Ord k => a -> k -> Accessor (Map k a) a
Documentation
aMapValueDefault :: Ord k => a -> k -> Accessor (Map k a) aSource