dhall-1.24.0: dhall-lang/Prelude/List/build

{-
`build` is the inverse of `fold`

Examples:

```
./build
Text
(   λ(list : Type)
→   λ(cons : Text → list → list)
→   λ(nil : list)
→   cons "ABC" (cons "DEF" nil)
)
= [ "ABC", "DEF" ]

./build
Text
(   λ(list : Type)
→   λ(cons : Text → list → list)
→   λ(nil : list)
→   nil
)
= [] : List Text
```
-}
let build
    :   ∀(a : Type)
      → (∀(list : Type) → ∀(cons : a → list → list) → ∀(nil : list) → list)
      → List a
    = List/build

in  build