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 #

withYieldToListExample :: Int Source #

doubleNestedForEach :: forall (es :: Effects). (forall (e :: Effects). Stream () e -> Eff (e :& es) ()) -> Eff es () Source #

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

ignoreStreamExample :: 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' :: Int -> Either String Int Source #

example3_ :: IO () Source #

awaitList :: forall (e :: Effects) (es :: Effects) a. e :> es => [a] -> IOE e -> (forall (e1 :: Effects). Consume a e1 -> Eff (e1 :& es) ()) -> Eff es () Source #

takeRec :: forall (e3 :: Effects) (es :: Effects) a. e3 :> es => Int -> (forall (e :: Effects). Consume a e -> Eff (e :& es) ()) -> Consume a e3 -> Eff es () Source #

mapRec :: forall (e :: Effects) (es :: Effects) a b. e :> es => (a -> b) -> (forall (e1 :: Effects). Consume b e1 -> Eff (e1 :& es) ()) -> Consume a e -> Eff es () Source #

traverseRec :: forall (e :: Effects) (es :: Effects) a b. e :> es => (a -> Eff es b) -> (forall (e1 :: Effects). Consume b e1 -> Eff (e1 :& es) ()) -> Consume a e -> Eff es () Source #

awaitUsage :: forall (e1 :: Effects) (es :: Effects) (e2 :: Effects). (e1 :> es, e2 :> es) => IOE e1 -> (forall (e :: Effects). Consume () e -> Eff (e :& es) ()) -> Consume Int e2 -> Eff es () Source #

awaitExample :: IO () Source #

consumeStreamExample :: IO (Either String String) Source #

consumeStreamExample2 :: IO () Source #

connectExample :: IO (Either String String) Source #

zipCoroutinesExample :: IO () Source #

countPositivesNegatives :: [Int] -> String Source #

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

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

myBail :: forall (e :: Effects) (es :: Effects) r. e :> es => MyHandle e -> Eff es r Source #

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

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

countExample :: IO () Source #

writerExample1 :: Bool Source #

writerExample2 :: Bool Source #

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

stateSourceExample :: Int Source #

incrementReadLine :: forall (e1 :: Effects) (es :: Effects) (e2 :: Effects) (e3 :: Effects). (e1 :> es, e2 :> es, e3 :> es) => State Int e1 -> Exception String e2 -> IOE e3 -> Eff es () Source #

runIncrementReadLine :: IO (Either String Int) Source #

newtype Counter1 (e :: Effects) Source #

incCounter1 :: forall (e :: Effects) (es :: Effects). e :> es => Counter1 e -> Eff es () Source #

runCounter1 :: forall (es :: Effects) r. (forall (e :: Effects). Counter1 e -> Eff (e :& es) r) -> Eff es Int Source #

exampleCounter1 :: Int Source #

data Counter2 (e1 :: Effects) (e2 :: Effects) Source #

incCounter2 :: forall (e1 :: Effects) (es :: Effects) (e2 :: Effects). (e1 :> es, e2 :> es) => Counter2 e1 e2 -> Eff es () Source #

runCounter2 :: forall (es :: Effects) r. (forall (e1 :: Effects) (e2 :: Effects). Counter2 e1 e2 -> Eff (e2 :& (e1 :& es)) r) -> Eff es Int Source #

exampleCounter2 :: Int Source #

data Counter3 (e :: Effects) Source #

incCounter3 :: forall (e :: Effects) (es :: Effects). e :> es => Counter3 e -> Eff es () Source #

runCounter3 :: forall (es :: Effects) r. (forall (e :: Effects). Counter3 e -> Eff (e :& es) r) -> Eff es Int Source #

exampleCounter3 :: Int Source #

newtype Counter3B (e :: Effects) Source #

incCounter3B :: forall (e :: Effects) (es :: Effects). e :> es => Counter3B e -> Eff es () Source #

runCounter3B :: forall (e1 :: Effects) (es :: Effects) r. e1 :> es => IOE e1 -> (forall (e :: Effects). Counter3B e -> Eff (e :& es) r) -> Eff es r Source #

exampleCounter3B :: IO () Source #

data Counter4 (e :: Effects) Source #

incCounter4 :: forall (e :: Effects) (es :: Effects). e :> es => Counter4 e -> Eff es () Source #

getCounter4 :: forall (e :: Effects) (es :: Effects). e :> es => Counter4 e -> String -> Eff es Int Source #

runCounter4 :: forall (e1 :: Effects) (es :: Effects) r. e1 :> es => Stream String e1 -> (forall (e :: Effects). Counter4 e -> Eff (e :& es) r) -> Eff es Int Source #

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

data Counter5 (e :: Effects) Source #

incCounter5 :: forall (e :: Effects) (es :: Effects). e :> es => Counter5 e -> Eff es () Source #

getCounter5 :: forall (e :: Effects) (es :: Effects). e :> es => Counter5 e -> String -> Eff es Int Source #

runCounter5 :: forall (e1 :: Effects) (es :: Effects) r. e1 :> es => Stream String e1 -> (forall (e :: Effects). Counter5 e -> Eff (e :& es) r) -> Eff es Int Source #

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

data Counter6 (e :: Effects) Source #

incCounter6 :: forall (e :: Effects) (es :: Effects). e :> es => Counter6 e -> Eff es () Source #

getCounter6 :: forall (e :: Effects) (es :: Effects). e :> es => Counter6 e -> String -> Eff es Int Source #

runCounter6 :: forall (e1 :: Effects) (es :: Effects) r. e1 :> es => Stream String e1 -> (forall (e :: Effects). Counter6 e -> Eff (e :& es) r) -> Eff es Int Source #

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

data Counter7 (e :: Effects) Source #

incCounter7 :: forall (e :: Effects) (es :: Effects) (e1 :: Effects). (e :> es, e1 :> es) => Counter7 e -> Exception () e1 -> Eff es () Source #

getCounter7 :: forall (e :: Effects) (es :: Effects). e :> es => Counter7 e -> String -> Eff es Int Source #

runCounter7 :: forall (e1 :: Effects) (es :: Effects) r. e1 :> es => Stream String e1 -> (forall (e :: Effects). Counter7 e -> Eff (e :& es) r) -> Eff es Int Source #

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

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

data FileSystem (es :: Effects) Source #

readFile :: forall (e :: Effects) (es :: Effects). e :> es => FileSystem e -> FilePath -> Eff es String Source #

writeFile :: forall (e :: Effects) (es :: Effects). e :> es => FileSystem e -> FilePath -> String -> Eff es () Source #

runFileSystemPure :: forall (e1 :: Effects) (es :: Effects) r. e1 :> es => Exception String e1 -> [(FilePath, String)] -> (forall (e2 :: Effects). FileSystem e2 -> Eff (e2 :& es) r) -> Eff es r Source #

runFileSystemIO :: forall (e1 :: Effects) (e2 :: Effects) (es :: Effects) r. (e1 :> es, e2 :> es) => Exception String e1 -> IOE e2 -> (forall (e :: Effects). FileSystem e -> Eff (e :& es) r) -> Eff es r Source #

action :: forall (e :: Effects) (es :: Effects). e :> es => FileSystem e -> Eff es String Source #

exampleRunFileSystemPure :: Either String String Source #

exampleRunFileSystemIO :: IO (Either String String) Source #

data Application (e :: Effects) Source #

polymorphicBracket :: forall (st :: Effects) (es :: Effects). st :> es => State (Integer, Bool) st -> Eff es () -> Eff es () Source #

polymorphicBracketExample1 :: (Integer, Bool) Source #

polymorphicBracketExample2 :: (Integer, Bool) Source #

pipesExample1 :: IO () Source #

pipesExample2 :: IO String Source #

promptCoroutine :: IO () Source #

rethrowIOExample :: IO () Source #

data DynamicReader r (e :: Effects) Source #

askLR :: forall (e :: Effects) (es :: Effects) r. e :> es => DynamicReader r e -> Eff es r Source #

localLR :: forall (e :: Effects) (es :: Effects) r a. e :> es => DynamicReader r e -> (r -> r) -> Eff es a -> Eff es a Source #

runDynamicReader :: forall r (es :: Effects) a. r -> (forall (e :: Effects). DynamicReader r e -> Eff (e :& es) a) -> Eff es a Source #