Control.Selective.Free.Rigid

Contents

Description

This is a library for selective applicative functors, or just selective functors for short, an abstraction between applicative functors and monads, introduced in this paper: https://www.staff.ncl.ac.uk/andrey.mokhov/selective-functors.pdf.

This module defines free rigid selective functors, i.e. for selective functors satisfying the property <*> = apS.

Synopsis

data Select f a where
- Pure :: a -> Select f a
- Select :: Select f (Either a b) -> f (a -> b) -> Select f b
liftSelect :: Functor f => f a -> Select f a
getPure :: Select f a -> Maybe a
getEffects :: Functor f => Select f a -> [f ()]
getNecessaryEffect :: Functor f => Select f a -> Maybe (f ())
runSelect :: Selective g => (forall x. f x -> g x) -> Select f a -> g a
foldSelect :: Monoid m => (forall x. f x -> m) -> Select f a -> m

Free rigid selective functors

data Select f a where Source #

Free rigid selective functors.

Constructors

Pure :: a -> Select f a
Select :: Select f (Either a b) -> f (a -> b) -> Select f b

Instances

Functor f => Functor (Select f) Source #
Instance details Defined in Control.Selective.Free.Rigid Methods fmap :: (a -> b) -> Select f a -> Select f b # (<$) :: a -> Select f b -> Select f a #
Functor f => Applicative (Select f) Source #
Instance details Defined in Control.Selective.Free.Rigid Methods pure :: a -> Select f a # (<>) :: Select f (a -> b) -> Select f a -> Select f b # liftA2 :: (a -> b -> c) -> Select f a -> Select f b -> Select f c # (>) :: Select f a -> Select f b -> Select f b # (<*) :: Select f a -> Select f b -> Select f a #
Functor f => Selective (Select f) Source #
Instance details Defined in Control.Selective.Free.Rigid Methods select :: Select f (Either a b) -> Select f (a -> b) -> Select f b Source #

Lift a functor into a free selective computation.

Static analysis

Extract the resulting value if there are no necessary effects.

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

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

runSelect :: Selective g => (forall x. f x -> g x) -> Select f a -> g a Source #

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

foldSelect :: Monoid m => (forall x. f x -> m) -> Select f a -> m Source #

Concatenate all effects of a free selective computation.