Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
monadIOExample :: IO () Source #
monadFailExample :: Either 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 #
effIOExample :: IO () Source #
awaitList :: e :> es => [a] -> IOE e -> (forall e1. Consume a e1 -> Eff (e1 :& es) ()) -> Eff es () Source #
takeRec :: e3 :> es => Int -> (forall e. Consume a e -> Eff (e :& es) ()) -> Consume a e3 -> Eff es () Source #
mapRec :: e :> es => (a -> b) -> (forall e1. Consume b e1 -> Eff (e1 :& es) ()) -> Consume a e -> Eff es () Source #
traverseRec :: e :> es => (a -> Eff es b) -> (forall e1. Consume b e1 -> Eff (e1 :& es) ()) -> Consume a e -> Eff es () Source #
awaitUsage :: (e1 :> es, e2 :> es) => IOE e1 -> (forall e. Consume () e -> Eff (e :& es) ()) -> Consume Int e2 -> Eff es () Source #
awaitExample :: IO () Source #
consumeStreamExample2 :: IO () Source #
zipCoroutinesExample :: IO () Source #
countPositivesNegatives :: [Int] -> String Source #
runMyHandle :: (forall e. MyHandle e -> Eff (e :& es) a) -> Eff es (Either String (a, Int)) Source #
countExample :: IO () Source #
incrementReadLine :: (e1 :> es, e2 :> es, e3 :> es) => State Int e1 -> Exception String e2 -> IOE e3 -> Eff es () Source #
runCounter4 :: e1 :> es => Stream String e1 -> (forall e. Counter4 e -> Eff (e :& es) r) -> Eff es Int Source #
exampleCounter4 :: ([String], Int) Source #
MkCounter5 | |
|
runCounter5 :: e1 :> es => Stream String e1 -> (forall e. Counter5 e -> Eff (e :& es) r) -> Eff es Int Source #
exampleCounter5 :: ([String], Int) Source #
MkCounter6 | |
|
runCounter6 :: e1 :> es => Stream String e1 -> (forall e. Counter6 e -> Eff (e :& es) r) -> Eff es Int Source #
exampleCounter6 :: ([String], Int) Source #
data FileSystem es Source #
MkFileSystem | |
|
runFileSystemPure :: e1 :> es => Exception String e1 -> [(FilePath, String)] -> (forall e2. FileSystem e2 -> Eff (e2 :& es) r) -> Eff es r Source #
runFileSystemIO :: forall e1 e2 es r. (e1 :> es, e2 :> es) => Exception String e1 -> IOE e2 -> (forall e. FileSystem e -> Eff (e :& es) r) -> Eff es r Source #
data Application e Source #
Instances
Handle Application Source # | |
Defined in Bluefin.Internal.Examples mapHandle :: forall (e :: Effects) (es :: Effects). e :> es => Application e -> Application es Source # |
pipesExample1 :: IO () Source #
pipesExample2 :: IO String Source #
promptCoroutine :: IO () Source #