/Prelude-v23.0.0/Text/default.dhall
Copy path to clipboardUnwrap an Optional
Text
value, defaulting None
to ""
Examples
default (Some "ABC") ≡ "ABC"
default (None Text) ≡ ""
Unwrap an Optional
Text
value, defaulting None
to ""
default (Some "ABC") ≡ "ABC"
default (None Text) ≡ ""