HCoop Git - hcoop/debian/mlton.git/blame_incremental - lib/mlton/pervasive/pervasive.sml

... / ...

Commit	Line	Data
	1	(* Copyright (C) 2009 Matthew Fluet.
	2	* Copyright (C) 1999-2006, 2008 Henry Cejtin, Matthew Fluet, Suresh
	3	* Jagannathan, and Stephen Weeks.
	4	*
	5	* MLton is released under a BSD-style license.
	6	* See the file MLton-LICENSE for details.
	7	*)
	8
	9	signature PERVASIVE_REAL = REAL
	10	signature PERVASIVE_WORD = WORD
	11	structure Pervasive =
	12	struct
	13	structure Array = Array
	14	structure Array2 = Array2
	15	structure Bool = Bool
	16	structure Byte = Byte
	17	structure Char = Char
	18	structure CharArray = CharArray
	19	structure CharVector = CharVector
	20	structure CommandLine = CommandLine
	21	structure Date = Date
	22	structure General = General
	23	structure IEEEReal = IEEEReal
	24	structure Int = Int
	25	structure IntInf = IntInf
	26	structure LargeInt = LargeInt
	27	structure LargeReal = LargeReal
	28	structure LargeWord = LargeWord
	29	structure ListPair = ListPair
	30	structure List = List
	31	structure Math = Math
	32	structure Option = Option
	33	structure OS = OS
	34	structure PackReal32Little = PackReal32Little
	35	structure PackReal64Little = PackReal64Little
	36	structure PackWord32Little = PackWord32Little
	37	structure PackWord64Little = PackWord64Little
	38	structure Position = Position
	39	structure Posix = Posix
	40	structure Real = Real
	41	structure Real32 = Real32
	42	structure Real64 = Real64
	43	structure Socket = Socket
	44	structure String = String
	45	structure StringCvt = StringCvt
	46	structure Substring = Substring
	47	structure SysWord = SysWord
	48	structure TextIO = TextIO
	49	structure Time = Time
	50	structure Unix = Unix
	51	structure Vector = Vector
	52	structure Word = Word
	53	structure Word8 = Word8
	54	structure Word8Array = Word8Array
	55	structure Word8Vector = Word8Vector
	56	structure Word32 = Word32
	57	structure Word64 = Word64
	58
	59	type unit = General.unit
	60	type real = Real.real
	61	type char = Char.char
	62	type string = String.string
	63	type substring = Substring.substring
	64	type exn = General.exn
	65	type 'a array = 'a Array.array
	66	type 'a vector = 'a Vector.vector
	67	type 'a ref = 'a ref
	68	datatype bool = datatype bool
	69	datatype option = datatype option
	70	datatype order = datatype General.order
	71	datatype list = datatype list
	72
	73	val ! = General.!
	74	val op := = General.:=
	75	val op @ = List.@
	76	val op ^ = String.^
	77	val app = List.app
	78	val op before = General.before
	79	val ceil = Real.ceil
	80	val chr = Char.chr
	81	val concat = String.concat
	82	val exnMessage = General.exnMessage
	83	val exnName = General.exnName
	84	val explode = String.explode
	85	val floor = Real.floor
	86	val foldl = List.foldl
	87	val foldr = List.foldr
	88	val getOpt = Option.getOpt
	89	val hd = List.hd
	90	val ignore = General.ignore
	91	val implode = String.implode
	92	val isSome = Option.isSome
	93	val length = List.length
	94	val map = List.map
	95	val not = Bool.not
	96	val null = List.null
	97	val op o = General.o
	98	val ord = Char.ord
	99	val print = TextIO.print
	100	val real = Real.fromInt
	101	val rev = List.rev
	102	val round = Real.round
	103	val size = String.size
	104	val str = String.str
	105	val substring = String.substring
	106	val tl = List.tl
	107	val trunc = Real.trunc
	108	val valOf = Option.valOf
	109	val vector = Vector.fromList
	110	end