numeric

type Natural = Refined[slamdata.Predef.Long, NonNegative]
type Positive = Refined[slamdata.Predef.Long, eu.timepit.refined.numeric.Positive]
implicit final class SafeBigInt extends AnyVal
final class SampleStats[A] extends AnyRef

Statistics based on a sample from a population.
sealed abstract class SampleStatsInstances extends AnyRef

def Natural(a: slamdata.Predef.Long): slamdata.Predef.Option[Natural]
def Positive(a: slamdata.Predef.Long): slamdata.Predef.Option[Positive]
object SampleStats extends SampleStatsInstances
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[slamdata.Predef.Int, NonNegative])(implicit rt: RefType[F]): F[slamdata.Predef.Long, NonNegative]
implicit def widenPositive[F[_, _], N](a: F[slamdata.Predef.Int, Greater[N]])(implicit rt: RefType[F]): F[slamdata.Predef.Long, Greater[N]]