Changeset 63 for Deliverables/D4.1/Byte.ml

Timestamp:

Sep 13, 2010, 11:04:55 AM (10 years ago)

Author:

mulligan

Message:

More work on bits, bytes, nibbles, and added modules for byte7s and
words.

File:

• Deliverables/D4.1/Byte.ml (modified) (3 diffs)

Deliverables/D4.1/Byte.ml

@@ -1 +1 @@
 (*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*)
-(* FILENAME: Byte.ml                                                         *)
-(* DESCRIPTION: An ADT implementing bytes, and common operations on them.    *)
-(* CREATED: 10/09/2010, Dominic Mulligan                                     *)
+(* FILENAME:    Byte.ml                                                      *)
+(* DESCRIPTION: An ADT implementing standard 8 bit bytes, and common         *)
+(*              operations on them.                                          *)
+(* CREATED:     10/09/2010, Dominic Mulligan                                 *)
 (* BUGS:                                                                     *)
 (*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*)
@@ -16 +17 @@
 (*
   val from_bits: bit -> bit -> bit -> bit -> bit -> bit -> bit -> bit -> byte
+  val from_bit: bit -> byte
   val from_nibbles: nibble -> nibble -> byte
+  val from_nibble: nibble -> byte
   val from_int: int -> byte
+
+  val to_bit: byte -> bit option
+  val to_nibble: byte -> nibble option
+  val to_int: byte -> int
 
   val get_nibble_at: int -> byte -> nibble
@@ -45 +52 @@
   type nibble = Nibble.nibble
   type byte = nibble * nibble
+
+  let from_bits b1 b2 b3 b4 b5 b6 b7 b8 =
+    let nibble 
 end