src/Console.bend

mylsm-lsm-store@0.5.0.0 · 14 lines · 0 definitions

1import Base
2
3# Audited console and environment effects. C and JS twins share semantics and
4# return empty strings for EOF and missing environment variables respectively.
5
6# Read line for the console input and output.
7def read_line() -> IO(Result<&1, &1, U32 & String, String>):
8  import "./effs/read_line.c"
9  import "./effs/read_line.js"
10
11# Return env for the console input and output.
12def get_env(name: String) -> IO(Result<&1, &1, U32 & String, String>):
13  import "./effs/get_env.c"
14  import "./effs/get_env.js"