Module
Control.Selective.SelectTM
- Package
- purescript-selective-functors
- Repository
- artemisSystem/purescript-selective-functors
#SelectTM Source
newtype SelectTM :: forall k. (k -> Type) -> k -> Typenewtype SelectTM t a
Has a Select instance where select is implemented in terms of
sequence. See also SelectTS.
Constructors
SelectTM (t a)
Instances
Newtype (SelectTM t a) _(Functor t) => Functor (SelectTM t)(Apply t) => Apply (SelectTM t)(Applicative t) => Applicative (SelectTM t)(Traversable t, Apply t) => Select (SelectTM t)(Traversable t, Applicative t) => Selective (SelectTM t)(Foldable t) => Foldable (SelectTM t)(Traversable t) => Traversable (SelectTM t)
- 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
Selectimplemented in terms ofsequence. With this implementation, depending on theEitherin the first argument, the first or the second effect will be executed, but never both.Traversableallows us to inspect theEitherin the first parameter without including its effect in the result. This implementation is well suited for array-like traversables. (i.e. potentially containing more than one element).