Module

Control.Selective.Over

Package: purescript-selective-functors
Repository: artemisSystem/purescript-selective-functors

#Over Source

newtype Over :: forall k. Type -> k -> Typenewtype Over m a

Collects optional effects. See also Under.

Constructors

Over m

Instances

Newtype (Over m a) _
Functor (Over m)
(Semigroup m) => Apply (Over m)
(Semigroup m) => Select (Over m)
(Monoid m) => Applicative (Over m)
(Monoid m) => Selective (Over m)

#getOver Source

getOver :: forall @m @a. Over m a -> m

Modules: Control.Select; Control.Selective; Control.Selective.ComposeI; Control.Selective.ComposeTM; Control.Selective.ComposeTS; Control.Selective.Free; Control.Selective.Over; Control.Selective.SelectA; Control.Selective.SelectM; Control.Selective.SelectTM; Control.Selective.SelectTS; Control.Selective.Under; Control.Selective.Validation