28 lines
799 B
Haskell
28 lines
799 B
Haskell
let Prelude =
|
|
{- this will have to get bumped when prelude is updated -}
|
|
./prelude.dhall
|
|
sha256:a6036bc38d883450598d1de7c98ead113196fe2db02e9733855668b18096f07b
|
|
|
|
let Schema =
|
|
./schema.dhall
|
|
sha256:2e7490953649881f93eec24109ef7a93738ab8fab8ccf40c33260af7faf413a5
|
|
? ./schema.dhall
|
|
|
|
let Schema/validate
|
|
: Schema.Type -> Type
|
|
=
|
|
-- | define validation.
|
|
\(c : Schema.Type) ->
|
|
let expected = { validPort = True }
|
|
|
|
let actual =
|
|
{ validPort =
|
|
-- | make sure port number belongs to the <1;65535> range.
|
|
Prelude.Natural.lessThanEqual 1 c.Port
|
|
&& Prelude.Natural.lessThanEqual c.Port 65535
|
|
}
|
|
|
|
in expected === actual
|
|
|
|
in Schema/validate
|