(* Copyright (C) 2015 Matthew Fluet.
 * Copyright (C) 1999-2005 Henry Cejtin, Matthew Fluet, Suresh
 *    Jagannathan, and Stephen Weeks.
 * Copyright (C) 1997-2000 NEC Research Institute.
 *
 * MLton is released under a BSD-style license.
 * See the file MLton-LICENSE for details.
 *)

functor MonoArray (type elem
                   structure MV: MONO_VECTOR_EXTRA
                     where type elem = elem
                       and type vector = elem Vector.vector
                       and type MonoVectorSlice.slice = elem VectorSlice.slice
                  ): MONO_ARRAY_EXTRA 
                     where type elem = elem
                       and type vector = MV.vector
                       and type vector_slice = MV.MonoVectorSlice.slice =
   struct
      open Array

      type elem = MV.elem
      type array = elem array
      type vector = MV.vector
      type vector_slice = MV.MonoVectorSlice.slice

      val fromPoly = fn a => a
      val toPoly = fn a => a

      structure MonoArraySlice =
         struct
            open ArraySlice

            type elem = elem
            type array = array
            type slice = elem slice
            type vector = vector
            type vector_slice = vector_slice

            val toPoly = fn s => s
         end
   end