Safe Haskell | Safe |
---|---|

Language | Haskell2010 |

Example usage of Control.Eff

- newtype TooBig = TooBig Int
- runErrBig :: Eff (Exc TooBig ': r) a -> Eff r (Either TooBig a)
- writeAll :: Member (Writer a) e => [a] -> Eff e ()
- sumAll :: (Num a, Member (State a) e) => [a] -> Eff e ()
- writeAndAdd :: (Member (Writer a) e, Member (State a) e, Num a) => [a] -> Eff e ()
- sumEff :: Num a => [a] -> a
- lastEff :: [a] -> Maybe a
- lastAndSum :: Num a => [a] -> (Maybe a, a)
- data Move x where
- handUp :: Eff (Move ': r) a -> Eff r a
- handDown :: Eff (Move ': r) a -> Eff r a

# Documentation

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

runErrBig :: Eff (Exc TooBig ': r) a -> Eff r (Either TooBig a) Source #

specialization to tell the type of the exception

writeAll :: Member (Writer a) e => [a] -> Eff e () Source #

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

sumAll :: (Num a, Member (State a) e) => [a] -> Eff e () Source #

Add a list of numbers to the current state.

writeAndAdd :: (Member (Writer a) e, Member (State a) e, Num a) => [a] -> Eff e () Source #

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

lastEff :: [a] -> Maybe a Source #

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

lastAndSum :: Num a => [a] -> (Maybe a, a) Source #

Get the last element and sum of a list