/Prelude-v20.0.0/Function/identity.dhall
Copy path to clipboardThe identity function simply returns its input
Examples
identity Natural 1 ≡ 1
identity Bool ≡ (λ(x : Bool) → x)
The identity function simply returns its input
identity Natural 1 ≡ 1
identity Bool ≡ (λ(x : Bool) → x)