Lab10_1OCaml

module type OBSLUGA_KOLEJKI =
sig
  type 'a tk
  exception Pusta of string
  val tworz_pusta: unit -> 'a tk
  val do_kolejki: 'a * 'a tk -> 'a tk
  val z_kolejki: 'a tk -> 'a tk
  val pierwszy_element: 'a tk -> 'a
  val kolejka_pusta: 'a tk -> bool
end;;

 module Kolejka : OBSLUGA_KOLEJKI = struct
    type 'a tk = KolejkaPusta | Skladowa of 'a * 'a tk
    exception Pusta of string
    let tworz_pusta() = KolejkaPusta
    let do_kolejki(e,s) = Skladowa(e,s)
    let pierwszy_element = function Skladowa(e,_) -> e  | KolejkaPusta -> raise (Pusta "module Kolejka: top")
    let z_kolejki = function Skladowa(_,s) -> s  | KolejkaPusta -> KolejkaPusta
    let kolejka_pusta s = s = KolejkaPusta
  end;;

let s = Kolejka.(do_kolejki(2,do_kolejki(1,tworz_pusta())));;
Kolejka.pierwszy_element s;;
let s = Kolejka.do_kolejki(55,s);;
Kolejka.pierwszy_element s;;
let s = Kolejka.z_kolejki s;;
Kolejka.pierwszy_element s;;
Kolejka.kolejka_pusta s;;
let s = Kolejka.tworz_pusta();;
Kolejka.kolejka_pusta s;;
Kolejka.pierwszy_element s;;