package
numeric
Type Members
-
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
-
Value Members
-
def
Natural(a: slamdata.Predef.Long): slamdata.Predef.Option[Natural]
-
def
Positive(a: slamdata.Predef.Long): slamdata.Predef.Option[Positive]
-
-
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]]
Inherited from AnyRef
Inherited from Any