check.ml

let processStateFromQueue {frontSize; front; rearSize; rear; rotation} =
  let newState = (nextState (nextState rotation)) in match newState with
    | Done newFront ->
      {frontSize; front = newFront; rearSize; rear; rotation = Idle}
    | _ -> {frontSize; front; rearSize; rear; rotation = newState}
;;

let check queue = match queue with
  {frontSize; front; rearSize; rear; rotation} ->
    if rearSize <= frontSize then processStateFromQueue queue
    else
      (* Initiate the rotation process. *)
      let newState = Reversing ({
        validCount = 0;
        front;
        frontReversed = [];
        rear;
        rearReversed = [];
      })
      in processStateFromQueue {
        frontSize = frontSize + rearSize;
        front;
        rearSize = 0;
        rear = [];
        rotation = newState;
      }
;;