【文件属性】：
文件名称：idris-ide-client:用于Idris IDE模式的TypeScript客户端
文件大小：80KB
文件格式：ZIP
更新时间：2021-05-22 10:59:35
TypeScript
idris-ide-client
用于与Idris IDE进程进行通信的TypeScript库。
用法
import { IdrisClient } from "idris-ide-client"
// Create an Idris process
const idrisProc = spawn ( "idris" , [ "--ide-mode" ] )
// Instantiate the client
const client = new IdrisClient ( idrisProc . stdin , idrisProc . stdout )
// Load a file
await client . loadFile ( "test/resources/test.idr" )
// Make a request
const reply = await client . t
【文件预览】：
idris-ide-client-main
----package.json(1KB)
----.eslintrc.json(371B)
----.github()
--------workflows()
----test()
--------client()
--------resources()
--------parser()
----.prettierrc(61B)
----LICENSE(1KB)
----package-lock.json(76KB)
----src()
--------s-exps.ts(6KB)
--------request.ts(6KB)
--------index.ts(253B)
--------client.ts(17KB)
--------reply.ts(6KB)
--------parser()
----tsconfig.json(520B)
----examples()
--------socket.ts(1KB)
--------stdio.ts(558B)
----.gitignore(42B)
----nix()
--------nixpkgs-unstable.nix(265B)
--------sources.json(2KB)
--------idris1and2.nix(200B)
--------nixpkgs.nix(264B)
--------sources.nix(7KB)
----CHANGELOG.md(1KB)
----README.md(2KB)