Interface GivenArbitraries<F, A, B, C, R, O, E>

interface GivenArbitraries<F extends TypeLambda, A, B, C, R, O, E> {
    a: Arbitrary<A>;
    b: Arbitrary<B>;
    c: Arbitrary<C>;
    getArbitrary: LiftArbitrary<F, R, O, E>;
}

Type Parameters

F extends TypeLambda
A
B
C
R
O
E

Hierarchy (View Summary)

GivenArbitraries
- GivenConcerns

Index

Properties

a b c getArbitrary

Properties

a

a: Arbitrary<A>

An arbitrary for the underlying type A.

b

b: Arbitrary<B>

An arbitrary for the underlying type B.

c

c: Arbitrary<C>

An arbitrary for the underlying type C.

getArbitrary

getArbitrary: LiftArbitrary<F, R, O, E>

A function that will get an arbitrary for the type under test from an arbitrary for the underlying type.

Interface GivenArbitraries<F, A, B, C, R, O, E>

Type Parameters

Hierarchy (View Summary)

Index

Properties

Properties

a

b

c

getArbitrary

Settings

On This Page