zio-test-refined
zio-test-refined
API
zio.test.refined
BooleanInstances
CharInstances
CollectionInstances
GenericInstances
NumericInstances
StringInstances
all
boolean
char
collection
generic
numeric
string
zio.test.refined.types
AllTypesInstances
CharInstances
DigitInstances
NetInstances
NumericInstances
StringInstance
FiniteStringPartiallyApplied
TimeInstances
all
char
digit
net
numeric
string
time
zio-test-refined
/
zio.test.refined.types
/
StringInstance
StringInstance
zio.test.refined.types.StringInstance
trait
StringInstance
Attributes
Graph
Reset zoom
Hide graph
Show graph
Supertypes
class
Object
trait
Matchable
class
Any
Known subtypes
trait
AllTypesInstances
object
all
.type
object
all
.type
object
string
.type
Clear all
Members list
Concise view
Type members
Classlikes
class
FiniteStringPartiallyApplied
[
N
<:
Int
,
P
](
min
:
Int
)
Attributes
Graph
Reset zoom
Hide graph
Show graph
Supertypes
class
Object
trait
Matchable
class
Any
Value members
Concrete methods
def
finiteStringGen
[
N
<:
Int
]:
FiniteStringPartiallyApplied
[
N
,
MaxSize
[
N
]]
def
hexStringGen
:
Gen
[
Any
,
HexString
]
def
nonEmptyFiniteStringGen
[
N
<:
Int
]:
FiniteStringPartiallyApplied
[
N
,
Size
[
Closed
[
_1
,
N
]]]
def
nonEmptyStringGen
[
R
](
charGen
:
Gen
[
R
,
Char
]):
Gen
[
R
,
NonEmptyString
]
def
trimmedStringGen
[
R
](
charGen
:
Gen
[
R
,
Char
]):
Gen
[
R
,
TrimmedString
]
Implicits
Implicits
implicit
def
finiteStringDeriveGen
[
N
<:
Int
](
implicit
ws
:
Aux
[
N
],
charGen
:
DeriveGen
[
Char
]):
DeriveGen
[
FiniteString
[
N
]]
implicit
def
hexStringDeriveGen
[
R
]:
DeriveGen
[
HexString
]
implicit
def
nonEmptyFiniteStringDeriveGen
[
N
<:
Int
](
implicit
ws
:
Aux
[
N
],
charGen
:
DeriveGen
[
Char
]):
DeriveGen
[
NonEmptyFiniteString
[
N
]]
implicit
def
nonEmptyStringDeriveGen
[
R
](
implicit
charGen
:
DeriveGen
[
Char
]):
DeriveGen
[
NonEmptyString
]
implicit
def
trimmedStringDeriveGen
[
R
](
implicit
charGen
:
DeriveGen
[
Char
]):
DeriveGen
[
TrimmedString
]