Modulecardano-ledger-core-1.21.0.0

Cardano.Ledger.BaseTypes.NonZero

value(%.) :: Integral a => a -> NonZero a -> Ratio a

value(%?) :: Integral a => a -> a -> Ratio a

value(/.) :: Fractional a => a -> NonZero a -> a

valuebindNonZero :: (a -> NonZero b) -> NonZero a -> NonZero b

valueknownNonZero :: (KnownNat n, 1 <= n) => NonZero Integer

valueknownNonZeroBounded :: (KnownNat n, 1 <= n, WithinBounds n a, Num a) => NonZero a

valuemapNonZero

valuemulNonZero

valuemulNonZeroNat

valuenegateNonZero :: NonZero Integer -> NonZero Integer

valuenonZero :: HasZero a => a -> Maybe (NonZero a)

valuenonZeroM :: (HasZero a, MonadFail m) => a -> m (NonZero a)

valuenonZeroOr :: HasZero a => a -> NonZero a -> NonZero a

valuerecipNonZero :: Integral a => NonZero (Ratio a) -> NonZero (Ratio a)

valuetoIntegerNonZero :: Integral a => NonZero a -> NonZero Integer

valuetoRatioNonZero :: Integral a => NonZero a -> NonZero (Ratio a)

valueunsafeNonZero :: a -> NonZero a

classclass HasZero a where

Instances10HasZero, …

HasZero CoinDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Coin
HasZero IntegerDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes.NonZero
HasZero NaturalDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes.NonZero
HasZero IntDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes.NonZero
HasZero Word16Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes.NonZero
HasZero Word32Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes.NonZero
HasZero Word64Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes.NonZero
HasZero Word8Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes.NonZero
HasZero (CompactForm Coin)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Coin
HasZero a => HasZero (Ratio a)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes.NonZero

classclass KnownBounds (a :: k) where

Instances4KnownBounds

KnownBounds Word16Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes.NonZero
KnownBounds Word32Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes.NonZero
KnownBounds Word64Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes.NonZero
KnownBounds Word8Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes.NonZero

newtypenewtype NonZero a

Instances13Eq, Ord, Show, Storable, NFData, FromJSON, …

Eq a => Eq (NonZero a)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes.NonZero
Ord a => Ord (NonZero a)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes.NonZero
Show a => Show (NonZero a)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes.NonZero
Storable a => Storable (NonZero a)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes.NonZero
NFData a => NFData (NonZero a)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes.NonZero
(FromJSON a, HasZero a) => FromJSON (NonZero a)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes.NonZero
ToJSON a => ToJSON (NonZero a)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes.NonZero
NoThunks a => NoThunks (NonZero a)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes.NonZero
(HasZero a, FromCBOR a) => FromCBOR (NonZero a)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes.NonZero
ToCBOR a => ToCBOR (NonZero a)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes.NonZero
(Typeable a, DecCBOR a, HasZero a) => DecCBOR (NonZero a)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes.NonZero
EncCBOR a => EncCBOR (NonZero a)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.BaseTypes.NonZero
(ToPlutusData a, HasZero a) => ToPlutusData (NonZero a)Defined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Plutus.ToPlutusData

valueunNonZero :: NonZero a -> a

typetype WithinBounds (n :: Nat) (a :: k) = (MinBound a <= n, n <= MaxBound a)