|
signature ASSERT =
sig
type 'a assertEqual = 'a -> 'a -> 'a
type 'a valueFormatter = 'a -> string
datatype failure =
GeneralFailure of string | NotEqualFailure of string * string
exception Fail of failure
val assertEqual : ('a * 'a -> bool) -> 'a valueFormatter -> 'a assertEqual
val fail : string -> 'a
val failByNotEqual : string * string -> 'a
val assertEqualUnit : unit assertEqual
val assertEqualInt : int assertEqual
val assertEqualWord : word assertEqual
val assertEqualWord8 : Word8.word assertEqual
val assertEqualWord32 : Word32.word assertEqual
val assertEqualReal : real assertEqual
val assertEqualChar : char assertEqual
val assertEqualString : string assertEqual
val assertEqualSubstring : substring assertEqual
val assertEqualExceptionName : exn assertEqual
val assertEqualRef : 'a assertEqual -> 'a ref assertEqual
val assertSameRef : 'a ref assertEqual
val assertEqualBool : bool assertEqual
val assertTrue : bool -> bool
val assertFalse : bool -> bool
val assertEqualOption : 'a assertEqual -> 'a option assertEqual
val assertEqualIntOption : int option assertEqual
val assertEqualWordOption : word option assertEqual
val assertEqualWord8Option : Word8.word option assertEqual
val assertEqualWord32Option : Word32.word option assertEqual
val assertEqualRealOption : real option assertEqual
val assertEqualCharOption : char option assertEqual
val assertEqualStringOption : string option assertEqual
val assertEqualSubstringOption : substring option assertEqual
val assertSome : 'a option -> 'a option
val assertNone : 'a option -> 'a option
val assertEqualOrder : order assertEqual
val assertEqual2Tuple
: 'a assertEqual * 'b assertEqual -> ('a * 'b) assertEqual
val assertEqual3Tuple
: 'a assertEqual * 'b assertEqual * 'c assertEqual ->
('a * 'b * 'c) assertEqual
val assertEqualContainer
: ('a -> int) * ('a * int -> 'b) * 'b assertEqual -> 'a assertEqual
val assertEqualVector : 'a assertEqual -> 'a vector assertEqual
val assertEqualWord8Vector : Word8Vector.vector assertEqual
val assertEqualCharVector : CharVector.vector assertEqual
val assertEqualArray : 'a assertEqual -> 'a array assertEqual
val assertEqualWord8Array : Word8Array.array assertEqual
val assertEqualCharArray : CharArray.array assertEqual
val assertEqualList : 'a assertEqual -> 'a list assertEqual
val assertEqualIntList : int list assertEqual
val assertEqualWordList : word list assertEqual
val assertEqualWord8List : Word8.word list assertEqual
val assertEqualWord32List : Word32.word list assertEqual
val assertEqualRealList : real list assertEqual
val assertEqualCharList : char list assertEqual
val assertEqualStringList : string list assertEqual
val assertEqualSubstringList : substring list assertEqual
end
Type detail |
---|
type 'a assertEqual = 'a -> 'a -> 'a
Functions of this type require two values: expected and actual. They return the actual if the expected and the actual are equal to each other, and raise Fail otherwise.
type 'a valueFormatter = 'a -> string
Datatype detail |
---|
datatype failure = GeneralFailure of string | NotEqualFailure of string * string
DataConstructor detail |
---|
constructor GeneralFailure message : string -> failure
message
constructor NotEqualFailure (expected, actual) : string * string -> failure
expected
actual
Value detail |
---|
fun assertEqual comparator formatter
: ('a * 'a -> bool) -> 'a valueFormatter -> 'a assertEqual
comparator
formatter
fun fail message : string -> 'a
error
fun failByNotEqual (expected, actual) : string * string -> 'a
expected
actual
val assertEqualUnit : unit assertEqual
val assertEqualInt : int assertEqual
val assertEqualWord : word assertEqual
val assertEqualWord8 : Word8.word assertEqual
val assertEqualWord32 : Word32.word assertEqual
val assertEqualReal : real assertEqual
val assertEqualChar : char assertEqual
val assertEqualString : string assertEqual
val assertEqualSubstring : substring assertEqual
val assertEqualExceptionName : exn assertEqual
val assertEqualRef : 'a assertEqual -> 'a ref assertEqual
val assertSameRef : 'a ref assertEqual
val assertEqualBool : bool assertEqual
val assertTrue : bool -> bool
val assertFalse : bool -> bool
val assertEqualOption : 'a assertEqual -> 'a option assertEqual
val assertEqualIntOption : int option assertEqual
val assertEqualWordOption : word option assertEqual
val assertEqualWord8Option : Word8.word option assertEqual
val assertEqualWord32Option : Word32.word option assertEqual
val assertEqualRealOption : real option assertEqual
val assertEqualCharOption : char option assertEqual
val assertEqualStringOption : string option assertEqual
val assertEqualSubstringOption : substring option assertEqual
val assertSome : 'a option -> 'a option
val assertNone : 'a option -> 'a option
val assertEqualOrder : order assertEqual
val assertEqual2Tuple : 'a assertEqual * 'b assertEqual -> ('a * 'b) assertEqual
val assertEqual3Tuple
: 'a assertEqual * 'b assertEqual * 'c assertEqual ->
('a * 'b * 'c) assertEqual
val assertEqualContainer
: ('a -> int) * ('a * int -> 'b) * 'b assertEqual -> 'a assertEqual
val assertEqualVector : 'a assertEqual -> 'a vector assertEqual
val assertEqualWord8Vector : Word8Vector.vector assertEqual
val assertEqualCharVector : CharVector.vector assertEqual
val assertEqualArray : 'a assertEqual -> 'a array assertEqual
val assertEqualWord8Array : Word8Array.array assertEqual
val assertEqualCharArray : CharArray.array assertEqual
val assertEqualList : 'a assertEqual -> 'a list assertEqual
val assertEqualIntList : int list assertEqual
val assertEqualWordList : word list assertEqual
val assertEqualWord8List : Word8.word list assertEqual
val assertEqualWord32List : Word32.word list assertEqual
val assertEqualRealList : real list assertEqual
val assertEqualCharList : char list assertEqual
val assertEqualStringList : string list assertEqual
val assertEqualSubstringList : substring list assertEqual
Exception detail |
---|
exception Fail of failure
failure
| SMLUnit: regression test framework for SML |