Overview  Index  Help 
Standard ML Basis Library

IntInfImp


structure IntInfImp :> INT_INF =
struct
  type int = IntInf.int
  datatype rep = CoreIntInf.rep
  val precision
  val minInt
  val maxInt
  val toInt
  val fromInt
  val toLarge
  val fromLarge
  val concrete
  val abstract
  val baseBits
  val binary
  val shiftAmount
  val << : int * Word.word -> int
  val >>
  val &&
  val ||
  val bitfmt
  val decBase
  val decDigs
  val decfmt
  val fmt
  val sign
  val sameSign
  val notb : int -> int
  val log2 : int -> Int.int
  val orb : int * int -> int
  val andb : int * int -> int
  val xorb : int * int -> int
  val lshift
  val rshift
  val startscan
  val bitscan
  val decscan
  val binDigVal
  val octDigVal
  val hexDigVal
  val scan
  val ~
  val +
  val *
  val div
  val mod
  val -
  val <
  val <=
  val >
  val >=
  val divMod : int * int -> int * int
  val quotRem : int * int -> int * int
  val quot
  val rem
  val compare
  val abs
  val pow : int * Int.int -> int
  val max
  val min
  val toString
  val fromString
  val << : int * Word.word -> int
  val ~>> : int * Word.word -> int
end

 
Type detail

int

type int = IntInf.int

 
Datatype detail

rep

datatype rep = CoreIntInf.rep

   
Value detail

precision

val precision


minInt

val minInt


maxInt

val maxInt


toInt

val toInt


fromInt

val fromInt


toLarge

val toLarge


fromLarge

val fromLarge


concrete

val concrete


abstract

val abstract


baseBits

val baseBits


binary

val binary


shiftAmount

val shiftAmount


<<

val << : int * Word.word -> int


>>

val >>


&&

val &&


||

val ||


bitfmt

val bitfmt


decBase

val decBase


decDigs

val decDigs


decfmt

val decfmt


fmt

val fmt


sign

val sign


sameSign

val sameSign


notb

val notb : int -> int


log2

val log2 : int -> Int.int


orb

val orb : int * int -> int


andb

val andb : int * int -> int


xorb

val xorb : int * int -> int


lshift

val lshift


rshift

val rshift


startscan

val startscan


bitscan

val bitscan


decscan

val decscan


binDigVal

val binDigVal


octDigVal

val octDigVal


hexDigVal

val hexDigVal


scan

val scan


~

val ~


+

val +


*

val *


div

val div


mod

val mod


-

val -


<

val <


<=

val <=


>

val >


>=

val >=


divMod

val divMod : int * int -> int * int


quotRem

val quotRem : int * int -> int * int


quot

val quot


rem

val rem


compare

val compare


abs

val abs


pow

val pow : int * Int.int -> int


max

val max


min

val min


toString

val toString


fromString

val fromString


<<

val << : int * Word.word -> int


~>>

val ~>> : int * Word.word -> int

 


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