rel8-internal
Safe HaskellSafe-Inferred
LanguageHaskell2010

Rel8.Internal.Type.Decimal

Documentation

class (HasResolution n, KnownNat (Log n)) => PowerOf10 (n :: a) Source #

Instances

Instances details
(KnownNat n, KnownNat (Log n), IsPowerOf10 n) => PowerOf10 (n :: Nat) Source # 
Instance details

Defined in Rel8.Internal.Type.Decimal

PowerOf10 E0 Source # 
Instance details

Defined in Rel8.Internal.Type.Decimal

PowerOf10 E1 Source # 
Instance details

Defined in Rel8.Internal.Type.Decimal

PowerOf10 E12 Source # 
Instance details

Defined in Rel8.Internal.Type.Decimal

PowerOf10 E2 Source # 
Instance details

Defined in Rel8.Internal.Type.Decimal

PowerOf10 E3 Source # 
Instance details

Defined in Rel8.Internal.Type.Decimal

PowerOf10 E6 Source # 
Instance details

Defined in Rel8.Internal.Type.Decimal

PowerOf10 E9 Source # 
Instance details

Defined in Rel8.Internal.Type.Decimal

resolution :: forall {a} (n :: a). PowerOf10 n => Natural Source #