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
/
NumericInstances
NumericInstances
zio.test.refined.NumericInstances
trait
NumericInstances
Attributes
Graph
Reset zoom
Hide graph
Show graph
Supertypes
class
Object
trait
Matchable
class
Any
Known subtypes
object
all
.type
object
numeric
.type
Clear all
Members list
Concise view
Value members
Concrete methods
def
byteGreaterThanGen
[
N
](
implicit
wn
:
WitnessAs
[
N
,
Byte
]):
Gen
[
Any
,
Refined
[
Byte
,
Greater
[
N
]]]
def
byteLessThanGen
[
N
](
implicit
wn
:
WitnessAs
[
N
,
Byte
]):
Gen
[
Any
,
Refined
[
Byte
,
Less
[
N
]]]
def
doubleGreaterThanGen
[
N
](
implicit
wn
:
WitnessAs
[
N
,
Double
]):
Gen
[
Any
,
Refined
[
Double
,
Greater
[
N
]]]
def
doubleLessThanGen
[
N
](
implicit
wn
:
WitnessAs
[
N
,
Double
]):
Gen
[
Any
,
Refined
[
Double
,
Less
[
N
]]]
def
intGreaterThanGen
[
N
](
implicit
wn
:
WitnessAs
[
N
,
Int
]):
Gen
[
Any
,
Refined
[
Int
,
Greater
[
N
]]]
def
intLessThanGen
[
N
](
implicit
wn
:
WitnessAs
[
N
,
Int
]):
Gen
[
Any
,
Refined
[
Int
,
Less
[
N
]]]
def
longGreaterThanGen
[
N
](
implicit
wn
:
WitnessAs
[
N
,
Long
]):
Gen
[
Any
,
Refined
[
Long
,
Greater
[
N
]]]
def
longLessThanGen
[
N
](
implicit
wn
:
WitnessAs
[
N
,
Long
]):
Gen
[
Any
,
Refined
[
Long
,
Less
[
N
]]]
def
shortGreaterThanGen
[
N
](
implicit
wn
:
WitnessAs
[
N
,
Short
]):
Gen
[
Any
,
Refined
[
Short
,
Greater
[
N
]]]
def
shortLessThanGen
[
N
](
implicit
wn
:
WitnessAs
[
N
,
Short
]):
Gen
[
Any
,
Refined
[
Short
,
Less
[
N
]]]
Implicits
Implicits
implicit
def
byteGreaterThan
[
N
](
implicit
wn
:
WitnessAs
[
N
,
Byte
]):
DeriveGen
[
Refined
[
Byte
,
Greater
[
N
]]]
implicit
def
byteLessThan
[
N
](
implicit
wn
:
WitnessAs
[
N
,
Byte
]):
DeriveGen
[
Refined
[
Byte
,
Less
[
N
]]]
implicit
def
doubleGreaterThan
[
N
](
implicit
wn
:
WitnessAs
[
N
,
Double
]):
DeriveGen
[
Refined
[
Double
,
Greater
[
N
]]]
implicit
def
doubleLessThan
[
N
](
implicit
wn
:
WitnessAs
[
N
,
Double
]):
DeriveGen
[
Refined
[
Double
,
Less
[
N
]]]
implicit
def
intGreaterThan
[
N
](
implicit
wn
:
WitnessAs
[
N
,
Int
]):
DeriveGen
[
Refined
[
Int
,
Greater
[
N
]]]
implicit
def
intLessThan
[
N
](
implicit
wn
:
WitnessAs
[
N
,
Int
]):
DeriveGen
[
Refined
[
Int
,
Less
[
N
]]]
implicit
def
longGreaterThan
[
N
](
implicit
wn
:
WitnessAs
[
N
,
Long
]):
DeriveGen
[
Refined
[
Long
,
Greater
[
N
]]]
implicit
def
longLessThan
[
N
](
implicit
wn
:
WitnessAs
[
N
,
Long
]):
DeriveGen
[
Refined
[
Long
,
Less
[
N
]]]
implicit
def
shortGreaterThan
[
N
](
implicit
wn
:
WitnessAs
[
N
,
Short
]):
DeriveGen
[
Refined
[
Short
,
Greater
[
N
]]]
implicit
def
shortLessThan
[
N
](
implicit
wn
:
WitnessAs
[
N
,
Short
]):
DeriveGen
[
Refined
[
Short
,
Less
[
N
]]]