C# Class iSynaptic.Commons.MaybeMonadContractTests

Inheritance: MonadicLawsTestFixture
Mostra file Open project: iSynaptic/iSynaptic.Commons

Public Methods

Method Description
MaybeMonadContractTests ( Type monadType, Type extensionType ) : System

Private Methods

Method Description
Constructor_ThrowsArgumentNullException_WhenConstructedWithNullComputationFunction ( ) : void
Defer_WithFunctionThatReturnsMonadType ( ) : void
Defer_WithFunctionThatReturnsNullableStructValue ( ) : void
Defer_WithFunctionThatReturnsValue ( ) : void
HasPublicConstructor_ThatTakesAFunctionThatYieldsTheClosedMonadType ( ) : void
HasPublicConstructor_ThatTakesValue ( ) : void
HasValue_ReturnsFalse_WhenConstructedWithParameterlessConstructor ( ) : void
HasValue_ReturnsFalse_WhenProvidedWithNullValue ( ) : void
If_WithBooleanAndThenAndElseMonadType ( ) : void
If_WithBooleanAndThenMonadType ( ) : void
If_WithFuncOfBooleanAndThenAndElseMondadType ( ) : void
If_WithFuncOfBooleanAndThenMonadType ( ) : void
ImplementsEqualityOperator_WithLeftAndRightArgumentsAreMonadTypes ( ) : void
ImplementsEqualityOperator_WithLeftAsMonadTypeAndRightAsValueType ( ) : void
ImplementsEqualityOperator_WithLeftAsValueTypeAndRightAsMonadType ( ) : void
ImplementsGenericIMaybeInterface ( ) : void
ImplementsIEquatableOfMonadType ( ) : void
ImplementsIEquatableOfValueType ( ) : void
ImplementsInequalityOperator_WithLeftAndRightArgumentsAreMonadTypes ( ) : void
ImplementsInequalityOperator_WithLeftAsMonadTypeAndRightAsValueType ( ) : void
ImplementsInequalityOperator_WithLeftAsValueTypeAndRightAsMonadType ( ) : void
ImplementsNonGenericIMaybeInterface ( ) : void
MonadType_ImplementsExplicitConversionOperatorToValueType ( ) : void
MonadType_ImplementsImplicitConversionOperatorToValueType ( ) : void
NoMethods_OnMonadType_ContainOptionalArguments ( ) : void
OverridesObjectEquals ( ) : void
OverridesObjectGetHashCode ( ) : void
ReturnsNoValue_ProvidedThroughComputation ( ) : void
ReturnsValue_IfTypeIsUnit ( ) : void
ReturnsValue_ProvidedThroughComputation ( ) : void
ReturnsValue_ProvidedThroughConstructor ( ) : void
Value_ThrowsInvalidOperationException_WhenConstructedWithNullValue ( ) : void
Value_ViaGenericInterface_ThrowsInvalidOperationException_WhenConstructedWithParameterlessConstructor ( ) : void
Value_ViaGenericInterface_ThrowsInvalidOperationException_WhenUninitializedObjectCreated ( ) : void
Value_ViaNonGenericInterface_ThrowsInvalidOperationException_WhenConstructedWithParameterlessConstructor ( ) : void
Value_ViaNonGenericInterface_ThrowsInvalidOperationException_WhenUninitializedObjectCreated ( ) : void

Method Details

MaybeMonadContractTests() public method

public MaybeMonadContractTests ( Type monadType, Type extensionType ) : System
monadType System.Type
extensionType System.Type
return System