basis-library/io/text-prim-io.sml

   1 (* Copyright (C) 2002-2005, 2008 Henry Cejtin, Matthew Fluet, Suresh
   2  *    Jagannathan, and Stephen Weeks.
   3  *
   4  * MLton is released under a BSD-style license.
   5  * See the file MLton-LICENSE for details.
   6  *)
   7
   8 structure TextPrimIO : PRIM_IO
   9                        where type array = CharArray.array
  10                        where type vector = CharVector.vector
  11                        where type elem = Char.char =
  12   PrimIO (structure Vector = CharVector
  13           structure VectorSlice = CharVectorSlice
  14           structure Array = CharArray
  15           structure ArraySlice = CharArraySlice
  16           type pos = Position.int
  17           val compare = Position.compare
  18           val someElem = #"\000": Char.char)