blob: a2a0ff01fe25231edfbeb5e0ddff61b2292dce8a (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
|
import * as io from "../src/io.js"
import * as fs from "fs"
const writeLine = str => io.DO(function* () {
const head = str[0]
const tail = str.slice(1)
yield io.write(head)
yield tail === "" ? io.write('\n') : writeLine(tail)
})
const readLine = io.bind(io.read)(ch =>
ch === '\r' ? io.unit("")
: io.bind(readLine)(line => io.unit(ch + line))
)
const nodeEffects = () => {
process.stdin.setRawMode(true)
const buffer = Buffer.alloc(1)
const fd = fs.openSync("/dev/tty", "rs")
return {
write: process.stdout.write.bind(process.stdout),
read: () => {
fs.readSync(fd, buffer, 0, 1)
return buffer.toString("utf8")
}
}
}
const Person = name => age => person => person(name)(age)
const constructPerson = io.DO(function* () {
yield writeLine("Please enter your name!")
const name = yield readLine
yield writeLine(`Hello ${name}! Now please enter your age.`)
const age = yield readLine
return Person(name)(age) // arbitrary data!
})
console.log(constructPerson(nodeEffects())(st => v => v(
name => age => `Person(name: ${name}, age: ${age})`
)));
|
