Karya, built on 2023-08-29T07:47:28 (patch 7a412d5d6ba4968ca4155ef276a062ccdeb9109a)
Safe HaskellSafe-Inferred

Derive.C.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

transform_expr :: Text -> Deriver a -> Deriver a Source #

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?