Moduleextensible-effects-5.0.0.1Haskell2010

Control.Eff.Example

Example usage of Control.Eff

newtypenewtype TooBig

The datatype for the example from the paper. See the tests for the example

Instances2Eq, Show

valuerunErrBig :: Eff (Exc TooBig ': r) a -> Eff r (Either TooBig a)

specialization to tell the type of the exception

valuesum2 :: '[Reader Int, Reader Float] <:: r => Eff r Float

Multiple Reader effects

valuewriteAll :: Member (Writer a) e => [a] -> Eff e ()

Write the elements of a list of numbers, in order.

valuesumAll :: (Num a, Member (State a) e) => [a] -> Eff e ()

Add a list of numbers to the current state.

valuewriteAndAdd :: ('[Writer a, State a] <:: e, Num a) => [a] -> Eff e ()

Write a list of numbers and add them to the current state.

valuesumEff :: Num a => [a] -> a

Sum a list of numbers.

valuelastEff :: [a] -> Maybe a

Safely get the last element of a list. Nothing for empty lists; Just the last element otherwise.

valuelastAndSum :: Num a => [a] -> (Maybe a, a)

Get the last element and sum of a list

datadata Move x where

valuehandUp :: Eff (Move ': r) a -> Eff r a

valuehandDown :: Eff (Move ': r) a -> Eff r a