Overview  Index  Help 
Standard ML Basis Library

General


structure General : PRE_GENERAL =
struct
  type unit = unit
  type exn = exn
  datatype order = order
  exception Bind = Bind
  exception Match = Match
  exception Subscript = Subscript
  exception Size = Size
  exception Overflow = Overflow
  exception Chr = Chr
  exception Div = Div
  exception Domain = Domain
  exception Span = Span
  exception Fail = Fail
  val ! : 'a ref -> 'a
  val := : 'a ref * 'a -> unit
  val o : ('b -> 'c) * ('a -> 'b) -> 'a -> 'c
  val before : 'a * unit -> 'a
  val ignore : 'a -> unit
end

 
Type detail

unit

type unit = unit


exn

type exn = exn

 
Datatype detail

order

datatype order = order

   
Value detail

!

val ! : 'a ref -> 'a


:=

val := : 'a ref * 'a -> unit


o

val o : ('b -> 'c) * ('a -> 'b) -> 'a -> 'c


before

val before : 'a * unit -> 'a


ignore

val ignore : 'a -> unit

 
Exception detail

Bind

exception Bind = Bind


Match

exception Match = Match


Subscript

exception Subscript = Subscript


Size

exception Size = Size


Overflow

exception Overflow = Overflow


Chr

exception Chr = Chr


Div

exception Div = Div


Domain

exception Domain = Domain


Span

exception Span = Span


Fail

exception Fail = Fail


Overview  Index  Help 
Standard ML Basis Library

This document may be distributed freely over the internet as long as the copyright notice and license terms below are prominently displayed within every machine-readable copy.

Copyright © 2003 AT&T and Lucent Technologies. All rights reserved.

Permission is granted for internet users to make one paper copy for their own personal use. Further hardcopy reproduction is strictly prohibited. Permission to distribute the HTML document electronically on any medium other than the internet must be requested from the copyright holders by contacting the editors. Printed versions of the SML Basis Manual are available from Cambridge University Press. To order, please visit www.cup.org (North America) or www.cup.cam.ac.uk (outside North America).