Modulerebase-1.21.2Haskell2010

Rebase.Control.Selective.Free

1 type
6 values

Packagerebase-1.21.2
Exports7
LanguageHaskell2010
LicenceMIT
SourceFree.hs

newtypenewtype Select (f :: Type -> Type) a

Free selective functors.

Constructors

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

Instances3Functor, Applicative, Selective

Functor (Select f)Defined in selective-0.7.0.1 · Control.Selective.Free
Applicative (Select f)Defined in selective-0.7.0.1 · Control.Selective.Free
Selective (Select f)Defined in selective-0.7.0.1 · Control.Selective.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.

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

Extract all necessary 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. Note that here we rely on the fact that g is a lawful selective functor.