Module

Control.Selective.Under

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

#Under Source

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

Ignores optional effects. See also Over.

Constructors

Under m

Instances

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

#getUnder Source

getUnder :: forall @m @a. Under 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