refined/monocle.refined

monocle.refined

package monocle.refined

Type members

Classlikes

trait BitsInstances
trait CharsInstances
trait RefinedInstances extends BitsInstances with CharsInstances with StringsInstances
Source
All.scala
trait StringsInstances
object all extends RefinedInstances
Source
All.scala
object bits extends BitsInstances
object chars extends CharsInstances
object strings extends StringsInstances

Types

type ByteBits = ZeroTo[7]
type CharBits = ZeroTo[15]
type EndsWithString[T <: String] = Refined[String, EndsWith[T]]
type IntBits = ZeroTo[31]
type LongBits = ZeroTo[63]
type LowerCaseChar = Refined[Char, LowerCase]
type StartsWithString[T <: String] = Refined[String, StartsWith[T]]
type UpperCaseChar = Refined[Char, UpperCase]
type ZeroTo[T] = Refined[Int, Closed[0, T]]