source: project/release/4/srfi-27/trunk/srfi-27-common-types.scm @ 35484

Last change on this file since 35484 was 35484, checked in by kon, 7 months ago

types for sources

File size: 902 bytes
Line 
1;;;; srfi-27-common-types.scm
2;;;; Kon Lovett, Apr '18
3
4;; Issues
5;;
6
7(define-type entropy-source (struct entropy-source))
8
9(define-type entropy-source-name symbol)
10
11(define-type random-source (struct random-source))
12
13(define-type random-source-name symbol)
14
15;FIXME random-source-state is really type *
16(define-type random-source-state list)
17
18(define-type boolean-function (--> boolean))
19
20(define-type number-function (--> number))
21
22;FIXME cannot restrict number domain w/ type system
23
24(define-type random-integer-function (number --> number))
25
26;fortran "real"
27(define-type random-real-function (--> float))
28
29(define-type random-u8-function  (--> fixnum))
30
31(define-type random-f64-function  (--> float))
32
33(define-type random-u8vector-function (fixnum --> u8vector))
34
35(define-type random-f64vector-function (fixnum --> f64vector))
36
37(define-type random-source-entropy-source (or boolean entropy-source))
Note: See TracBrowser for help on using the repository browser.