Effectful.Zoo.Console.Dynamic.Run

Documentation

data Console a :: Effect where

Constructors

Print :: a -> Console a m ()

Local :: (a -> a) -> m b -> Console a m b

Instances

type DispatchOf (Console a)

Defined in Effectful.Zoo.Console.Dynamic.Effect

type DispatchOf (Console a) = 'Dynamic

runConsole :: HasCallStack => r <: IOE => UnliftStrategy -> (HasCallStack => i -> Eff r ()) -> Eff (Console i : r) a -> Eff r a

runConsoleBrackedToConsole :: HasCallStack => r <: Console i => Eff r b -> Eff r c -> Eff (Console i : r) a -> Eff r a

runConsoleAtomic :: HasCallStack => r <: Concurrent => r <: Console i => Eff (Console i : r) a -> Eff r a