Requires
"Design by contract" helpers for pre-conditions.
Static members
| Static member | Description |
IsNull(o)
Signature: o:obj -> unit
|
|
IsNull(o)
Signature: (o:obj []) -> unit
|
|
IsNull(o, description, args)
Signature: (o:obj * description:string * args:obj []) -> unit
|
|
NotEmpty(s)
Signature: s:string -> unit
|
Requires that string is not null or empty. |
NotEmpty(s, description, args)
Signature: (s:string * description:string * args:obj []) -> unit
|
|
NotNull(o)
Signature: o:obj -> unit
|
|
NotNull(o)
Signature: (o:obj []) -> unit
|
|
NotNull(o, description, args)
Signature: (o:obj * description:string * args:obj []) -> unit
|
|
RequiresThat(self, isOkFunc)
Signature: (self:IEnumerable<'T> * isOkFunc:Func<'T,bool>) -> IEnumerable<'T>
Type parameters: 'T |
|
That(ok)
Signature: ok:bool -> unit
|
|
That(ok, description, args)
Signature: (ok:bool * description:string * args:obj []) -> unit
|
