Bluefin.Internal.Examples

Documentation

monadIOExample :: IO ()

monadFailExample :: Either String ()

throwExample :: Either Int String

handleExample :: String

exampleGet :: (Int, Int)

examplePut :: ((), Int)

exampleModify :: ((), Int)

yieldExample :: ([Int], ())

withYieldToListExample :: Int

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

forEachExample :: ([Int], ())

inFoldableExample :: ([Int], ())

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

returnEarlyExample :: String

effIOExample :: IO ()

example1_ :: (Int, Int)

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

example3' :: Int -> Either String Int

example3_ :: IO ()

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

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

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

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

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

awaitExample :: IO ()

consumeStreamExample :: IO (Either String String)

consumeStreamExample2 :: IO ()

connectExample :: IO (Either String String)

zipCoroutinesExample :: 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)

newtype Counter1 e

Constructors

MkCounter1 (State Int e)

incCounter1 :: e :> es => Counter1 e -> Eff es ()

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

exampleCounter1 :: Int

data Counter2 e1 e2

Constructors

MkCounter2 (State Int e1) (Exception () e2)

incCounter2 :: (e1 :> es, e2 :> es) => Counter2 e1 e2 -> Eff es ()

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

exampleCounter2 :: Int

data Counter3 e

Constructors

MkCounter3 (State Int e) (Exception () e)

incCounter3 :: e :> es => Counter3 e -> Eff es ()

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

exampleCounter3 :: Int

data Counter4 e

Constructors

MkCounter4 (State Int e) (Exception () e) (Stream String e)

incCounter4 :: e :> es => Counter4 e -> Eff es ()

getCounter4 :: e :> es => Counter4 e -> String -> Eff es Int

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

exampleCounter4 :: ([String], Int)

data Counter5 e

Constructors

MkCounter5

Fields

• incCounter5Impl :: Eff e ()
• getCounter5Impl :: String -> Eff e Int

incCounter5 :: e :> es => Counter5 e -> Eff es ()

getCounter5 :: e :> es => Counter5 e -> String -> Eff es Int

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

exampleCounter5 :: ([String], Int)

data Counter6 e

Constructors

MkCounter6

Fields

• incCounter6Impl :: Eff e ()
• counter6State :: State Int e
• counter6Stream :: Stream String e

incCounter6 :: e :> es => Counter6 e -> Eff es ()

getCounter6 :: e :> es => Counter6 e -> String -> Eff es Int

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

exampleCounter6 :: ([String], Int)

data FileSystem es

Constructors

MkFileSystem

Fields

• readFileImpl :: FilePath -> Eff es String
• writeFileImpl :: FilePath -> String -> Eff es ()

readFile :: e :> es => FileSystem e -> FilePath -> Eff es String

writeFile :: e :> es => FileSystem e -> FilePath -> String -> Eff es ()

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

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

action :: e :> es => FileSystem e -> Eff es String

exampleRunFileSystemPure :: Either String String

exampleRunFileSystemIO :: IO (Either String String)

data Application e

Constructors

MkApplication

Fields

• queryDatabase :: String -> Int -> Eff e [String]
• applicationState :: State (Int, Bool) e
• logger :: Stream String e

Instances

Handle Application

Defined in Bluefin.Internal.Examples

Methods

mapHandle :: forall (e :: Effects) (es :: Effects). e :> es => Application e -> Application es

polymorphicBracket :: st :> es => State (Integer, Bool) st -> Eff es () -> Eff es ()

polymorphicBracketExample1 :: (Integer, Bool)

polymorphicBracketExample2 :: (Integer, Bool)

pipesExample1 :: IO ()

pipesExample2 :: IO String

promptCoroutine :: IO ()

rethrowIOExample :: IO ()