Modulerebase-1.21.2Haskell2010

Rebase.Control.Selective.Rigid.Freer

datadata Select (f :: Type -> Type) a where

Free rigid selective functors.

Instances3Functor, Applicative, Selective

Functor (Select f)Defined in selective-0.7.0.1 · Control.Selective.Rigid.Freer
Applicative (Select f)Defined in selective-0.7.0.1 · Control.Selective.Rigid.Freer
Selective (Select f)Defined in selective-0.7.0.1 · Control.Selective.Rigid.Freer

valuefoldSelect :: Monoid m => (forall x. f x -> m) -> Select f a -> m

Concatenate all effects of a free selective computation.

valuegetEffects :: Functor f => Select f a -> [f ()]

Collect all possible effects in the order they appear in a free selective computation.

valuegetPure :: Select f a -> Maybe a

Extract the resulting value if there are no necessary effects.

valueliftSelect :: f a -> Select f a

Lift a functor into a free selective computation.

valuerunSelect :: Selective g => (forall x. f x -> g x) -> Select f a -> g a

Given a natural transformation from f to g, this gives a canonical natural transformation from Select f to g.

valuegetNecessaryEffect :: Functor f => Select f a -> Maybe (f ())

Extract the necessary effect from a free selective computation. Note: there can be at most one effect that is statically guaranteed to be necessary.