Module

Optic.Core

Package
purescript-lensDEPRECATED
Repository
joneshf/purescript-lens

#(..) Source

Operator alias for Optic.Core.o (right-associative / precedence 9)

.. is a synonym for <<< for aesthetic reasons.

foo .. bar .. baz looks and reads better than foo <<< bar <<< baz, and mimics accessor notation for records.

#o Source

o :: forall d c b a. Semigroupoid a => a c d -> a b c -> a b d

Re-exports from Optic.Getter

#weiv Source

weiv :: forall a s. s -> Getting a s a -> a

#view Source

view :: forall a s. Getting a s a -> s -> a

#to Source

to :: forall p f s a. Contravariant f => Functor f => Profunctor p => (s -> a) -> p a (f a) -> p s (f s)

#(^.) Source

Operator alias for Optic.Getter.weiv (left-associative / precedence 8)

Re-exports from Optic.Lens

#lens Source

lens :: forall b a t s. (s -> a) -> (s -> b -> t) -> Lens s t a b

#flip' Source

flip' :: forall b a f. Functor f => f (a -> b) -> a -> f b

#(??) Source

Operator alias for Optic.Lens.flip' (left-associative / precedence 1)

Re-exports from Optic.Prism

#withPrism Source

withPrism :: forall s t a r b. APrism s t a b -> ((b -> t) -> (s -> Either t a) -> r) -> r

#prism' Source

prism' :: forall b a s. (b -> s) -> (s -> Maybe a) -> Prism s s a b

#prism Source

prism :: forall b a t s p f. Applicative f => Choice p => (b -> t) -> (s -> Either t a) -> p a (f b) -> p s (f t)

#only Source

only :: forall a. Eq a => a -> Prism' a Unit

#nearly Source

nearly :: forall a. a -> (a -> Boolean) -> Prism' a Unit

#matching Source

matching :: forall b a t s. APrism s t a b -> s -> Either t a

#isn't Source

isn't :: forall b a t s. APrism s t a b -> s -> Boolean

#is Source

is :: forall b a t s. APrism s t a b -> s -> Boolean

#clonePrism Source

clonePrism :: forall b a t s p f. Applicative f => Choice p => APrism s t a b -> p a (f b) -> p s (f t)

Re-exports from Optic.Setter

#sub Source

sub :: forall a t s. Ring a => ASetter s t a a -> a -> s -> t

#sets Source

sets :: forall b a t s f q p. Profunctor p => Profunctor q => Settable f => (p a b -> q s t) -> Optical p q f s t a b

#setJust Source

setJust :: forall b a t s. ASetter s t a (Maybe b) -> b -> s -> t

#set' Source

set' :: forall a s. ASetter' s a -> a -> s -> s

#set Source

set :: forall b a t s. ASetter s t a b -> b -> s -> t

#over Source

over :: forall b a t s p. Profunctor p => Setting p s t a b -> p a b -> s -> t

#or Source

or :: forall a t s. HeytingAlgebra a => ASetter s t a a -> a -> s -> t

#mul Source

mul :: forall a t s. Semiring a => ASetter s t a a -> a -> s -> t

#mapped Source

mapped :: forall b a f. Functor f => Setter (f a) (f b) a b

#div Source

div :: forall a t s. EuclideanRing a => ASetter s t a a -> a -> s -> t

#contramapped Source

contramapped :: forall b a f. Contravariant f => Setter (f a) (f b) b a

#concat Source

concat :: forall a t s. Semigroup a => ASetter s t a a -> a -> s -> t

#argument Source

argument :: forall b a r p. Profunctor p => Setter (p b r) (p a r) a b

#and Source

and :: forall a t s. HeytingAlgebra a => ASetter s t a a -> a -> s -> t

#add Source

add :: forall a t s. Semiring a => ASetter s t a a -> a -> s -> t

#(||~) Source

Operator alias for Optic.Setter.or (right-associative / precedence 4)

#(?~) Source

Operator alias for Optic.Setter.setJust (right-associative / precedence 4)

#(<>~) Source

Operator alias for Optic.Setter.concat (right-associative / precedence 4)

#(/~) Source

Operator alias for Optic.Setter.div (right-associative / precedence 4)

#(.~) Source

Operator alias for Optic.Setter.set (right-associative / precedence 4)

#(-~) Source

Operator alias for Optic.Setter.sub (right-associative / precedence 4)

#(+~) Source

Operator alias for Optic.Setter.add (right-associative / precedence 4)

#(*~) Source

Operator alias for Optic.Setter.mul (right-associative / precedence 4)

#(&&~) Source

Operator alias for Optic.Setter.and (right-associative / precedence 4)

#(%~) Source

Operator alias for Optic.Setter.over (right-associative / precedence 4)

Re-exports from Optic.Types

#Setting' Source

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

#Setting Source

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

#Setter' Source

type Setter' s a = Setter s s a a

#Setter Source

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

#Prism' Source

type Prism' s a = Prism 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)

#Optical' Source

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

#Optical Source

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

#Lens' Source

type Lens' s a = Lens s s a a

#Lens Source

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

#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

#Accessing Source

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

#ASetter' Source

type ASetter' s a = ASetter s s a a

#ASetter Source

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

#APrism' Source

type APrism' s a = APrism s s a a

#APrism Source

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