Estructura.StreamData (estructura v1.11.0)

View Source

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

Summary

Types

t(a)

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

Functions

date(options \\ [])

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

datetime(options \\ [])

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

id(options \\ [])

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)

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

time(options \\ [])

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

uri(options \\ [])

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

uuid(options \\ [])

Generates an instance of Estructura.Nested.Type.UUID.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 \\ [])

@spec ip4(keyword()) :: StreamData.t(Estructura.Nested.Type.IP.t())

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

ip6(options \\ [])

@spec ip6(keyword()) :: StreamData.t(Estructura.Nested.Type.IP.t())

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

ip(options \\ [])

@spec ip(keyword()) :: StreamData.t(Estructura.Nested.Type.IP.t())

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]

uuid(options \\ [])

@spec uuid(keyword()) :: StreamData.t(Estructura.Nested.Type.UUID.t())

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

NB versions 3 and 5 require mandatory namespace/uuid and name options passed.