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:c46a2374d9fe7dcbac47491efdffd5ad7972b8941bf3fe3c8bb3c573acbb44c2
|
|
? ./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
|