add comment about top-level pattern matching

quanterall · May 31, 2021 · c61489f · c61489f
1 parent d43e4b5
commit c61489f
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/basics/01-values-and-functions.md b/basics/01-values-and-functions.md
@@ -424,6 +424,9 @@ data DivisionResult
   | DivisionByZero
   deriving (Show)
 
+-- Note that we are using something called "top-level pattern matching" here: We have two clauses
+-- for our `safeDivide` function; one if the divisor is the number `0` where we will always return
+-- `DivisionByZero` and one case for all other divisors where we do the actual calculation.
 safeDivide :: Int -> Int -> DivisionResult
 safeDivide _x 0 = DivisionByZero
 safeDivide x divisor =