package tezos-test-helpers

You can search for identifiers within the package.

in-package search v0.2.0

tezos-test-helpers
- Library tezos-test-helpers
  - Lib_test
    
    Assert
    
    Lwt_assert
    
    Qcheck2_helpers
    
    MakeMapGen
    
    Qcheck_extra
    
    Non_empty
    
    Functor
    
    S
    
    Applicative
    
    S
    
    Monad
    
    S
    
    Syntax
    
    Identity
    
    Stateful_gen
    
    S
    
    Make
    
    Default
    
    Qcheck_helpers
    
    MakeMapArb
    
    Random_pure
    
    Testable
    
    TESTABLE
    
    Source_code_position
    
    V1
    
    Unix_platform
- Sources
  - tezos-test-helpers
    
    assert.ml
    
    lib_test.ml
    
    lwt_assert.ml
    
    qcheck2_helpers.ml
    
    qcheck_extra.ml
    
    qcheck_helpers.ml
    
    random_pure.ml
    
    testable.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Stateful_gen.Default`Source

include Monad.S

include Applicative.S

include Functor.S

Sourcetype 'a t

Sourceval map : ('a -> 'b) -> 'a t -> 'b t

Map over the given value.

Sourceval return : 'a -> 'a t

Inject the given value.

Sourceval map2 : ('a -> 'b -> 'c) -> 'a t -> 'b t -> 'c t

Map a binary function over the given value.

Sourceval product : 'a t -> 'b t -> ('a * 'b) t

Combine the given values. See also map2.

Sourceval join : 'a t t -> 'a t

Monadic join operator.

Sourceval bind : 'a t -> ('a -> 'b t) -> 'b t

Monadic bind operator.

Sourcetype 'a m = 'a Identity.t

Sourceval bool : bool t

Generate a bool.

Sourceval nat_less_than : int -> int t

Generate a nat smaller than the given value.

Sourceval small_int : int t

Generate a small int.

Sourceval replicate : int -> 'a t -> 'a list t

Generate a list of the given length.

Sourceval replicate_for_each : 'a list -> 'b t -> ('a * 'b) list t

Run a predetermined generator for each element in a list, and combine the result with the list element.

See traverse for a more general form.

Sourceval traverse : ('a -> 'b t) -> 'a list -> 'b list t

Produce a generator for each element in a list.

Sourceval oneof : 'a t Non_empty.t -> 'a t

Return a generator that picks and invokes one of the given generators, uniformly distributed.

Sourceval small_list : 'a t -> 'a list t

Generate a short list.

Sourceval opt : 'a t -> 'a option t

Generate an optional value.

Sourceval char_readable : char t

Generate a readable character.

Sourceval string_readable : string t

Generate a readable string.

Sourceval lift : 'a m -> 'a t

Lift the underlying computation type into a generator.

Sourceval to_qcheck_gen : 'a t -> 'a m QCheck.Gen.t

Convert a QCheck_extra generator to a QCheck generator.

The QCheck generator is run once once and the result is used as the seed of the given generator.

Warning Because Stdlib.Random.Gen and QCheck.Gen have mutable state, you must make sure this is only called once, to get predictable results.

package tezos-test-helpers

Module Stateful_gen.DefaultSource

Module `Stateful_gen.Default`Source