purescript-0.6.1: examples/passing/Guards.purs

module Main where

  import Prelude

  collatz = \x -> case x of
    y | y % 2 == 0 -> y / 2
    y -> y * 3 + 1

  -- Guards have access to current scope
  collatz2 = \x y -> case x of
    z | y > 0 -> z / 2
    z -> z * 3 + 1

  min :: forall a. (Ord a) => a -> a -> a
  min n m | n < m     = n
          | otherwise = m

  max :: forall a. (Ord a) => a -> a -> a
  max n m = case unit of
    _ | m < n     -> n
      | otherwise -> m

  main = Debug.Trace.trace $ min "Done" "ZZZZ"