Uses of Interface
io.vavr.test.Checkable

Uses of Checkable in io.vavr.test

Classes in io.vavr.test that implement Checkable

Modifier and Type	Class and Description
static class	Property.Property1<T1> 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 Checkable

Modifier and Type	Method and Description
default Checkable	Checkable.and(Checkable checkable) Returns a new Checkable which is satisfied if this Checkable and the given checkable are satisfied.
Checkable	Property.Property1.implies(CheckedFunction1<T1,Boolean> postcondition) Returns an implication which composes this Property as pre-condition and a given post-condition.
Checkable	Property.Property2.implies(CheckedFunction2<T1,T2,Boolean> postcondition) Returns an implication which composes this Property as pre-condition and a given post-condition.
Checkable	Property.Property3.implies(CheckedFunction3<T1,T2,T3,Boolean> postcondition) Returns an implication which composes this Property as pre-condition and a given post-condition.
Checkable	Property.Property4.implies(CheckedFunction4<T1,T2,T3,T4,Boolean> postcondition) Returns an implication which composes this Property as pre-condition and a given post-condition.
Checkable	Property.Property5.implies(CheckedFunction5<T1,T2,T3,T4,T5,Boolean> postcondition) Returns an implication which composes this Property as pre-condition and a given post-condition.
Checkable	Property.Property6.implies(CheckedFunction6<T1,T2,T3,T4,T5,T6,Boolean> postcondition) Returns an implication which composes this Property as pre-condition and a given post-condition.
Checkable	Property.Property7.implies(CheckedFunction7<T1,T2,T3,T4,T5,T6,T7,Boolean> postcondition) Returns an implication which composes this Property as pre-condition and a given post-condition.
Checkable	Property.Property8.implies(CheckedFunction8<T1,T2,T3,T4,T5,T6,T7,T8,Boolean> postcondition) Returns an implication which composes this Property as pre-condition and a given post-condition.
default Checkable	Checkable.or(Checkable 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

Modifier and Type	Method and Description
default Checkable	Checkable.and(Checkable checkable) Returns a new Checkable which is satisfied if this Checkable and the given checkable are satisfied.
default Checkable	Checkable.or(Checkable checkable) Returns a new Checkable which is satisfied if this Checkable or the given checkable are satisfied.