Idris2Doc : Qutescript

Qutescript

(source)
Reexports
import public Control.RIO
import public Control.RIO.File
import public Qutescript.Command
import public Qutescript.Request
Definitions
cmd : Has FileErr ts => Request => Command -> App ts ()
  Visibility: export
cmds : Has FileErr ts => Request => List Command -> App ts ()
  Visibility: export