System.Diagnostics.Contracts 4.0.0-beta-22605
Provides static classes for representing program contracts such as preconditions, postconditions, and invariants.
Commonly Used Types:
System.Diagnostics.Contracts.Contract
System.Diagnostics.Contracts.ContractClassAttribute
System.Diagnostics.Contracts.ContractClassForAttribute
System.Diagnostics.Contracts.ContractFailureKind
System.Runtime.CompilerServices.ContractHelper
System.Diagnostics.Contracts.ContractInvariantMethodAttribute
System.Diagnostics.Contracts.PureAttribute
System.Diagnostics.Contracts.ContractArgumentValidatorAttribute
System.Diagnostics.Contracts.ContractVerificationAttribute
System.Diagnostics.Contracts.ContractOptionAttribute
Showing the top 20 packages that depend on System.Diagnostics.Contracts.
| Packages | Downloads |
|---|---|
|
LanguageExt.Core
This library uses and abuses the features of C# 6 and 7 to provide a functional 'Base class library', that, if you squint, can look like extensions to the language itself.
|
1 |
|
LanguageExt.Core
This library uses and abuses the features of C# to provide a functional 'Base class library', that, if you squint, can look like extensions to the language itself.
|
1 |
|
LanguageExt.Core
This library uses and abuses the features of C# 6 and 7 to provide a functional 'Base class library', that, if you squint, can look like extensions to the language itself. It also includes an 'Erlang like' process system (actors) that can optionally persist messages and state to Redis (note you can use it without Redis for in-app messaging). The process system additionally supports Rx streams of messages and state allowing for a complete system of reactive events and message dispatch.
|
1 |
All Frameworks
- System.Runtime (>= 4.0.0-beta-22605)
| Version | Downloads | Last updated |
|---|---|---|
| 4.3.0 | 0 | 11/15/2016 |
| 4.3.0-preview1-24530-04 | 0 | 10/24/2016 |
| 4.0.1 | 0 | 06/27/2016 |
| 4.0.1-rc2-24027 | 0 | 05/16/2016 |
| 4.0.1-beta-23516 | 0 | 11/18/2015 |
| 4.0.1-beta-23409 | 0 | 10/15/2015 |
| 4.0.1-beta-23225 | 0 | 09/01/2015 |
| 4.0.0 | 0 | 07/29/2015 |
| 4.0.0-beta-23109 | 0 | 07/27/2015 |
| 4.0.0-beta-23019 | 0 | 06/30/2015 |
| 4.0.0-beta-22816 | 0 | 04/24/2015 |
| 4.0.0-beta-22605 | 0 | 02/13/2015 |
| 4.0.0-beta-22416 | 0 | 01/16/2015 |
| 4.0.0-beta-22231 | 0 | 11/11/2014 |