HelVM.HelMA.Automaton.IO.FreeIO
interpretFreeIOToBusinessIO :: BusinessIO m => FreeIO a -> m a #
logInput :: FreeIO ~> FreeIO #
logOutput :: FreeIO ~> FreeIO #
type FreeIO = Free FreeIOF #
Types