more-extensible-effects-0.1.0.0: Initial project template from stack

Safe HaskellNone
LanguageHaskell2010

Control.Monad.Eff.Examples

Synopsis

Documentation

type Bindings = [(String, Int)] Source #

(>>>) :: Monad m => (t -> m a) -> (a -> m b) -> t -> m b Source #

testIfte :: Member NdetEff r => Eff r Int Source #

primes (very inefficiently -- but a good example of ifte)

tl1 :: (Member (Reader Int) r, MemberU2 Lift (Lift IO) r) => Eff r () Source #

mapMdebug' :: (Show a, MemberU2 Lift (Lift IO) r) => (a -> Eff r b) -> [a] -> Eff r [b] Source #

add :: Monad m => m Int -> m Int -> m Int Source #

newtype TooBig Source #

Constructors

TooBig Int 

Instances

mapMdebug :: (Show a, Member Trace r) => (a -> Eff r b) -> [a] -> Eff r [b] Source #