Modulerebase-1.21.2Haskell2010

Rebase.Control.Selective.Rigid.Free

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

Free rigid selective functors.

Instances3Functor, Applicative, Selective

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

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 :: Functor f => 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.