Module
Control.Selective.SelectTS
- Package
- purescript-selective-functors
- Repository
- artemisSystem/purescript-selective-functors
#SelectTS Source
newtype SelectTS :: forall k. (k -> Type) -> k -> Typenewtype SelectTS t a
Has a Select instance where select is implemented in terms of
sequence. See also SelectTM
Constructors
SelectTS (t a)
Instances
Newtype (SelectTS t a) _(Functor t) => Functor (SelectTS t)(Apply t) => Apply (SelectTS t)(Applicative t) => Applicative (SelectTS t)(Traversable t, Apply t) => Select (SelectTS t)(Traversable t, Applicative t) => Selective (SelectTS t)(Foldable t) => Foldable (SelectTS t)(Traversable t) => Traversable (SelectTS 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 ofsequenceandapply. This implementation usesapplyto keep the effects of the first parameter when it is aLeft, unlikeSelectTM. This implementation is well suited for tuple-like traversables (i.e. containing one or fewer elements)