You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
18 lines
544 B
18 lines
544 B
# Exercises: The Quad |
|
# Exercise 1 |
|
`Either` is a sum type, so `eQuad` has `4 + 4 = 8` inhabitants. |
|
|
|
# Exercise 2 |
|
`(,)` is a product type, so `prodQuad` has `4 * 4 = 16` inhabitants. |
|
|
|
# Exercise 3 |
|
`(->)` is an exponential type, so `funcQuad` has `4 ^ 4 = 256` inhabitants. |
|
|
|
# Exercise 4 |
|
`(,,)` is a product type, so `prodTBool` has `2 * 2 * 2 = 8` inhabitants. |
|
|
|
# Exercise 5 |
|
`(->)` is an exponential type, so `gTwo` has `(2 ^ 2) ^ 2 = 16` inhabitants. |
|
|
|
# Exercise 6 |
|
`(->)` is an exponential type, so `fTwo` has `(4 ^ 4) ^ 2 = 65536` inhabitants. |