• Home
• io.github.mmhelloworld
• idris-jvm-compiler
• 0.7.1-rc.1
• source code
• Term.idr

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

base.System.Term.idr Maven / Gradle / Ivy

module System.Term

%default total

libterm : String -> String
libterm s = "C:" ++ s ++ ", libidris2_support, idris_term.h"

%foreign libterm "idris2_setupTerm"
         "jvm:setup,io/github/mmhelloworld/idrisjvm/runtime/Terminal"
prim__setupTerm : PrimIO ()

%foreign libterm "idris2_getTermCols"
         "jvm:getColumns,io/github/mmhelloworld/idrisjvm/runtime/Terminal"
prim__getTermCols : PrimIO Int

%foreign libterm "idris2_getTermLines"
         "jvm:getRows,io/github/mmhelloworld/idrisjvm/runtime/Terminal"
prim__getTermLines : PrimIO Int

export
setupTerm : IO ()
setupTerm = primIO prim__setupTerm

export
getTermCols : IO Int
getTermCols = primIO prim__getTermCols

export
getTermLines : IO Int
getTermLines = primIO prim__getTermLines