Estructura.StreamData (estructura v1.8.0)
View SourceAdditional 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
@opaque t(a)
An opaque type that represents an Estructura.StreamData
generator that generates values
of type a
.
Functions
@spec date(keyword()) :: StreamData.t(Date.t())
Generates an instance of Date.t()
. This generator is unshrinkable.
@spec datetime(keyword()) :: StreamData.t(DateTime.t())
Generates an instance of DateTime.t()
. This generator is unshrinkable.
@spec id(keyword()) :: StreamData.t((term() -> term()))
Identity function as a stream data generator
@spec ip4(keyword()) :: StreamData.t(Estructura.Nested.Type.IP.t())
Generates an instance of Estructura.Nested.Type.IP.t()
. This generator is unshrinkable.
@spec ip6(keyword()) :: StreamData.t(Estructura.Nested.Type.IP.t())
Generates an instance of Estructura.Nested.Type.IP.t()
. This generator is unshrinkable.
@spec ip(keyword()) :: StreamData.t(Estructura.Nested.Type.IP.t())
Generates an instance of Estructura.Nested.Type.IP.t()
. This generator is unshrinkable.
@spec iterate(value, (value -> value)) :: StreamData.t(value) when value: term()
Helper to generate unshrinkable streams as per Stream.iterate/2
.
@spec time(keyword()) :: StreamData.t(Time.t())
Generates an instance of Time.t()
. This generator is unshrinkable.
@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]