numeric

Value Members

1. def Natural(a: Predef.Long): Predef.Option[Natural]

   

2. def Positive(a: Predef.Long): Predef.Option[Positive]

   

3. implicit def positiveToNatural[F[_, _], A](a: F[A, eu.timepit.refined.numeric.Positive])(implicit rt: RefType[F]): F[A, NonNegative]

   

4. implicit def refinedEqual[F[_, _], T, M](implicit arg0: Equal[T], rt: RefType[F]): Equal[F[T, M]]

   

5. implicit def refinedMonoid[F[_, _], T](implicit rt: RefType[F], num: Numeric[T]): Monoid[F[T, NonNegative]]

   

6. implicit def refinedShow[F[_, _], T, M](implicit arg0: Show[T], rt: RefType[F]): Show[F[T, M]]

   

7. implicit def widenNatural[F[_, _]](a: F[Predef.Int, NonNegative])(implicit rt: RefType[F]): F[Predef.Long, NonNegative]

   

8. implicit def widenPositive[F[_, _], N](a: F[Predef.Int, Greater[N]])(implicit rt: RefType[F]): F[Predef.Long, Greater[N]]