Karya, built on Mon Jul 24 11:39:07 PDT 2017 (patch 33511aca01257b76b88de7c7a2763b7a965c084e)

Derive.Call.Prelude.Equal

Description

Export c_equal call, which implements =.

The equal call is heavily overloaded because I want to reuse the nice infix syntax. Unfortunately it results in lots of cryptic prefixes. Is it worth it?

Synopsis

# Documentation

Parse an expression containing only equal calls and turn it into a transformer. Eval.eval_transform_expr is more general, but only transforms Streams, because most transforms work with a stream. So by having a more restrictive input, this can have a more general output: contravariance I guess?