Algebraic data types: Difference between revisions
Content added Content deleted
(Added Tailspin solution) |
|||
| Line 2,062: | Line 2,062: | ||
value: $.left.value, |
value: $.left.value, |
||
right: { $..., left: $.left.right }} ! |
right: { $..., left: $.left.right }} ! |
||
when <{colour: <='black'>, |
when <{colour: <='black'>, left: <{ colour: <='red'> right: <{colour: <='red'>}>}>}> |
||
left: <{ colour: <='red'> right: <{colour: <='red'>}>}>}> |
|||
do { colour: 'red', |
do { colour: 'red', |
||
left: { $.left..., colour: 'black', right: $.left.right.left}, |
left: { $.left..., colour: 'black', right: $.left.right.left}, |
||