Last change
on this file since 85 was
85,
checked in by mulligan, 10 years ago
|
Deleted Pretty.ml, as `pretty' functions have now been merged into
other files where they belong.
where
|
File size:
1002 bytes
|
Line | |
---|
1 | (*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*) |
---|
2 | (* FILENAME: Byte7.ml *) |
---|
3 | (* DESCRIPTION: An ADT implementing non-standard 7 bit bytes, and common *) |
---|
4 | (* operations on them. *) |
---|
5 | (* CREATED: 13/09/2010, Dominic Mulligan *) |
---|
6 | (* BUGS: *) |
---|
7 | (*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*) |
---|
8 | |
---|
9 | open Bit;; |
---|
10 | open Nibble;; |
---|
11 | |
---|
12 | module type BYTE7 = |
---|
13 | sig |
---|
14 | type bit |
---|
15 | type nibble |
---|
16 | type byte7 |
---|
17 | end;; |
---|
18 | |
---|
19 | module Byte7Functor(Bit: BIT) |
---|
20 | (Nibble: NIBBLE |
---|
21 | with type bit = Bit.bit) : BYTE7 |
---|
22 | with type bit = Bit.bit |
---|
23 | and type nibble = Nibble.nibble = |
---|
24 | struct |
---|
25 | type bit = Bit.bit |
---|
26 | type nibble = Nibble.nibble |
---|
27 | type byte7 = private (bit * bit * bit * nibble) |
---|
28 | end;; |
---|
29 | |
---|
30 | module Byte7 = Byte7Functor (Bit) (Nibble);; |
---|
Note: See
TracBrowser
for help on using the repository browser.