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) "