On this page:
8.1 RESTRICT struct
prestrict
8.2 RESTRICT conversion
prestrict->string
port->prestrict
string->prestrict
8.12

8 RESTRICT🔗ℹ

 (require pmsf/restrict) package: pmsf-restrict

8.1 RESTRICT struct🔗ℹ

 (require pmsf/restrict/struct) package: pmsf-restrict

struct

(struct prestrict (conditions)
    #:extra-constructor-name make-prestrict
    #:transparent)
  conditions : (listof (or/c pcondition? string?))

Example:
> (prestrict (list (pcondition (cons 'not "test") (list "test"))))

(prestrict (list (pcondition '(not . "test") '("test"))))

8.2 RESTRICT conversion🔗ℹ

 (require pmsf/restrict/convert) package: pmsf-restrict

procedure

(prestrict->string input-prestrict)  string?

  input-prestrict : prestrict?

Example:
> (prestrict->string
   (prestrict (list (pcondition (cons 'not "test") (list "test")))))

"!test? ( test )"

procedure

(port->prestrict input-port)  prestrict?

  input-port : input-port?

procedure

(string->prestrict input-string)  prestrict?

  input-string : string?

Example:
> (string->prestrict "!test? ( test )")

(prestrict (list (pcondition '(not . "test") '("test"))))