zio-test-refined

zio-test-refined

zio.test.refined

BooleanInstances

CollectionInstances

GenericInstances

NumericInstances

StringInstances

zio.test.refined.types

AllTypesInstances

NumericInstances

FiniteStringPartiallyApplied

zio-test-refined/zio.test.refined/CharInstances

CharInstances

trait CharInstances

class Object

trait Matchable

class Any

object all.type

object char.type

Value members

Concrete fields

val digitGen: Gen[Random, Refined[Char, Digit]]

val letterGen: Gen[Random, Refined[Char, Letter]]

val lowerCaseGen: Gen[Random, Refined[Char, LowerCase]]

val upperCaseGen: Gen[Random, Refined[Char, UpperCase]]

val whitespaceGen: Gen[Random, 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]]

Generated by

Mode