The Relision Term Rewriting Library https://relision.stacyprowell.com/ 2026-05-09T19:35:27+00:00 https://relision.stacyprowell.com/ https://relision.stacyprowell.com/lib/exe/fetch.php?media=wiki:logo.png text/html 2019-01-08T13:09:18+00:00 Anonymous (anonymous@undisclosed.example.com) https://relision.stacyprowell.com/doku.php?id=lib:decoder&rev=1546952958&do=diff Reading Character by Character You can use the relision::decoder module to iterate through a stream character by character. The decoder is based on the Encoding Standard and handles UTF-8 and UTF-16 little- and big-endian. Using this is pretty simple. use relision::decoder; fn main() { // Copy the standard in to the standard out, one character at a time. let mut source = std::io::stdin(); let decode = decoder::Decode::with_capacity(&mut source, 16); for ch in decode { … text/html 2020-11-09T00:32:38+00:00 Anonymous (anonymous@undisclosed.example.com) https://relision.stacyprowell.com/doku.php?id=lib:logging&rev=1604881958&do=diff Logging The Relision library supports logging using the log crate, configured via environment variables using the env_logger crate. Enabling Logging Logging is enabled using the RELISION_LOG environment variable. You may specify a logging level for the entire library as follows: text/html 2019-01-08T14:42:16+00:00 Anonymous (anonymous@undisclosed.example.com) https://relision.stacyprowell.com/doku.php?id=lib:parser&rev=1546958536&do=diff Building Parsers The relision::parser module provides very, very, very simple parser primitives for building recursive descent parsers. The module provides three key structs and one specialized type. * ParseError encapsulates a parse error * Loc text/html 2020-11-16T04:14:24+00:00 Anonymous (anonymous@undisclosed.example.com) https://relision.stacyprowell.com/doku.php?id=lib:repl&rev=1605500064&do=diff Using the REPL The Relision library provides a generic read, evaluate, print loop (a REPL) that is available through the `relision::repl::Repl` struct. This provides the following services. * Loading and saving of command history * Reading lines from the prompt with history