Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Ledger.BaseTypes.NonZero

Documentation

class KnownBounds a Source #

Associated Types

type MinBound a ∷ Nat Source #

type MaxBound a ∷ Nat Source #

Instances

Instances details

KnownBounds Word16 Source #
Instance details Defined in Cardano.Ledger.BaseTypes.NonZero Associated Types type MinBound Word16 ∷ Nat Source # type MaxBound Word16 ∷ Nat Source #
KnownBounds Word32 Source #
Instance details Defined in Cardano.Ledger.BaseTypes.NonZero Associated Types type MinBound Word32 ∷ Nat Source # type MaxBound Word32 ∷ Nat Source #
KnownBounds Word64 Source #
Instance details Defined in Cardano.Ledger.BaseTypes.NonZero Associated Types type MinBound Word64 ∷ Nat Source # type MaxBound Word64 ∷ Nat Source #
KnownBounds Word8 Source #
Instance details Defined in Cardano.Ledger.BaseTypes.NonZero Associated Types type MinBound Word8 ∷ Nat Source # type MaxBound Word8 ∷ Nat Source #

class HasZero a where Source #

Minimal complete definition

Nothing

Methods

isZero ∷ a → Bool Source #

default isZero ∷ (Eq a, Num a) ⇒ a → Bool Source #

Instances

Instances details

HasZero Word16 Source #
Instance details Defined in Cardano.Ledger.BaseTypes.NonZero Methods isZero ∷ Word16 → Bool Source #
HasZero Word32 Source #
Instance details Defined in Cardano.Ledger.BaseTypes.NonZero Methods isZero ∷ Word32 → Bool Source #
HasZero Word64 Source #
Instance details Defined in Cardano.Ledger.BaseTypes.NonZero Methods isZero ∷ Word64 → Bool Source #
HasZero Word8 Source #
Instance details Defined in Cardano.Ledger.BaseTypes.NonZero Methods isZero ∷ Word8 → Bool Source #
HasZero Coin Source #
Instance details Defined in Cardano.Ledger.Coin Methods isZero ∷ Coin → Bool Source #
HasZero Integer Source #
Instance details Defined in Cardano.Ledger.BaseTypes.NonZero Methods isZero ∷ Integer → Bool Source #
HasZero Natural Source #
Instance details Defined in Cardano.Ledger.BaseTypes.NonZero Methods isZero ∷ Natural → Bool Source #
HasZero Int Source #
Instance details Defined in Cardano.Ledger.BaseTypes.NonZero Methods isZero ∷ Int → Bool Source #
HasZero a ⇒ HasZero (Ratio a) Source #
Instance details Defined in Cardano.Ledger.BaseTypes.NonZero Methods isZero ∷ Ratio a → Bool Source #

type WithinBounds n a = (MinBound a <= n, n <= MaxBound a) Source #

data NonZero a Source #

Instances

Instances details

(FromJSON a, HasZero a) ⇒ FromJSON (NonZero a) Source #
Instance details Defined in Cardano.Ledger.BaseTypes.NonZero Methods parseJSON ∷ Value → Parser (NonZero a) Source # parseJSONList ∷ Value → Parser [NonZero a] Source # omittedField ∷ Maybe (NonZero a) Source #
ToJSON a ⇒ ToJSON (NonZero a) Source #
Instance details Defined in Cardano.Ledger.BaseTypes.NonZero Methods toJSON ∷ NonZero a → Value Source # toEncoding ∷ NonZero a → Encoding Source # toJSONList ∷ [NonZero a] → Value Source # toEncodingList ∷ [NonZero a] → Encoding Source # omitField ∷ NonZero a → Bool Source #
Show a ⇒ Show (NonZero a) Source #
Instance details Defined in Cardano.Ledger.BaseTypes.NonZero Methods showsPrec ∷ Int → NonZero a → ShowS # show ∷ NonZero a → String # showList ∷ [NonZero a] → ShowS #
(HasZero a, FromCBOR a) ⇒ FromCBOR (NonZero a) Source #
Instance details Defined in Cardano.Ledger.BaseTypes.NonZero Methods fromCBOR ∷ Decoder s (NonZero a) Source # label ∷ Proxy (NonZero a) → Text Source #
ToCBOR a ⇒ ToCBOR (NonZero a) Source #
Instance details Defined in Cardano.Ledger.BaseTypes.NonZero Methods toCBOR ∷ NonZero a → Encoding Source # encodedSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy (NonZero a) → Size Source # encodedListSizeExpr ∷ (∀ t. ToCBOR t ⇒ Proxy t → Size) → Proxy [NonZero a] → Size Source #
(Typeable a, DecCBOR a, HasZero a) ⇒ DecCBOR (NonZero a) Source #
Instance details Defined in Cardano.Ledger.BaseTypes.NonZero Methods decCBOR ∷ Decoder s (NonZero a) Source # dropCBOR ∷ Proxy (NonZero a) → Decoder s () Source # label ∷ Proxy (NonZero a) → Text Source #
EncCBOR a ⇒ EncCBOR (NonZero a) Source #
Instance details Defined in Cardano.Ledger.BaseTypes.NonZero Methods encCBOR ∷ NonZero a → Encoding Source #
(ToPlutusData a, HasZero a) ⇒ ToPlutusData (NonZero a) Source #
Instance details Defined in Cardano.Ledger.Plutus.ToPlutusData Methods toPlutusData ∷ NonZero a → Data Source # fromPlutusData ∷ Data → Maybe (NonZero a) Source #
NFData a ⇒ NFData (NonZero a) Source #
Instance details Defined in Cardano.Ledger.BaseTypes.NonZero Methods rnf ∷ NonZero a → () #
Eq a ⇒ Eq (NonZero a) Source #
Instance details Defined in Cardano.Ledger.BaseTypes.NonZero Methods (==) ∷ NonZero a → NonZero a → Bool # (/=) ∷ NonZero a → NonZero a → Bool #
Ord a ⇒ Ord (NonZero a) Source #
Instance details Defined in Cardano.Ledger.BaseTypes.NonZero Methods compare ∷ NonZero a → NonZero a → Ordering # (<) ∷ NonZero a → NonZero a → Bool # (<=) ∷ NonZero a → NonZero a → Bool # (>) ∷ NonZero a → NonZero a → Bool # (>=) ∷ NonZero a → NonZero a → Bool # max ∷ NonZero a → NonZero a → NonZero a # min ∷ NonZero a → NonZero a → NonZero a #
NoThunks a ⇒ NoThunks (NonZero a) Source #
Instance details Defined in Cardano.Ledger.BaseTypes.NonZero Methods noThunks ∷ Context → NonZero a → IO (Maybe ThunkInfo) Source # wNoThunks ∷ Context → NonZero a → IO (Maybe ThunkInfo) Source # showTypeOf ∷ Proxy (NonZero a) → String Source #

unNonZero ∷ NonZero a → a Source #

nonZero ∷ HasZero a ⇒ a → Maybe (NonZero a) Source #

knownNonZero ∷ ∀ (n ∷ Nat). (KnownNat n, 1 <= n) ⇒ NonZero Integer Source #

knownNonZeroBounded ∷ ∀ (n ∷ Nat) a. (KnownNat n, 1 <= n, WithinBounds n a, Num a) ⇒ NonZero a Source #

(%.) ∷ Integral a ⇒ a → NonZero a → Ratio a infixl 7 Source #

bindNonZero ∷ (a → NonZero b) → NonZero a → NonZero b Source #

mapNonZero ∷ (Eq b, HasZero b) ⇒ (a → b) → NonZero a → Maybe (NonZero b) Source #

unsafeNonZero ∷ a → NonZero a Source #

toIntegerNonZero ∷ Integral a ⇒ NonZero a → NonZero Integer Source #

(/.) ∷ Fractional a ⇒ a → NonZero a → a infixl 7 Source #

nonZeroOr ∷ HasZero a ⇒ a → NonZero a → NonZero a Source #

recipNonZero ∷ Integral a ⇒ NonZero (Ratio a) → NonZero (Ratio a) Source #

negateNonZero ∷ NonZero Integer → NonZero Integer Source #

mulNonZero ∷ (Integral a, Integral b) ⇒ NonZero a → NonZero b → NonZero Integer Source #

mulNonZeroNat ∷ ∀ n a. (KnownNat n, 1 <= n, Integral a) ⇒ NonZero a → NonZero Integer Source #

toRatioNonZero ∷ Integral a ⇒ NonZero a → NonZero (Ratio a) Source #

(%?) ∷ Integral a ⇒ a → a → Ratio a infixl 7 Source #