Algebraic data types: Difference between revisions
m
→{{header|Tailspin}}: Add type bound for equality comparison
(→{{header|TXR}}: New section.) |
m (→{{header|Tailspin}}: Add type bound for equality comparison) |
||
Line 2,382:
end balance
templates ins&{into:}
when <?($into <´node´ ={}>)> do { colour: 'red', left: {}, value: $, right: {}} !
when <..$into.value::raw> do { $into..., left: $ -> ins&{into: $into.left}} -> balance !
otherwise { $into..., right: $ -> ins&{into: $into.right}} -> balance !
|