[ Reference Manual | Alphabetic Index ]

library(fromonto)

Redirect input and output streams in a convenient way

Predicates

+Goal from_file ++File
Redirect Goal's standard input stream to File
+Goal from_stream ++Stream
Redirect Goal's standard input stream to Stream
+Goal from_string ++String
Redirect Goal's standard input stream to String
+Goal onto_file ++File
Redirect Goal's standard output stream to File
+Goal onto_stream ++Stream
Redirect Goal's standard output stream to Stream
+Goal onto_string ?String
Redirect Goal's standard output stream to String

Other Exports

export op(800, yfx, [from_string, onto_string, from_stream, onto_stream, from_file, onto_file])

Examples

    [eclipse 1]: write(hello) onto_file scratch.
    yes.
    [eclipse 2]: read(X) from_file scratch.
    X = hello
    yes.
    [eclipse 3]: read(X) from_string "s(a,2,[3])".
    X = s(a, 2, [3])
    yes.
    [eclipse 4]: (write(hello), put(0' ), write(world)) onto_string S.
    S = "hello world"
    yes.
    

About


Generated from fromonto.eci on 2022-09-03 14:26