Module

Control.Selective.SelectA

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

#SelectA Source

newtype SelectA :: forall k. (k -> Type) -> k -> Typenewtype SelectA f a

Has a Select instance where select is implemented in terms of apply

Constructors

SelectA (f a)

Instances

Newtype (SelectA f a) _
(Functor f) => Functor (SelectA f)
(Apply f) => Apply (SelectA f)
(Applicative f) => Applicative (SelectA f)
(Apply f) => Select (SelectA f)
(Applicative f) => Selective (SelectA f)

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