0 | module System.Term
 1 |
 2 | %default total
 3 |
 4 | libterm : String -> String
 5 | libterm s = "C:" ++ s ++ ", libidris2_support, idris_term.h"
 6 |
 7 | %foreign libterm "idris2_setupTerm"
 8 |          "node:lambda:()=>undefined"
 9 | prim__setupTerm : PrimIO ()
10 |
11 | %foreign libterm "idris2_getTermCols"
12 |          "node:lambda:()=>process.stdout.columns"
13 | prim__getTermCols : PrimIO Int
14 |
15 | %foreign libterm "idris2_getTermLines"
16 |          "node:lambda:()=>process.stdout.rows"
17 | prim__getTermLines : PrimIO Int
18 |
19 | export
20 | setupTerm : IO ()
21 | setupTerm = primIO prim__setupTerm
22 |
23 | export
24 | getTermCols : IO Int
25 | getTermCols = primIO prim__getTermCols
26 |
27 | export
28 | getTermLines : IO Int
29 | getTermLines = primIO prim__getTermLines
30 |