Idris2Doc : System.Term

System.Term

(source)
Definitions
setupTerm : IO ()
  Totality: total
  Visibility: export
getTermCols : IO Int
  Get the number of columns in the terminal associated
  with stdout. If stdout is not a TTY terminal or for
  some other reason the width fails to be read you will
  get 0.

  Totality: total
  Visibility: export
getTermLines : IO Int
  Get the number of rows in the terminal associated
  with stdout. If stdout is not a TTY terminal or for
  some other reason the height fails to be read you
  will get 0.

  Totality: total
  Visibility: export