Type class that provides the next greater or next smaller value for a given argument.
Helper class that allows the types F
, T
, and P
to be inferred
from calls like api.RefType.applyRefM[F[T, P]](t)
.
Helper class that allows the types F
, T
, and P
to be inferred
from calls like api.RefType.applyRef[F[T, P]](t)
.
Helper class that allows the types F
, T
, and P
to be inferred
from calls like api.RefType.applyRef[F[T, P]](t)
.
See http://tpolecat.github.io/2015/07/30/infer.html for a detailed explanation of this trick.
Helper class that allows the type T
to be inferred from calls like
api.RefType.refineM[P](t)
.
Helper class that allows the type T
to be inferred from calls like
api.RefType.refineM[P](t)
.
See http://tpolecat.github.io/2015/07/30/infer.html for a detailed explanation of this trick.
Helper class that allows the type T
to be inferred from calls like
api.RefType.refine[P](t)
.
Helper class that allows the type T
to be inferred from calls like
api.RefType.refine[P](t)
.
See http://tpolecat.github.io/2015/07/30/infer.html for a detailed explanation of this trick.
WitnessAs[A, B]
provides the singleton value of type A
in fst
and fst
converted to type B
in snd
.
WitnessAs[A, B]
provides the singleton value of type A
in fst
and fst
converted to type B
in snd
.
The purpose of this type class is to write numeric type class
instances that work with both literal singleton types and
shapeless.Nat
.
Example:
scala> import eu.timepit.refined.W | import shapeless.nat._5 scala> WitnessAs[W.`5`.T, Int] res1: WitnessAs[W.`5`.T, Int] = WitnessAs(5,5) scala> WitnessAs[_5, Int] res2: WitnessAs[_5, Int] = WitnessAs(Succ(),5)
(Since version 0.9.1)
This object was generated by sbt-buildinfo.
Helper class that allows the types
F
,T
, andP
to be inferred from calls likeapi.RefType.applyRefM[F[T, P]](t)
.See http://tpolecat.github.io/2015/07/30/infer.html for a detailed explanation of this trick.