PatternMetonyms (pattern_metonyms v0.1.0) View Source

Documentation for PatternMetonyms.

Link to this section Summary

Functions

implicit bidirectional target : pattern just2(a, b) = just({a, b}) currently work as is for that kind of complexity

Link to this section Functions

implicit bidirectional target : pattern just2(a, b) = just({a, b}) currently work as is for that kind of complexity

unidirectional target : pattern head(x) <- [x | ] but doesn't work as is "pattern(head(x) <- [x | ])"

explicit bidirectional target : pattern polar(r, a) <- (pointPolar -> {r, a}) when polar(r, a) = polarPoint(r, a) but doesn't work as is "pattern (polar(r, a) <- (pointPolar -> {r, a})) when polar(r, a) = polarPoint(r, a) "

Link to this macro

view(data, list)

View Source (macro)
Link to this function

view_folder(arg, acc, data, caller_env)

View Source