Matching Contracts and Examples

Match each Example on the left with its Contract on the right. NOTE: Multiple examples may match to the same contract!

Contract Examples

Contract			Examples
`examples: match(circle(10, "solid", "green")) is rotate(37, circle(10, "solid", "green")) end`	1	A	`# match :: Number, Image ‑> Image`
`examples: match(triangle(20, "solid", "blue"), 3) is scale(3, triangle(20, "solid", "blue")) end`	2
`examples: match(circle(20, "outline", "gold")) is rotate(37, circle(20, "outline", "gold")) end`	3	B	`# match :: Image, Number ‑> Image`
`examples: match(30, "red") is 30 + string-length("red") end`	4
`examples: match(circle(10, "solid", "orange"), 22) is scale(22, circle(10, "solid", "orange")) end`	5
`examples: match(10, "blue") is 10 + string-length("blue") end`	6	C	`# match :: Image ‑> Image`
`examples: match(5, star(20, "solid", "red")) is rotate(90 - 5, star(20, "solid", "red")) end`	7
`examples: match(num-abs(-4), "45") is 4 end`	8	D	`# match :: Number, String ‑> Number`

examples: match(circle(10, "solid", "green")) is rotate(37, circle(10, "solid", "green")) end

# match :: Number, Image ‑> Image

examples: match(triangle(20, "solid", "blue"), 3) is scale(3, triangle(20, "solid", "blue")) end

examples: match(circle(20, "outline", "gold")) is rotate(37, circle(20, "outline", "gold")) end

# match :: Image, Number ‑> Image

examples: match(30, "red") is 30 + string-length("red") end

examples: match(circle(10, "solid", "orange"), 22) is scale(22, circle(10, "solid", "orange")) end

examples: match(10, "blue") is 10 + string-length("blue") end

# match :: Image ‑> Image

examples: match(5, star(20, "solid", "red")) is rotate(90 - 5, star(20, "solid", "red")) end

examples: match(num-abs(-4), "45") is 4 end

# match :: Number, String ‑> Number

These materials were developed partly through support of the National Science Foundation, (awards 1042210, 1535276, 1648684, and 1738598). Bootstrap by the Bootstrap Community is licensed under a Creative Commons 4.0 Unported License. This license does not grant permission to run training or professional development. Offering training or professional development with materials substantially derived from Bootstrap must be approved in writing by a Bootstrap Director. Permissions beyond the scope of this license, such as to run training, may be available by contacting contact@BootstrapWorld.org.