source: Deliverables/D4.1/Word.ml @ 95

(*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*)
(* FILENAME:    Word.ml                                                      *)
(* DESCRIPTION: An ADT implementing standard 16 bit words, and common        *)
(*              operations on them.                                          *)
(* CREATED:     13/09/2010, Dominic Mulligan                                 *)
(* BUGS:                                                                     *)
(*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*)

open Bit;;
open Nibble;;
open Byte;;

module type WORD =
sig
  type bit
  type nibble
  type byte
  type word = private byte * byte

  val to_bits: word -> bit list

  val iter_bit: (bit -> string) -> word -> string

  val to_string: word -> string
end;;

module WordFunctor(Bit: BIT)
                  (Nibble: NIBBLE
                     with type bit    = Bit.bit)
                  (Byte: BYTE
                     with type bit    = Bit.bit
                     and  type nibble = Nibble.nibble): WORD
  with type bit    = Bit.bit
  and  type nibble = Nibble.nibble
  and  type byte   = Byte.byte =
struct
  type bit = Bit.bit
  type nibble = Nibble.nibble
  type byte = Byte.byte
  type word = (byte * byte)

  let to_bits (b1, b2) = Byte.to_bits b1 @ Byte.to_bits b2

  let iter_bit f w = foldr (^) "" (map f (to_bits w))

  let to_string = iter_bit Bit.to_string
end;;

module Word = WordFunctor(Bit) (Nibble) (Byte);;