;;;; type-errors-numbers.scm  -*- Scheme -*-
;;;; Kon Lovett, Jul '18

(module type-errors-numbers

(;export
  ;
  error-number
  error-positive-number error-natural-number error-negative-number error-non-positive-number
  error-integer
  error-positive-integer error-natural-integer error-negative-integer error-non-positive-integer
  error-complex
  error-rational
  error-real
  error-exact
  error-inexact
  ;
  error-fixnum
  error-positive-fixnum error-natural-fixnum error-negative-fixnum error-non-positive-fixnum
  error-bignum
  error-positive-bignum error-negative-bignum error-non-positive-bignum
  error-ratnum
  error-positive-ratnum error-negative-ratnum error-non-positive-ratnum
  error-flonum error-float
  error-cplxnum
  ;
  error-interval
  error-closed-interval error-open-interval
  error-half-open-interval error-half-closed-interval
  error-range)

(import scheme)
(import (chicken base))
(import (chicken module))
(import (chicken type))
(import type-errors-basic)

(import (type-errors-numbers interval))
(reexport (type-errors-numbers interval))

(: error-number (* * #!optional * -> noreturn))
(: error-positive-number (* * #!optional * -> noreturn))
(: error-natural-number (* * #!optional * -> noreturn))
(: error-negative-number (* * #!optional * -> noreturn))
(: error-non-positive-number (* * #!optional * -> noreturn))
(: error-integer (* * #!optional * -> noreturn))
(: error-positive-integer (* * #!optional * -> noreturn))
(: error-natural-integer (* * #!optional * -> noreturn))
(: error-negative-integer (* * #!optional * -> noreturn))
(: error-non-positive-integer (* * #!optional * -> noreturn))
(: error-real (* * #!optional * -> noreturn))
(: error-complex (* * #!optional * -> noreturn))
(: error-rational (* * #!optional * -> noreturn))
(: error-exact (* * #!optional * -> noreturn))
(: error-inexact (* * #!optional * -> noreturn))

(: error-fixnum (* * #!optional * -> noreturn))
(: error-positive-fixnum (* * #!optional * -> noreturn))
(: error-natural-fixnum (* * #!optional * -> noreturn))
(: error-negative-fixnum (* * #!optional * -> noreturn))
(: error-non-positive-fixnum (* * #!optional * -> noreturn))

(: error-bignum (* * #!optional * -> noreturn))
(: error-positive-bignum (* * #!optional * -> noreturn))
(: error-negative-bignum (* * #!optional * -> noreturn))
(: error-non-positive-bignum (* * #!optional * -> noreturn))

(: error-ratnum (* * #!optional * -> noreturn))
(: error-positive-ratnum (* * #!optional * -> noreturn))
(: error-natural-ratnum (* * #!optional * -> noreturn))
(: error-negative-ratnum (* * #!optional * -> noreturn))
(: error-non-positive-ratnum (* * #!optional * -> noreturn))

(: error-flonum (* * #!optional * -> noreturn))
(: error-float (* * #!optional * -> noreturn))

(: error-cplxnum (* * #!optional * -> noreturn))

(include "type-errors-numbers.impl")

) ;module type-errors-numbers