Module blc::encoding::binary
[−]
[src]
Binary encoding for lambda Term
s
Enums
Error |
An error that can occur if the input stream of "bits" is not valid binary lambda calculus. |
Functions
compress |
Convert a stream of "bits" into bytes. It is not always reversible with |
decompress |
Convert bytes into "bits" suitable for binary lambda calculus purposes. |
from_bits |
Parse a blc-encoded lambda |
to_bits |
Represent a lambda |