Module

Optic.Types

Package
purescript-lensDEPRECATED
Repository
joneshf/purescript-lens

#Accessing Source

type Accessing p m s a = p a (Const m a) -> s -> Const m s

#APrism Source

type APrism s t a b = Market a b a (Identity b) -> Market a b s (Identity t)

#APrism' Source

type APrism' s a = APrism s s a a

#ASetter Source

type ASetter s t a b = (a -> Identity b) -> s -> Identity t

#ASetter' Source

type ASetter' s a = ASetter s s a a

#Getting Source

type Getting r s a = (a -> Const r a) -> s -> Const r s

#Getter Source

type Getter s a = forall f. Contravariant f => Functor f => (a -> f a) -> s -> f s

#Lens Source

type Lens s t a b = forall f. Functor f => (a -> f b) -> s -> f t

#Lens' Source

type Lens' s a = Lens s s a a

#Optical Source

type Optical p q f s t a b = p a (f b) -> q s (f t)

#Optical' Source

type Optical' p q f s a = Optical p q f s s a a

#Prism Source

type Prism s t a b = forall p f. Applicative f => Choice p => p a (f b) -> p s (f t)

#Prism' Source

type Prism' s a = Prism s s a a

#Setter Source

type Setter s t a b = forall f. Settable f => (a -> f b) -> s -> f t

#Setter' Source

type Setter' s a = Setter s s a a

#Setting Source

type Setting p s t a b = p a (Identity b) -> s -> Identity t

#Setting' Source

type Setting' p s a = Setting p s s a a