Overview  Index  Help 
Standard ML Basis Library

PRE_GENERAL

All Known Implementing Modules:

General


signature PRE_GENERAL =
sig
  type unit
  type exn
  datatype order = LESS | EQUAL | GREATER
  exception Bind
  exception Match
  exception Subscript
  exception Size
  exception Overflow
  exception Chr
  exception Div
  exception Domain
  exception Span
  exception Fail of string
  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


exn

type exn

 
Datatype detail

order

datatype order = LESS | EQUAL | GREATER

 
DataConstructor detail

LESS

constructor LESS : order


EQUAL

constructor EQUAL : order


GREATER

constructor GREATER : 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


Match

exception Match


Subscript

exception Subscript


Size

exception Size


Overflow

exception Overflow


Chr

exception Chr


Div

exception Div


Domain

exception Domain


Span

exception Span


Fail

exception Fail of string


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).