Documentation

monadIOExample :: IO () Source #

monadFailExample :: Either String () Source #

throwExample :: Either Int String Source #

handleExample :: String Source #

exampleGet :: (Int, Int) Source #

examplePut :: ((), Int) Source #

exampleModify :: ((), Int) Source #

yieldExample :: ([Int], ()) Source #

forEachExample :: ([Int], ()) Source #

inFoldableExample :: ([Int], ()) Source #

enumerateExample :: ([(Int, String)], ()) Source #

returnEarlyExample :: String Source #

effIOExample :: IO () Source #

example1_ :: (Int, Int) Source #

example2_ :: ((Int, Int), (Int, Int)) Source #

example3_ :: IO () Source #

countPositivesNegatives :: [Int] -> String Source #

type MyHandle = Compound (State Int) (Exception String) Source #

myInc :: e :> es => MyHandle e -> Eff es () Source #

myBail :: e :> es => MyHandle e -> Eff es r Source #

runMyHandle :: (forall e. MyHandle e -> Eff (e :& es) a) -> Eff es (Either String (a, Int)) Source #

compoundExample :: Either String (a, Int) Source #

throwI Source #

modifyI Source #

getI Source #

countExample :: IO () Source #

writerExample1 :: Bool Source #

writerExample2 :: Bool Source #

while :: Eff es Bool -> Eff es a -> Eff es () Source #

stateSourceExample :: Int Source #

countExampleI :: IO () Source #

evalStateI Source #