Module

Optic.Setter

Package
purescript-lensDEPRECATED
Repository
joneshf/purescript-lens

#(%~) Source

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

#(.~) Source

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

#(+~) Source

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

#(-~) Source

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

#(*~) Source

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

#(/~) Source

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

#(||~) Source

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

#(&&~) Source

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

#(<>~) Source

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

#(?~) Source

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

#argument Source

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

#contramapped Source

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

#mapped Source

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

#over Source

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

#set Source

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

#set' Source

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

#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

#add Source

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

#sub Source

sub :: forall a t s. Ring 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

#div Source

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

#or Source

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

#and Source

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

#concat Source

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

#setJust Source

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