package
numeric
Type Members
-
type
Natural = Refined[Long, NonNegative]
-
type
Positive = Refined[Long, eu.timepit.refined.numeric.Positive]
-
implicit final
class
SafeBigInt extends AnyVal
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[Int, NonNegative])(implicit rt: RefType[F]): F[Long, NonNegative]
-
implicit
def
widenPositive[F[_, _], N](a: F[Int, Greater[N]])(implicit rt: RefType[F]): F[Long, Greater[N]]
Inherited from AnyRef
Inherited from Any