src/Console.bend

mylsm-lsm-store@0.3.2.0 · 12 lines · 2 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
6def read_line() -> IO(Result<&1, &1, U32 & String, String>):
7  import "./effs/read_line.c"
8  import "./effs/read_line.js"
9
10def get_env(name: String) -> IO(Result<&1, &1, U32 & String, String>):
11  import "./effs/get_env.c"
12  import "./effs/get_env.js"