Import Upstream version 20180207

[hcoop/debian/mlton.git] / basis-library / arrays-and-vectors / mono-vector.sig

signature MONO_VECTOR =
   sig
      type vector
      type elem

      val all: (elem -> bool) -> vector -> bool
      val app: (elem -> unit) -> vector -> unit 
      val appi: (int * elem -> unit) -> vector -> unit 
      val collate: (elem * elem -> order) -> vector * vector -> order
      val concat: vector list -> vector 
      val exists: (elem -> bool) -> vector -> bool
      val find: (elem -> bool) -> vector -> elem option
      val findi: (int * elem -> bool) -> vector -> (int * elem) option
      val foldl: (elem * 'a -> 'a) -> 'a -> vector -> 'a 
      val foldli: (int * elem * 'a -> 'a) -> 'a -> vector -> 'a 
      val foldr: (elem * 'a -> 'a) -> 'a -> vector -> 'a 
      val foldri: (int * elem * 'a -> 'a) -> 'a -> vector -> 'a 
      val fromList: elem list -> vector 
      val length: vector -> int 
      val map: (elem -> elem) -> vector -> vector 
      val mapi: (int * elem -> elem) -> vector -> vector 
      val maxLen: int 
      val sub: vector * int -> elem 
      val tabulate: int * (int -> elem) -> vector 
      val update: vector * int * elem -> vector
   end

signature MONO_VECTOR_EXTRA_COMMON =
   sig
      include MONO_VECTOR

      type array

      val append: vector * vector -> vector
      val concatWith: vector -> vector list -> vector
      val duplicate: vector -> vector
      val fields: (elem -> bool) -> vector -> vector list
      val fromPoly: elem Vector.vector -> vector
      val isPrefix: (elem * elem -> bool) -> vector -> vector -> bool
      val isSubvector: (elem * elem -> bool) -> vector -> vector -> bool
      val isSuffix: (elem * elem -> bool) -> vector -> vector -> bool
      val toList: vector -> elem list
      val toPoly: vector -> elem Vector.vector
      val tokens: (elem -> bool) -> vector -> vector list
      val translate: (elem -> vector) -> vector -> vector
      val unfoldi: int * 'a * (int * 'a -> elem * 'a) -> vector * 'a
      val unsafeFromArray: array -> vector
      val unsafeSub: vector * int -> elem
      val vector: int * elem -> vector
   end

signature MONO_VECTOR_EXTRA =
   sig
      include MONO_VECTOR_EXTRA_COMMON

      structure MonoVectorSlice: MONO_VECTOR_SLICE_EXTRA 
         where type elem = elem
           and type vector = vector
   end

signature EQTYPE_MONO_VECTOR_EXTRA =
   sig
      eqtype vector_eqtype
      include MONO_VECTOR_EXTRA_COMMON
      sharing type vector_eqtype = vector

      structure MonoVectorSlice: EQTYPE_MONO_VECTOR_SLICE_EXTRA 
         where type elem = elem
           and type vector = vector
   end