ConstraintModule

let retryCount = Constraint.between 0 10
 3 |> Constraint.satisfies retryCount // true

let retryCount = Constraint.between 0 10
 42 |> Constraint.check retryCount |> Result.mapError Violation.render

let requiredName : Constraint<string> = Constraint.present
 "Alice" |> Constraint.guard requiredName |> Result.mapError Violation.render

let requiredName : Constraint<string> = Constraint.present
 (Constraint.inspect requiredName).Expression

let requiredName : Constraint<string> =
     Constraint.all [ Constraint.present; Constraint.lengthBetween 2 40 ]

let ttl : Constraint<int> =
     Constraint.any (Constraint.equalTo -1) [ Constraint.atLeast 1 ]

Constraint.notWith "must not be a reserved name" (Constraint.oneOf [ "admin"; "root" ])

let isValidIsbn (isbn: string) = isbn.Length = 13 in Constraint.custom "must be a valid ISBN" isValidIsbn

let isValidIsbn (isbn: string) = isbn.Length = 13
 in Constraint.customLocalized
     "books.isbn.invalid"
     "must be a valid ISBN"
     isValidIsbn

let isValidIsbn (isbn: string) = isbn.Length = 13
 in Constraint.customLocalizedWith
     "books.isbn.invalid"
     "must be a valid ISBN"
     (Map.ofList [ "expectedLength", ConstraintValue.Integer 13L ])
     isValidIsbn

let supported = [ "USD"; "EUR" ] in Constraint.customWith "must be a supported currency" (Constraint.check (Constraint.oneOf supported))

Constraint.present |> Constraint.contramap (fun order -> order.Reference)

Constraint.between 0 10 |> Constraint.describe "Retries before the call is abandoned."

let requiredName : Constraint<string> = Constraint.present

let mustBeUnset : Constraint<string> = Constraint.blank

let nickname : Constraint<string option> =
     Constraint.optional (Constraint.lengthBetween 2 40)

let code : Constraint<string> = Constraint.length 6

let tags : Constraint<string list> = Constraint.minLength 1

let summary : Constraint<string> = Constraint.maxLength 280

let name : Constraint<string> = Constraint.lengthBetween 2 40

let primaryAddress : Constraint<Address list> = Constraint.single

let tags : Constraint<string list> = Constraint.atLeastOne

let overrides : Constraint<Rule list> = Constraint.atMostOne

let participants : Constraint<Party list> = Constraint.moreThanOne

let contact : Constraint<string> = Constraint.email

let slug : Constraint<string> = Constraint.trimmed

let pin : Constraint<string> = Constraint.numeric

let handle : Constraint<string> = Constraint.alphanumeric

let reference : Constraint<string> = Constraint.pattern @"^[A-Z]{3}-\d{4}$"

let mustBeDraft : Constraint<Status> = Constraint.equalTo Status.Draft

let notReserved : Constraint<string> = Constraint.notEqualTo "admin"

let quantity : Constraint<int> = Constraint.greaterThan 0

let discount : Constraint<decimal> = Constraint.lessThan 1.0M

let age : Constraint<int> = Constraint.atLeast 13

let weight : Constraint<int> = Constraint.atMost 100

let retryCount : Constraint<int> = Constraint.between 0 10

let quantity : Constraint<int> = Constraint.positive

let balance : Constraint<decimal> = Constraint.nonNegative

let adjustment : Constraint<int> = Constraint.negative

let drawdown : Constraint<int> = Constraint.nonPositive

let currency : Constraint<string> = Constraint.oneOf [ "AUD"; "NZD" ]

let handle : Constraint<string> = Constraint.noneOf [ "admin"; "root" ]

let mustIncludeAdmin : Constraint<string list> = Constraint.contains "admin"

let tags : Constraint<string list> = Constraint.notContains "internal"

let tags : Constraint<string list> = Constraint.distinct

let batchSize : Constraint<int> = Constraint.multipleOf 10

let ratio : Constraint<float> = Constraint.finite

let ratio : Constraint<float32> = Constraint.finite32