Haskell Pattern Matching

The ability for the compiler to check the implementation of a function by checking against its arguments. Functions are checked from top to bottom.

zeroToOne 0 = 1
zeroToOne x = x