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
/
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
.type
object
char
.type
Clear all
Members list
Concise view
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
]]