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
#to Source
to :: forall p f s a. Contravariant f => Functor f => Profunctor p => (s -> a) -> p a (f a) -> p s (f s)
Re-exports from Optic.Lens
Re-exports from Optic.Prism
#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)
#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
#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
#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
#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
#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
Re-exports from Optic.Types
#Prism Source
type Prism s t a b = forall p f. Applicative f => Choice p => p a (f b) -> p s (f t)
#Getter Source
type Getter s a = forall f. Contravariant f => Functor f => (a -> f a) -> s -> f s