extensible-effects-5.0.0.1: An Alternative to Monad Transformers

Safe HaskellSafe
LanguageHaskell2010

Control.Eff.Example

Description

Example usage of Control.Eff

Synopsis

Documentation

newtype TooBig Source #

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

Constructors

TooBig Int 
Instances
Eq TooBig Source # 
Instance details

Defined in Control.Eff.Example

Methods

(==) :: TooBig -> TooBig -> Bool #

(/=) :: TooBig -> TooBig -> Bool #

Show TooBig Source # 
Instance details

Defined in Control.Eff.Example

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

specialization to tell the type of the exception

sum2 :: [Reader Int, Reader Float] <:: r => Eff r Float Source #

Multiple Reader effects

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 :: ([Writer a, State a] <:: e, Num a) => [a] -> Eff e () Source #

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

sumEff :: Num a => [a] -> a Source #

Sum a list of numbers.

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

data Move x where Source #

Constructors

Move :: Move () 

handUp :: Eff (Move ': r) a -> Eff r a Source #

handDown :: Eff (Move ': r) a -> Eff r a Source #