package
numeric
Value Members
-
-
-
implicit
def
positiveToNatural[F[_, _], A](a: F[A, eu.timepit.refined.numeric.Positive])(implicit rt: RefType[F]): F[A, NonNegative]
-
implicit
def
refinedEqual[F[_, _], T, M](implicit arg0: Equal[T], rt: RefType[F]): Equal[F[T, M]]
-
implicit
def
refinedMonoid[F[_, _], T](implicit rt: RefType[F], num: Numeric[T]): Monoid[F[T, NonNegative]]
-
implicit
def
refinedShow[F[_, _], T, M](implicit arg0: Show[T], rt: RefType[F]): Show[F[T, M]]
-
implicit
def
widenNatural[F[_, _]](a: F[Predef.Int, NonNegative])(implicit rt: RefType[F]): F[Predef.Long, NonNegative]
-
implicit
def
widenPositive[F[_, _], N](a: F[Predef.Int, Greater[N]])(implicit rt: RefType[F]): F[Predef.Long, Greater[N]]
Inherited from AnyRef
Inherited from Any