basis-library/libs/basis-extra/top-level/basis.sml

   1 (* Copyright (C) 2004-2007 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 BasisExtra :> BASIS_EXTRA =
   9    struct
  10       (* Required structures *)
  11       structure Array = Array
  12       structure ArraySlice = ArraySlice
  13       structure BinIO = BinIO
  14       structure BinPrimIO = BinPrimIO
  15       structure Bool = Bool
  16       structure Byte = Byte
  17       structure Char = Char
  18       structure CharArray = CharArray
  19       structure CharArraySlice = CharArraySlice
  20       structure CharVector = CharVector
  21       structure CharVectorSlice = CharVectorSlice
  22       structure CommandLine = CommandLine
  23       structure Date = Date
  24       structure General = General
  25       structure IEEEReal = IEEEReal
  26       structure IO = IO
  27       structure Int = Int
  28       structure LargeInt = LargeInt
  29       structure LargeReal = LargeReal
  30       structure LargeWord = LargeWord
  31       structure List = List
  32       structure ListPair = ListPair
  33       structure OS = OS
  34       structure Option = Option
  35       structure Position = Position
  36       structure Real = Real
  37       structure String = String
  38       structure StringCvt = StringCvt
  39       structure Substring = Substring
  40       structure Text = Text
  41       structure TextIO = TextIO
  42       structure TextPrimIO = TextPrimIO
  43       structure Time = Time
  44       structure Timer = Timer
  45       structure Vector = Vector
  46       structure VectorSlice = VectorSlice
  47       structure Word = Word
  48       structure Word8 = Word8
  49       structure Word8Array = Word8Array
  50       structure Word8Array2 = Word8Array2
  51       structure Word8ArraySlice = Word8ArraySlice
  52       structure Word8Vector = Word8Vector
  53       structure Word8VectorSlice = Word8VectorSlice
  54
  55       (* Optional structures *)
  56       structure Array2 = Array2
  57       structure BoolArray = BoolArray
  58       structure BoolArray2 = BoolArray2
  59       structure BoolArraySlice = BoolArraySlice
  60       structure BoolVector = BoolVector
  61       structure BoolVectorSlice = BoolVectorSlice
  62       structure CharArray2 = CharArray2
  63       structure FixedInt = FixedInt
  64       structure GenericSock = GenericSock
  65       structure INetSock = INetSock
  66       structure Int1 = Int1
  67       structure Int2 = Int2
  68       structure Int3 = Int3
  69       structure Int4 = Int4
  70       structure Int5 = Int5
  71       structure Int6 = Int6
  72       structure Int7 = Int7
  73       structure Int8 = Int8
  74       structure Int9 = Int9
  75       structure Int10 = Int10
  76       structure Int11 = Int11
  77       structure Int12 = Int12
  78       structure Int13 = Int13
  79       structure Int14 = Int14
  80       structure Int15 = Int15
  81       structure Int16 = Int16
  82       structure Int16 = Int16
  83       structure Int17 = Int17
  84       structure Int18 = Int18
  85       structure Int19 = Int19
  86       structure Int20 = Int20
  87       structure Int21 = Int21
  88       structure Int22 = Int22
  89       structure Int23 = Int23
  90       structure Int24 = Int24
  91       structure Int25 = Int25
  92       structure Int26 = Int26
  93       structure Int27 = Int27
  94       structure Int28 = Int28
  95       structure Int29 = Int29
  96       structure Int30 = Int30
  97       structure Int31 = Int31
  98       structure Int32 = Int32
  99       structure Int64 = Int64
 100       structure IntArray = IntArray
 101       structure IntArray2 = IntArray2
 102       structure IntArraySlice = IntArraySlice
 103       structure IntVector = IntVector
 104       structure IntVectorSlice = IntVectorSlice
 105       structure Int8Array = Int8Array
 106       structure Int8Array2 = Int8Array2
 107       structure Int8ArraySlice = Int8ArraySlice
 108       structure Int8Vector = Int8Vector
 109       structure Int8VectorSlice = Int8VectorSlice
 110       structure Int16Array = Int16Array
 111       structure Int16Array2 = Int16Array2
 112       structure Int16ArraySlice = Int16ArraySlice
 113       structure Int16Vector = Int16Vector
 114       structure Int16VectorSlice = Int16VectorSlice
 115       structure Int32Array = Int32Array
 116       structure Int32Array2 = Int32Array2
 117       structure Int32ArraySlice = Int32ArraySlice
 118       structure Int32Vector = Int32Vector
 119       structure Int32VectorSlice = Int32VectorSlice
 120       structure Int64Array = Int64Array
 121       structure Int64Array2 = Int64Array2
 122       structure Int64ArraySlice = Int64ArraySlice
 123       structure Int64Vector = Int64Vector
 124       structure Int64VectorSlice = Int64VectorSlice
 125       structure IntInf = IntInf
 126       structure IntInfArray = IntInfArray
 127       structure IntInfArray2 = IntInfArray2
 128       structure IntInfArraySlice = IntInfArraySlice
 129       structure IntInfVector = IntInfVector
 130       structure IntInfVectorSlice = IntInfVectorSlice
 131       structure LargeIntArray = LargeIntArray
 132       structure LargeIntArray2 = LargeIntArray2
 133       structure LargeIntArraySlice = LargeIntArraySlice
 134       structure LargeIntVector = LargeIntVector
 135       structure LargeIntVectorSlice = LargeIntVectorSlice
 136       structure LargeRealArray = LargeRealArray
 137       structure LargeRealArray2 = LargeRealArray2
 138       structure LargeRealArraySlice = LargeRealArraySlice
 139       structure LargeRealVector = LargeRealVector
 140       structure LargeRealVectorSlice = LargeRealVectorSlice
 141       structure LargeWordArray = LargeWordArray
 142       structure LargeWordArray2 = LargeWordArray2
 143       structure LargeWordArraySlice = LargeWordArraySlice
 144       structure LargeWordVector = LargeWordVector
 145       structure LargeWordVectorSlice = LargeWordVectorSlice
 146       structure NetHostDB = NetHostDB
 147       structure NetProtDB = NetProtDB
 148       structure NetServDB = NetServDB
 149       structure PackReal32Big = PackReal32Big
 150       structure PackReal32Little = PackReal32Little
 151       structure PackReal64Big = PackReal64Big
 152       structure PackReal64Little = PackReal64Little
 153       structure PackRealBig = PackRealBig
 154       structure PackRealLittle = PackRealLittle
 155       structure PackWord16Big = PackWord16Big
 156       structure PackWord16Little = PackWord16Little
 157       structure PackWord32Big = PackWord32Big
 158       structure PackWord32Little = PackWord32Little
 159       structure PackWord64Big = PackWord64Big
 160       structure PackWord64Little = PackWord64Little
 161       structure Posix = Posix
 162       structure Real32 = Real32
 163       structure Real32Array = Real32Array
 164       structure Real32Array2 = Real32Array2
 165       structure Real32ArraySlice = Real32ArraySlice
 166       structure Real32Vector = Real32Vector
 167       structure Real32VectorSlice = Real32VectorSlice
 168       structure Real64 = Real64
 169       structure Real64Array = Real64Array
 170       structure Real64Array2 = Real64Array2
 171       structure Real64ArraySlice = Real64ArraySlice
 172       structure Real64Vector = Real64Vector
 173       structure Real64VectorSlice = Real64VectorSlice
 174       structure RealArray = RealArray
 175       structure RealArray2 = RealArray2
 176       structure RealArraySlice = RealArraySlice
 177       structure RealVector = RealVector
 178       structure RealVectorSlice = RealVectorSlice
 179       structure Socket = Socket
 180       structure SysWord = SysWord
 181       structure Unix = Unix
 182       structure UnixSock = UnixSock
 183       structure WideChar = WideChar
 184       structure WideCharArray = WideCharArray
 185       structure WideCharArray2 = WideCharArray2
 186       structure WideCharArraySlice = WideCharArraySlice
 187       structure WideCharVector = WideCharVector
 188       structure WideCharVectorSlice = WideCharVectorSlice
 189       structure WideString = WideString
 190       structure WideSubstring = WideSubstring
 191       structure WideText = WideText
 192 (*
 193       structure WideTextIO = WideTextIO
 194       structure WideTextPrimIO = WideTextPrimIO
 195 *)
 196 (*
 197       structure Windows = Windows
 198 *)
 199       structure Word1 = Word1
 200       structure Word2 = Word2
 201       structure Word3 = Word3
 202       structure Word4 = Word4
 203       structure Word5 = Word5
 204       structure Word6 = Word6
 205       structure Word7 = Word7
 206       structure Word8 = Word8
 207       structure Word9 = Word9
 208       structure Word10 = Word10
 209       structure Word11 = Word11
 210       structure Word12 = Word12
 211       structure Word13 = Word13
 212       structure Word14 = Word14
 213       structure Word15 = Word15
 214       structure Word16 = Word16
 215       structure Word17 = Word17
 216       structure Word18 = Word18
 217       structure Word19 = Word19
 218       structure Word20 = Word20
 219       structure Word21 = Word21
 220       structure Word22 = Word22
 221       structure Word23 = Word23
 222       structure Word24 = Word24
 223       structure Word25 = Word25
 224       structure Word26 = Word26
 225       structure Word27 = Word27
 226       structure Word28 = Word28
 227       structure Word29 = Word29
 228       structure Word30 = Word30
 229       structure Word31 = Word31
 230       structure Word32 = Word32
 231       structure Word64 = Word64
 232       structure Word16 = Word16
 233       structure WordArray = WordArray
 234       structure WordArray2 = WordArray2
 235       structure WordArraySlice = WordArraySlice
 236       structure WordVector = WordVector
 237       structure WordVectorSlice = WordVectorSlice
 238       structure Word16Array = Word16Array
 239       structure Word16Array2 = Word16Array2
 240       structure Word16ArraySlice = Word16ArraySlice
 241       structure Word16Vector = Word16Vector
 242       structure Word16VectorSlice = Word16VectorSlice
 243       structure Word32Array = Word32Array
 244       structure Word32Array2 = Word32Array2
 245       structure Word32ArraySlice = Word32ArraySlice
 246       structure Word32Vector = Word32Vector
 247       structure Word32VectorSlice = Word32VectorSlice
 248       structure Word64Array = Word64Array
 249       structure Word64Array2 = Word64Array2
 250       structure Word64ArraySlice = Word64ArraySlice
 251       structure Word64Vector = Word64Vector
 252       structure Word64VectorSlice = Word64VectorSlice
 253
 254       (* Non-standard structures *)
 255       structure SML90 = SML90
 256       structure MLton = MLton
 257       structure SMLofNJ = SMLofNJ
 258       structure Unsafe = Unsafe
 259
 260       open ArrayGlobal
 261            BoolGlobal
 262            CharGlobal
 263            IntGlobal
 264            GeneralGlobal
 265            ListGlobal
 266            OptionGlobal
 267            RealGlobal
 268            StringGlobal
 269            SubstringGlobal
 270            TextIOGlobal
 271            VectorGlobal
 272            WordGlobal
 273       val real = real
 274       val op = = op =
 275       val op <> = op <>
 276       val vector = vector
 277       datatype ref = datatype ref
 278    end