;;;; standard-conditions.scm  -*- Scheme -*-
;;;; Kon Lovett, Jul '18
;;;; Kon Lovett, Jun '13

(module standard-conditions

(;export
  ;
  arity-condition?
  type-condition?
  arithmetic-condition?
  i/o-condition?
  file-condition?
  network-condition?
  network-timeout-condition?
  bounds-condition?
  runtime-condition?
  runtime-limit-condition?
  runtime-cycle-condition?
  match-condition?
  syntax-condition?
  process-condition?
  access-condition?
  domain-condition?
  memory-condition?)

(import scheme
  condition-utils)

;;; Builtin Conditions

; Signaled when a procedure is called with the wrong number of arguments.
(define arity-condition? (make-condition-predicate exn arity))

; Signaled on type-mismatch errors, for example when an argument of the wrong
; type is passed to a built-in procedure.
(define type-condition? (make-condition-predicate exn type))

; Signaled on arithmetic errors, like division by zero.
(define arithmetic-condition? (make-condition-predicate exn arithmetic))

; Signaled on input/output errors.
(define i/o-condition? (make-condition-predicate exn i/o))

; Signaled on file-related errors.
(define file-condition? (make-condition-predicate exn i/o file))

; Signaled on network errors.
(define network-condition? (make-condition-predicate exn i/o net))

; Signaled on network timeout errors.
(define network-timeout-condition? (make-condition-predicate exn i/o net timeout))

; Signaled on errors caused by accessing non-existent elements of a collection.
(define bounds-condition? (make-condition-predicate exn bounds))

; Signaled on low-level runtime-system error-situations.
(define runtime-condition? (make-condition-predicate exn runtime))

; Signaled when an internal limit is exceeded (like running out of memory).
(define runtime-limit-condition? (make-condition-predicate exn runtime limit))

; Signaled when a graph cycle detected.
(define runtime-cycle-condition? (make-condition-predicate exn runtime cycle))

; Signaled on errors raised by failed matches (see the section on match).
(define match-condition? (make-condition-predicate exn match))

; Signaled on syntax errors.
(define syntax-condition? (make-condition-predicate exn syntax))

; Signaled on process errors.
(define process-condition? (make-condition-predicate exn process))

; Signaled on access errors.
(define access-condition? (make-condition-predicate exn access))

; Signaled on domain errors.
(define domain-condition? (make-condition-predicate exn domain))

; Signaled on memory errors.
(define memory-condition? (make-condition-predicate exn memory))

) ;standard-conditions