Uses of Interface
io.vavr.test.Checkable
Packages that use Checkable
Package
Description
A property check framework built around Property which integrates well with unit test frameworks like junit.
-
Uses of Checkable in io.vavr.test
Classes in io.vavr.test that implement CheckableModifier and TypeClassDescriptionstatic class
Represents a 1-ary checkable property.static class
Property.Property2<T1,
T2> Represents a 2-ary checkable property.static class
Property.Property3<T1,
T2, T3> Represents a 3-ary checkable property.static class
Property.Property4<T1,
T2, T3, T4> Represents a 4-ary checkable property.static class
Property.Property5<T1,
T2, T3, T4, T5> Represents a 5-ary checkable property.static class
Property.Property6<T1,
T2, T3, T4, T5, T6> Represents a 6-ary checkable property.static class
Property.Property7<T1,
T2, T3, T4, T5, T6, T7> Represents a 7-ary checkable property.static class
Property.Property8<T1,
T2, T3, T4, T5, T6, T7, T8> Represents a 8-ary checkable property.Methods in io.vavr.test that return CheckableModifier and TypeMethodDescriptiondefault Checkable
Returns a new Checkable which is satisfied if this Checkable and the given checkable are satisfied.Property.Property1.implies
(CheckedFunction1<T1, Boolean> postcondition) Returns an implication which composes this Property as pre-condition and a given post-condition.Property.Property2.implies
(CheckedFunction2<T1, T2, Boolean> postcondition) Returns an implication which composes this Property as pre-condition and a given post-condition.Returns an implication which composes this Property as pre-condition and a given post-condition.Returns an implication which composes this Property as pre-condition and a given post-condition.Returns an implication which composes this Property as pre-condition and a given post-condition.Returns an implication which composes this Property as pre-condition and a given post-condition.Returns an implication which composes this Property as pre-condition and a given post-condition.Returns an implication which composes this Property as pre-condition and a given post-condition.default Checkable
Returns a new Checkable which is satisfied if this Checkable or the given checkable are satisfied.Methods in io.vavr.test with parameters of type Checkable