Module write 

This module implements the serialisation of derivations into the ATerm format used by C++ Nix.

Structs

ShadowIter 🔒

Iterator for the shadow function.

Constants

BRACKET_CLOSE

BRACKET_OPEN

COMMA

DERIVATION_PREFIX

PAREN_CLOSE

PAREN_OPEN

QUOTE

Traits

AtermWriteable 🔒

Something that can be written as ATerm.

Functions

shadow 🔒

Returns an iterator combining two other iterators (sorted by K).

write_arguments 🔒

write_array_elements 🔒

write_builder 🔒

write_char 🔒

Writes a character to the writer.

write_environment 🔒

write_field 🔒

Write a string s as a quoted field to the writer. The escape argument controls whether escaping will be skipped. This is the case if s is known to only contain characters that need no escaping.

write_input_derivations 🔒

write_input_sources 🔒

write_system 🔒