Safe Haskell	None
Language	Haskell2010

FP.Prelude.Lens

Documentation

newtype Lens a b Source

Constructors

Lens
Fields runLens :: a -> (b, b -> a)

Instances

Constructors

Prism
Fields construct :: b -> a view :: a -> Maybe b

Instances

Alter Prism Source
Category * Prism Source

class Alter t where Source

Methods

alter :: t a b -> (b -> b) -> a -> a Source

Instances

Alter Prism Source
Alter Lens Source

class AlterM t where Source

Methods

alterM :: Monad m => t a b -> (b -> m b) -> a -> m a Source

Instances

update :: Alter t => t a b -> b -> a -> a Source

updateM :: (AlterM t, Monad m) => t a b -> m b -> a -> m a Source

lens :: (a -> b) -> (a -> b -> a) -> Lens a b Source

isoLens :: (a -> b) -> (b -> a) -> Lens a b Source

access :: Lens a b -> a -> b Source

prism :: (b -> a) -> (a -> Maybe b) -> Prism a b Source

isoPrism :: (b -> a) -> (a -> b) -> Prism a b Source