pcmt-config-schema/validate.dhall

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