monocle.refined.package.scala Maven / Gradle / Ivy

Go to download
package monocle

import eu.timepit.refined.api.{Refined, Validate}
import eu.timepit.refined.char.{LowerCase, UpperCase}
import eu.timepit.refined.string.{EndsWith, StartsWith}
import eu.timepit.refined.numeric.Interval

package object refined {
  type ZeroTo[T] = Int Refined Interval.Closed[0, T]

  type ByteBits = ZeroTo[7]
  type CharBits = ZeroTo[15]
  type IntBits  = ZeroTo[31]
  type LongBits = ZeroTo[63]

  type LowerCaseChar = Char Refined LowerCase
  type UpperCaseChar = Char Refined UpperCase

  type StartsWithString[T <: String] = String Refined StartsWith[T]
  type EndsWithString[T <: String]   = String Refined EndsWith[T]

  private[refined] def refinedPrism[T, P](implicit v: Validate[T, P]): Prism[T, T Refined P] =
    Prism.partial[T, T Refined P] {
      case t if v.isValid(t) => Refined.unsafeApply(t)
    } {
      _.value
    }
}