Externalize error messages

This commit is contained in:
Eike Kettner
2021-04-17 11:14:29 +02:00
parent c9b54e80b7
commit b2cffb22ef
65 changed files with 1518 additions and 683 deletions

View File

@ -5,9 +5,12 @@ module Data.Validated exposing
, map2
, map3
, map4
, toResult
, value
)
-- TODO Remove this, use Result
type Validated a
= Valid a
@ -15,6 +18,19 @@ type Validated a
| Unknown a
toResult : Validated a -> Result String a
toResult va =
case va of
Valid a ->
Ok a
Invalid errs _ ->
Err (String.join ", " errs)
Unknown a ->
Ok a
isInvalid : Validated a -> Bool
isInvalid v =
case v of