Idris2Doc : Control.Cont.IO

Control.Cont.IO

(source)
Definitions
data HIO : (Type -> Type) -> Type -> Type
  Totality: total
  Visibility: public export
  Constructor: 
MkHIO : IO t -> (t -> m a) -> HIO m a

  Hints:
  
HFunctor HIO
  
Syntax HIO
runIO : Free HIO a -> IO a
  Visibility: public export
io : Syntax sig => Inj HIO sig => IO a -> Free sig a
  Visibility: public export