/Prelude-v23.0.0/List/empty.dhall

Copy path to clipboard

An empty list of the given type

Examples

empty Bool ≡ ([] : List Bool)

Source

--| An empty list of the given type
let empty
: ∀(a : Type) → List a
= λ(a : Type) → [] : List a

let example0 = assert : empty Bool ≡ ([] : List Bool)

in empty