ttyout (library)
Usage and interface
- Library usage:
:- use_module(library(ttyout)). - Exports:
- Predicates:
ttyget/1, ttyget1/1, ttynl/0, ttyput/1, ttyskip/1, ttytab/1, ttyflush/0, ttydisplay/1, ttydisplayq/1, ttyskipeol/0, ttydisplay_string/1.
- Predicates:
- Imports:
- Packages:
prelude, nonpure, condcomp, assertions.
- Packages:
Documentation on exports
PREDICATE
Usage:ttyget(X)
- The following properties should hold upon exit:
(basic_props:int/1)X is an integer. - The following properties should hold globally:
(basic_props:native/1)This predicate is understood natively by CiaoPP.
PREDICATE
True:
- The following properties hold globally:
(basic_props:native/1)This predicate is understood natively by CiaoPP.
PREDICATE
Usage:ttyput(X)
- The following properties should hold at call time:
(basic_props:int/1)X is an integer. - The following properties should hold globally:
(basic_props:native/1)This predicate is understood natively by CiaoPP.
PREDICATE
True:
- The following properties hold globally:
(basic_props:native/1)This predicate is understood natively by CiaoPP.
