# Control flow exercises

A few completely optional exercises about control flow to try.

๐ Exercise: Rearrange pattern match cases

The following pattern match is in disarray. The ordering of the case statements doesn't allow some cases to be reached. Reorder the cases so that the evaluation of the pattern match produces the desired true result for the boolean expression.

use Universal
itDependsUpon : Optional Text -> Text
itDependsUpon = cases
_ -> "So much depends"
Some textValue -> "upon"
None -> "a red wheel barrow"
Some x | size x === 3 -> "glazed with rain"
optionalValue | Optional.contains "all" optionalValue -> "water"

(itDependsUpon None === "a red wheel barrow") &amp;&amp; (itDependsUpon (Some "spring") === "upon") &amp;&amp; (itDependsUpon (Some "and") === "glazed with rain") &amp;&amp; (itDependsUpon (Some "all") === "water")

itDependsUpon : Optional Text -> Text
itDependsUpon = cases
optionalValue  | Optional.contains "all" optionalValue -> "water"
Some x         | Text.size x === 3 -> "glazed with rain"
Some textValue -> "upon"
None           -> "a red wheel barrow"
_              -> "So much depends"
(itDependsUpon None === "a red wheel barrow")
&amp;&amp; (itDependsUpon (Some "spring") === "upon")
&amp;&amp; (itDependsUpon (Some "and") === "glazed with rain")
&amp;&amp; (itDependsUpon (Some "all") === "water")

Note, you could also have a working answer with the None case at the top of the match statement.

๐ Exercise: Practice using cases syntax

Rewrite the following function to use cases instead of match โฆ with:

authorMatcher : Text -> Optional Text
authorMatcher book = match book with
"Of Mice and Men" -> Some "John Steinbeck"
"To Kill a Mockingbird" -> Some "Harper Lee"
"The Tempest" -> Some "William Shakespeare"
_ -> None

The argument to the function can be inferred, remove the reference to it in the term definition and substitute cases for the match book with phrase.

authorMatcher : Text -> Optional Text
authorMatcher = cases
"Of Mice and Men" -> Some "John Steinbeck"
"To Kill a Mockingbird" -> Some "Harper Lee"
"The Tempest" -> Some "William Shakespeare"
_ -> None

Rewrite the following multi-argument function with the cases syntax.

use Nat
matchTwo : Nat -> Nat -> Text
matchTwo n1 n2 = match (n1,n2) with
(a, b) | a < 3 -> "small number first"
(a, b) | b < 3 -> "small number second"
_ -> "big number"

matchTwo 5 2
matchTwo : Nat -> Nat -> Text
matchTwo : Nat -> Nat -> Text
matchTwo = cases
a, b
| a Nat.< 3 -> "small number first"
| b Nat.< 3 -> "small number second"
_, _ -> "big number"

๐ Exercise: Rewrite an if/else expression as a pattern match

This if / else expression can also be written as a case statement. Translate it so that it uses a match expression.

ex4.myText : Text -> Text
ex4.myText : Text -> Text
ex4.myText word =
use Nat >
use Text size
if word === "Testing123" then "I'm a test"
else
if size word > 8 then Text.repeat (size word) "!"
else
if (size word > 5) && (Text.take 1 word === "A") then
"Starts with A"
else
if size word > 5 then "Long word"
else if word === Text.reverse word then "Mirror" else "Other"

The following are a few test cases which should pass for your match statement version of the function.

ex4.test1 : [test.Result]
ex4.test1 : [test.Result]
ex4.test1 =
lib.base.test.check (ex4.myText "Testing123" === "I'm a test")
ex4.test2 : [test.Result]
ex4.test2 : [test.Result]
ex4.test2 =
lib.base.test.check (ex4.myText "aaaaahh!" === "Starts with A")
ex4.test3 : [test.Result]
ex4.test3 : [test.Result]
ex4.test3 =
lib.base.test.check (ex4.myText "Boooooooooo" === "!!!!!!!!!!!")
test4 : [test.Result]
test4 : [test.Result]
test4 = lib.base.test.check (ex4.myText "hannah" === "Long word")
test5 : [test.Result]
test5 : [test.Result]
test5 = lib.base.test.check (ex4.myText "wow" === "Mirror")
test6 : [test.Result]
test6 : [test.Result]
test6 = lib.base.test.check (ex4.myText "Nope" === "Other")

answer.myText : Text -> Text
answer.myText : Text -> Text
_ -> "Other"