Idris2Doc : Stellar.REPL

Stellar.REPL

(source)
Reexports
import public Stellar.API
import public Stellar.API.Morphism
Definitions
REPL : API
  Totality: total
  Visibility: public export
repl : HasIO io => (String -> io String) -> io Void
  Visibility: export
repl' : HasIO io => Costate (Lift io REPL) -> io Void
  Visibility: export
pureRepl : HasIO io => Costate REPL -> io Void
  Visibility: export