Cardano.Ledger.Val · cardano-ledger-core-1.21.0.0

valueinvert :: Val t => t -> t

#

valuescale :: (Val t, Integral i) => i -> t -> t

#

valuesumVal :: (Foldable t, Val v) => t v -> v

#

methodinject :: t -> s

#

class

class (Compactible t, Inject Coin t, EncCBOR (CompactForm t), DecCBOR (CompactForm t), Abelian t, NoThunks t, EncCBOR t, DecCBOR t, ToJSON t, NFData t, Show t, Eq t) => Val t where

#

Methods

zero :: t
(<+>) :: t -> t -> tinfixl 6
(<×>) :: Integral i => i -> t -> tinfixl 7
(<->) :: t -> t -> tinfixl 6
isZero :: t -> Bool
coin :: t -> Coin
modifyCoin :: (Coin -> Coin) -> t -> t
size :: t -> Integer
pointwise :: (Integer -> Integer -> Bool) -> t -> t -> Bool
isAdaOnly :: t -> Bool
isAdaOnlyCompact :: CompactForm t -> Bool
coinCompact :: CompactForm t -> CompactForm Coin
injectCompact :: CompactForm Coin -> CompactForm t
modifyCompactCoin :: (CompactForm Coin -> CompactForm Coin) -> CompactForm t -> CompactForm t

Instances2Val

Val CoinDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Val
Val DeltaCoinDefined in cardano-ledger-core-1.21.0.0 · Cardano.Ledger.Val