10 lines
300 B
Text
10 lines
300 B
Text
λ(nix : ../NixPrelude.dhall) →
|
|
let warn = ./warn.dhall nix
|
|
|
|
let showWarnings
|
|
: List Text → ∀(a : Type) → a → a
|
|
= λ(warnings : List Text) →
|
|
λ(a : Type) →
|
|
List/fold Text warnings a (λ(text : Text) → λ(v : a) → warn text a v)
|
|
|
|
in showWarnings
|