Estructura.StreamData (estructura v1.8.0)

View Source

Additional generators to be used with __generator__/1 generated by Use Estructura

Summary

Types

An opaque type that represents an Estructura.StreamData generator that generates values of type a.

Functions

Generates an instance of Date.t(). This generator is unshrinkable.

Generates an instance of DateTime.t(). This generator is unshrinkable.

Identity function as a stream data generator

Generates an instance of Estructura.Nested.Type.IP.t(). This generator is unshrinkable.

Generates an instance of Estructura.Nested.Type.IP.t(). This generator is unshrinkable.

Generates an instance of Estructura.Nested.Type.IP.t(). This generator is unshrinkable.

Helper to generate unshrinkable streams as per Stream.iterate/2.

Generates an instance of Time.t(). This generator is unshrinkable.

Generates an instance of URI.t(). This generator is unshrinkable.

Types

t(a)

@opaque t(a)

An opaque type that represents an Estructura.StreamData generator that generates values of type a.

Functions

date(options \\ [])

@spec date(keyword()) :: StreamData.t(Date.t())

Generates an instance of Date.t(). This generator is unshrinkable.

datetime(options \\ [])

@spec datetime(keyword()) :: StreamData.t(DateTime.t())

Generates an instance of DateTime.t(). This generator is unshrinkable.

id(options \\ [])

@spec id(keyword()) :: StreamData.t((term() -> term()))

Identity function as a stream data generator

ip4(options \\ [])

Generates an instance of Estructura.Nested.Type.IP.t(). This generator is unshrinkable.

ip6(options \\ [])

Generates an instance of Estructura.Nested.Type.IP.t(). This generator is unshrinkable.

ip(options \\ [])

Generates an instance of Estructura.Nested.Type.IP.t(). This generator is unshrinkable.

iterate(initial_value, next_fun)

@spec iterate(value, (value -> value)) :: StreamData.t(value) when value: term()

Helper to generate unshrinkable streams as per Stream.iterate/2.

time(options \\ [])

@spec time(keyword()) :: StreamData.t(Time.t())

Generates an instance of Time.t(). This generator is unshrinkable.

uri(options \\ [])

@spec uri(keyword()) :: StreamData.t(URI.t())

Generates an instance of URI.t(). This generator is unshrinkable.

See: URI.

[scheme]://[userinfo]@[host]:[port][path]?[query]#[fragment]