/ test-package / deep / nested / folder / my-even.dhall
Copy path to clipboardExamples
my-even 1 ≡ < even | odd >.odd
my-even 2 ≡ < even | odd >.even
Source
{-
Check if a natural is even or not returning an union data-type
-}
let my-even
: Natural → < even | odd >
= λ(n : Natural) →
if Natural/even n then < even | odd>.even else < even | odd >.odd
let example0 = assert : my-even 1 === <even | odd>.odd
let example0 = assert : my-even 2 === <even | odd>.even
in my-even