Safe Haskell | Safe-Inferred |
---|
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
- library :: Library.Library
- c_equal :: CallableExpr d => Transformer d
- transform_expr :: Text -> Deriver a -> Deriver a
Documentation
c_equal :: CallableExpr d => Transformer d Source #
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?