Random.Task

List of Task Generators

Generators

task : Generator value -> Generator (Task error value)

Generate a successful task from a generator of successful values

error : Generator error -> Generator (Task error value)

Generate a failed task from a generator of error values

spawn : Generator (Task x value) -> Generator (Task y ThreadID)

Generate a task that is spawned in some independent thread given a task generator

timeout : Time -> Generator (Task error ())

Generate a timeout of given time

rangeLengthTimeout : Time -> Time -> Generator (Task error ())

Generate a timeout which times out at some point between a given minimum and maximum time

Generator (List (Task error value))

-> Generator (Task error (List value))

Generate a sequence of tasks that are run in series from a list of tasks

Generator (List (Task error value))

-> Generator (Task error (List ThreadID))

Generate a sequence of tasks that are run in parallel from a list of tasks

Generator (List (Task x value))

-> Generator (Task y (List value))

Generate a sequence of optional tasks that are run in sequence from a list of tasks

send : Address a -> Generator a -> Generator (Task error ())

Generate a task that sends randomly generated values to a given address using a given random generator

broadcast : List (Address a) -> Generator a -> Generator (Task error ())

Generate a task that broadcasts randomly generated values to a given address using a given random generator