zio-test-refined
zio-test-refined
API
zio.test.refined
types
AllTypesInstances
CharInstances
DigitInstances
NetInstances
NumericInstances
StringInstance
FiniteStringPartiallyApplied
TimeInstances
all
char
digit
net
numeric
string
time
BooleanInstances
CharInstances
CollectionInstances
GenericInstances
NumericInstances
StringInstances
all
boolean
char
collection
generic
numeric
string
zio-test-refined
/
zio.test.refined
/
CharInstances
CharInstances
zio.test.refined.CharInstances
trait
CharInstances
Attributes
Graph
Reset zoom
Hide graph
Show graph
Supertypes
class
Object
trait
Matchable
class
Any
Known subtypes
object
all
object
char
Members list
Clear all
Value members
Concrete fields
val
digitGen
:
Gen
[
Any
,
Refined
[
Char
,
Digit
]]
val
letterGen
:
Gen
[
Any
,
Refined
[
Char
,
Letter
]]
val
lowerCaseGen
:
Gen
[
Any
,
Refined
[
Char
,
LowerCase
]]
val
upperCaseGen
:
Gen
[
Any
,
Refined
[
Char
,
UpperCase
]]
val
whitespaceGen
:
Gen
[
Any
,
Refined
[
Char
,
Whitespace
]]
Implicits
Implicits
implicit
def
digitArbitrary
:
DeriveGen
[
Refined
[
Char
,
Digit
]]
implicit
def
letterDeriveGen
:
DeriveGen
[
Refined
[
Char
,
Letter
]]
implicit
def
lowerCaseDeriveGen
:
DeriveGen
[
Refined
[
Char
,
LowerCase
]]
implicit
def
upperCaseDeriveGen
:
DeriveGen
[
Refined
[
Char
,
UpperCase
]]
implicit
def
whitespaceDeriveGen
:
DeriveGen
[
Refined
[
Char
,
Whitespace
]]
In this article
Attributes
Members list
Value members
Concrete fields
Implicits
Implicits