Effectful.Zoo.Console.Static

Documentation

data Console (i :: Type) :: Effect

Instances

type DispatchOf (Console i)

Defined in Effectful.Zoo.Console.Static

type DispatchOf (Console i) = 'Static 'NoSideEffects

newtype StaticRep (Console i)

Defined in Effectful.Zoo.Console.Static

newtype StaticRep (Console i) = Console (Writer i)

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

runConsoleTextToHandle :: HasCallStack => Handle -> Eff (Console Text : r) a -> Eff r a

runConsoleTextToStdout :: HasCallStack => Eff (Console Text : r) a -> Eff r a

runConsoleTextToStderr :: HasCallStack => Eff (Console Text : r) a -> Eff r a

withConsole :: HasCallStack => (o -> i) -> Eff (Console o : r) a -> Eff (Console i : r) a

print :: HasCallStack => r <: Console i => r <: IOE => i -> Eff r ()

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