source: Deliverables/D4.1/Byte.ml @ 63

(*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*)
(* FILENAME:    Byte.ml                                                      *)
(* DESCRIPTION: An ADT implementing standard 8 bit bytes, and common         *)
(*              operations on them.                                          *)
(* CREATED:     10/09/2010, Dominic Mulligan                                 *)
(* BUGS:                                                                     *)
(*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*^*)

open Bit;;
open Nibble;;

module type BYTE =
sig
  type bit
  type nibble
  type byte
(*
  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
  val set_nibble_at: int -> nibble -> byte -> byte option
  val get_bit_at: int -> byte -> bit
  val set_bit_at: int -> bit -> byte -> byte option

  val (-&-): byte -> byte -> byte
  val (-|-): byte -> byte -> byte
  val (-^-): byte -> byte -> byte
  val not: byte -> byte

  val map_nibble: (nibble -> nibble) -> byte -> byte
  val map_bit: (bit -> bit) -> byte -> byte
  val iter_nibble: (nibble -> string) -> byte -> string
  val iter_bit: (bit -> string) -> byte -> string
  val zip_nibble: (nibble -> nibble -> nibble) -> byte -> byte -> byte
  val zip_bit: (bit -> bit -> bit) -> byte -> byte -> byte
  val pretty: byte -> string
*)
end

module Byte(Nibble: NIBBLE): BYTE
  with type bit = Nibble.bit and type nibble = Nibble.nibble =
struct
  type bit = Nibble.bit
  type nibble = Nibble.nibble
  type byte = nibble * nibble

  let from_bits b1 b2 b3 b4 b5 b6 b7 b8 =
    let nibble 
end