refined
refined
monocle.refined
BitsInstances
CharsInstances
RefinedInstances
StringsInstances
all
bits
chars
strings
refined
/
monocle.refined
monocle.refined
package
monocle.refined
Type members
Type members
Classlikes
trait
BitsInstances
Source
bits.scala
trait
CharsInstances
Source
chars.scala
trait
RefinedInstances
extends
BitsInstances
with
CharsInstances
with
StringsInstances
Source
All.scala
trait
StringsInstances
Source
strings.scala
object
all
extends
RefinedInstances
Source
All.scala
object
bits
extends
BitsInstances
Source
bits.scala
object
chars
extends
CharsInstances
Source
chars.scala
object
strings
extends
StringsInstances
Source
strings.scala
Types
type
ByteBits
=
ZeroTo
[7]
Source
package.scala
type
CharBits
=
ZeroTo
[15]
Source
package.scala
type
EndsWithString
[T <:
String
] =
Refined
[
String
,
EndsWith
[
T
]]
Source
package.scala
type
IntBits
=
ZeroTo
[31]
Source
package.scala
type
LongBits
=
ZeroTo
[63]
Source
package.scala
type
LowerCaseChar
=
Refined
[
Char
,
LowerCase
]
Source
package.scala
type
StartsWithString
[T <:
String
] =
Refined
[
String
,
StartsWith
[
T
]]
Source
package.scala
type
UpperCaseChar
=
Refined
[
Char
,
UpperCase
]
Source
package.scala
type
ZeroTo
[T] =
Refined
[
Int
,
Closed
[0,
T
]]
Source
package.scala