File: package.lisp

package info (click to toggle)
acl2 8.6%2Bdfsg-2
  • links: PTS
  • area: main
  • in suites: trixie
  • size: 1,111,420 kB
  • sloc: lisp: 17,818,294; java: 125,359; python: 28,122; javascript: 23,458; cpp: 18,851; ansic: 11,569; perl: 7,678; xml: 5,591; sh: 3,976; makefile: 3,833; ruby: 2,633; yacc: 1,126; ml: 763; awk: 295; csh: 233; lex: 197; php: 178; tcl: 49; asm: 23; haskell: 17
file content (60 lines) | stat: -rw-r--r-- 3,225 bytes parent folder | download | duplicates (2)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
(cl:defpackage :nibbles
  (:use :cl)
  ;; Basic types and constructors.
  (:export #:octet #:index
           #:octet-vector #:simple-octet-vector
           #:make-octet-vector)
  ;; Basic octet vector accessors.
  (:export #:ub16ref/le #:ub16ref/be #:sb16ref/le #:sb16ref/be
           #:ub32ref/le #:ub32ref/be #:sb32ref/le #:sb32ref/be
           #:ub64ref/le #:ub64ref/be #:sb64ref/le #:sb64ref/be)
  ;; Stream readers.
  (:export #:read-ub16/le #:read-ub16/be #:read-sb16/be #:read-sb16/le
           #:read-ub32/le #:read-ub32/be #:read-sb32/be #:read-sb32/le
           #:read-ub64/le #:read-ub64/be #:read-sb64/be #:read-sb64/le)
  ;; Stream readers for vectors.
  (:export #:read-ub16/le-sequence #:read-ub16/be-sequence
           #:read-sb16/le-sequence #:read-sb16/be-sequence
           #:read-ub32/le-sequence #:read-ub32/be-sequence
           #:read-sb32/le-sequence #:read-sb32/be-sequence
           #:read-ub64/le-sequence #:read-ub64/be-sequence
           #:read-sb64/le-sequence #:read-sb64/be-sequence)
  ;; Non-consing variants akin to READ-SEQUENCE.
  (:export #:read-ub16/le-into-sequence #:read-ub16/be-into-sequence
           #:read-sb16/le-into-sequence #:read-sb16/be-into-sequence
           #:read-ub32/le-into-sequence #:read-ub32/be-into-sequence
           #:read-sb32/le-into-sequence #:read-sb32/be-into-sequence
           #:read-ub64/le-into-sequence #:read-ub64/be-into-sequence
           #:read-sb64/le-into-sequence #:read-sb64/be-into-sequence)
  ;; Stream writers.
  (:export #:write-ub16/le #:write-ub16/be #:write-sb16/be #:write-sb16/le
           #:write-ub32/le #:write-ub32/be #:write-sb32/be #:write-sb32/le
           #:write-ub64/le #:write-ub64/be #:write-sb64/be #:write-sb64/le)
  ;; Stream writers for vectors.
  (:export #:write-ub16/le-sequence #:write-ub16/be-sequence
           #:write-sb16/le-sequence #:write-sb16/be-sequence
           #:write-ub32/le-sequence #:write-ub32/be-sequence
           #:write-sb32/le-sequence #:write-sb32/be-sequence
           #:write-ub64/le-sequence #:write-ub64/be-sequence
           #:write-sb64/le-sequence #:write-sb64/be-sequence)

  ;; The following floating-point functions are not fully supported on all platforms.

  ;; Floating-point octet vector accessors.
  (:export #:ieee-single-ref/be #:ieee-single-ref/le
           #:ieee-double-ref/be #:ieee-double-ref/le)
  ;; Floating-point stream readers.
  (:export #:read-ieee-single/be #:read-ieee-single/le
	   #:read-ieee-double/be #:read-ieee-double/le)
  ;; Stream readers for floating-point sequences.
  (:export #:read-ieee-single/be-sequence #:read-ieee-single/le-sequence
	   #:read-ieee-double/be-sequence #:read-ieee-double/le-sequence)
  ;; Non-consing variants akin to READ-SEQUENCE.
  (:export #:read-ieee-single/be-into-sequence #:read-ieee-single/le-into-sequence
	   #:read-ieee-double/be-into-sequence #:read-ieee-double/le-into-sequence)
  ;; Stream writers.
  (:export #:write-ieee-single/be #:write-ieee-single/le
	   #:write-ieee-double/be #:write-ieee-double/le)
  ;; Stream writers for sequences.
  (:export #:write-ieee-single/be-sequence #:write-ieee-single/le-sequence
	   #:write-ieee-double/be-sequence #:write-ieee-double/le-sequence))