Bluefin.Internal.Examples

Documentation

monadIOExample :: IO ()

monadFailExample :: Either String ()

throwExample :: Either Int String

handleExample :: String

exampleGet :: (Int, Int)

examplePut :: ((), Int)

exampleModify :: ((), Int)

yieldExample :: ([Int], ())

forEachExample :: ([Int], ())

inFoldableExample :: ([Int], ())

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

returnEarlyExample :: String

effIOExample :: IO ()

example1_ :: (Int, Int)

example2_ :: ((Int, Int), (Int, Int))

example3_ :: IO ()

countPositivesNegatives :: [Int] -> String

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

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

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

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

compoundExample :: Either String (a, Int)

countExample :: IO ()

writerExample1 :: Bool

writerExample2 :: Bool

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

stateSourceExample :: Int

incrementReadLine :: (e1 :> es, e2 :> es, e3 :> es) => State Int e1 -> Exception String e2 -> IOE e3 -> Eff es ()

runIncrementReadLine :: IO (Either String Int)