Safe Haskell	None
Language	Haskell98

Shelley.Spec.Ledger.Coin

Synopsis

newtype Coin = Coin {
- unCoin :: Integer
}
data family CompactForm a :: Type
newtype DeltaCoin = DeltaCoin Integer
word64ToCoin :: Word64 -> Coin
coinToRational :: Coin -> Rational
rationalToCoinViaFloor :: Rational -> Coin
addDeltaCoin :: Coin -> DeltaCoin -> Coin
toDeltaCoin :: Coin -> DeltaCoin
integerToWord64 :: Integer -> Maybe Word64

Documentation

newtype Coin Source #

The amount of value held by a transaction output.

Constructors

Coin
Fields unCoin :: Integer

Instances

Instances details

Enum Coin Source #
Instance details Defined in Shelley.Spec.Ledger.Coin Methods succ :: Coin -> Coin # pred :: Coin -> Coin # toEnum :: Int -> Coin # fromEnum :: Coin -> Int # enumFrom :: Coin -> [Coin] # enumFromThen :: Coin -> Coin -> [Coin] # enumFromTo :: Coin -> Coin -> [Coin] # enumFromThenTo :: Coin -> Coin -> Coin -> [Coin] #
Eq Coin Source #
Instance details Defined in Shelley.Spec.Ledger.Coin Methods (==) :: Coin -> Coin -> Bool # (/=) :: Coin -> Coin -> Bool #
Ord Coin Source #
Instance details Defined in Shelley.Spec.Ledger.Coin Methods compare :: Coin -> Coin -> Ordering # (<) :: Coin -> Coin -> Bool # (<=) :: Coin -> Coin -> Bool # (>) :: Coin -> Coin -> Bool # (>=) :: Coin -> Coin -> Bool # max :: Coin -> Coin -> Coin # min :: Coin -> Coin -> Coin #
Show Coin Source #
Instance details Defined in Shelley.Spec.Ledger.Coin Methods showsPrec :: Int -> Coin -> ShowS # show :: Coin -> String # showList :: [Coin] -> ShowS #
Generic Coin Source #
Instance details Defined in Shelley.Spec.Ledger.Coin Associated Types type Rep Coin :: Type -> Type # Methods from :: Coin -> Rep Coin x # to :: Rep Coin x -> Coin #
Semigroup Coin Source #
Instance details Defined in Shelley.Spec.Ledger.Coin Methods (<>) :: Coin -> Coin -> Coin # sconcat :: NonEmpty Coin -> Coin # stimes :: Integral b => b -> Coin -> Coin #
Monoid Coin Source #
Instance details Defined in Shelley.Spec.Ledger.Coin Methods mempty :: Coin # mappend :: Coin -> Coin -> Coin # mconcat :: [Coin] -> Coin #
NFData Coin Source #
Instance details Defined in Shelley.Spec.Ledger.Coin Methods rnf :: Coin -> () #
ToJSON Coin Source #
Instance details Defined in Shelley.Spec.Ledger.Coin Methods toJSON :: Coin -> Value Source # toEncoding :: Coin -> Encoding Source # toJSONList :: [Coin] -> Value Source # toEncodingList :: [Coin] -> Encoding Source #
FromJSON Coin Source #
Instance details Defined in Shelley.Spec.Ledger.Coin Methods parseJSON :: Value -> Parser Coin Source # parseJSONList :: Value -> Parser [Coin] Source #
ToCBOR Coin Source #
Instance details Defined in Shelley.Spec.Ledger.Coin Methods toCBOR :: Coin -> Encoding Source # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Coin -> Size Source # encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Coin] -> Size Source #
FromCBOR Coin Source #
Instance details Defined in Shelley.Spec.Ledger.Coin Methods fromCBOR :: Decoder s Coin Source # label :: Proxy Coin -> Text Source #
Group Coin Source #
Instance details Defined in Shelley.Spec.Ledger.Coin Methods invert :: Coin -> Coin Source # (~~) :: Coin -> Coin -> Coin Source # pow :: Integral x => Coin -> x -> Coin Source #
Abelian Coin Source #
Instance details Defined in Shelley.Spec.Ledger.Coin
NoThunks Coin Source #
Instance details Defined in Shelley.Spec.Ledger.Coin Methods noThunks :: Context -> Coin -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> Coin -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy Coin -> String Source #
PartialOrd Coin Source #
Instance details Defined in Shelley.Spec.Ledger.Coin Methods (<=) :: Coin -> Coin -> Bool Source # (>=) :: Coin -> Coin -> Bool Source # (==) :: Coin -> Coin -> Bool Source # (/=) :: Coin -> Coin -> Bool Source # (<) :: Coin -> Coin -> Bool Source # (>) :: Coin -> Coin -> Bool Source # compare :: Coin -> Coin -> Maybe Ordering Source #
Compactible Coin Source #
Instance details Defined in Shelley.Spec.Ledger.Coin Associated Types data CompactForm Coin Source # Methods toCompact :: Coin -> Maybe (CompactForm Coin) Source # fromCompact :: CompactForm Coin -> Coin Source #
Torsor Coin Source #
Instance details Defined in Shelley.Spec.Ledger.Coin Associated Types type Delta Coin Source # Methods addDelta :: Coin -> Delta Coin -> Coin Source # toDelta :: Coin -> Delta Coin Source #
EncodeMint Coin Source #
Instance details Defined in Cardano.Ledger.Val Methods encodeMint :: Coin -> Encoding Source #
DecodeMint Coin Source #
Instance details Defined in Cardano.Ledger.Val Methods decodeMint :: Decoder s Coin Source #
DecodeNonNegative Coin Source #
Instance details Defined in Cardano.Ledger.Val Methods decodeNonNegative :: Decoder s Coin Source #
Val Coin Source #
Instance details Defined in Cardano.Ledger.Val Methods zero :: Coin Source # (<+>) :: Coin -> Coin -> Coin Source # (<×>) :: Integral i => i -> Coin -> Coin Source # (<->) :: Coin -> Coin -> Coin Source # isZero :: Coin -> Bool Source # coin :: Coin -> Coin Source # inject :: Coin -> Coin Source # modifyCoin :: (Coin -> Coin) -> Coin -> Coin Source # size :: Coin -> Integer Source # pointwise :: (Integer -> Integer -> Bool) -> Coin -> Coin -> Bool Source #
HasField "txfee" (TxBody era) Coin Source #
Instance details Defined in Shelley.Spec.Ledger.TxBody Methods getField :: TxBody era -> Coin #
Eq (CompactForm Coin) Source #
Instance details Defined in Shelley.Spec.Ledger.Coin Methods (==) :: CompactForm Coin -> CompactForm Coin -> Bool # (/=) :: CompactForm Coin -> CompactForm Coin -> Bool #
Show (CompactForm Coin) Source #
Instance details Defined in Shelley.Spec.Ledger.Coin Methods showsPrec :: Int -> CompactForm Coin -> ShowS # show :: CompactForm Coin -> String # showList :: [CompactForm Coin] -> ShowS #
ToCBOR (CompactForm Coin) Source #
Instance details Defined in Shelley.Spec.Ledger.Coin Methods toCBOR :: CompactForm Coin -> Encoding Source # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (CompactForm Coin) -> Size Source # encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [CompactForm Coin] -> Size Source #
FromCBOR (CompactForm Coin) Source #
Instance details Defined in Shelley.Spec.Ledger.Coin Methods fromCBOR :: Decoder s (CompactForm Coin) Source # label :: Proxy (CompactForm Coin) -> Text Source #
NoThunks (CompactForm Coin) Source #
Instance details Defined in Shelley.Spec.Ledger.Coin Methods noThunks :: Context -> CompactForm Coin -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> CompactForm Coin -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (CompactForm Coin) -> String Source #
type Rep Coin Source #
Instance details Defined in Shelley.Spec.Ledger.Coin type Rep Coin = D1 ('MetaData "Coin" "Shelley.Spec.Ledger.Coin" "shelley-spec-ledger-0.1.0.0-Is3EknyvW92LxCl96jGQVW" 'True) (C1 ('MetaCons "Coin" 'PrefixI 'True) (S1 ('MetaSel ('Just "unCoin") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))
newtype CompactForm Coin Source #
Instance details Defined in Shelley.Spec.Ledger.Coin newtype CompactForm Coin = CompactCoin Word64
type Delta Coin Source #
Instance details Defined in Shelley.Spec.Ledger.Coin type Delta Coin = DeltaCoin

data family CompactForm a :: Type Source #

Instances

Instances details

Eq (CompactForm Coin) Source #
Instance details Defined in Shelley.Spec.Ledger.Coin Methods (==) :: CompactForm Coin -> CompactForm Coin -> Bool # (/=) :: CompactForm Coin -> CompactForm Coin -> Bool #
Show (CompactForm Coin) Source #
Instance details Defined in Shelley.Spec.Ledger.Coin Methods showsPrec :: Int -> CompactForm Coin -> ShowS # show :: CompactForm Coin -> String # showList :: [CompactForm Coin] -> ShowS #
ToCBOR (CompactForm Coin) Source #
Instance details Defined in Shelley.Spec.Ledger.Coin Methods toCBOR :: CompactForm Coin -> Encoding Source # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (CompactForm Coin) -> Size Source # encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [CompactForm Coin] -> Size Source #
FromCBOR (CompactForm Coin) Source #
Instance details Defined in Shelley.Spec.Ledger.Coin Methods fromCBOR :: Decoder s (CompactForm Coin) Source # label :: Proxy (CompactForm Coin) -> Text Source #
NoThunks (CompactForm Coin) Source #
Instance details Defined in Shelley.Spec.Ledger.Coin Methods noThunks :: Context -> CompactForm Coin -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> CompactForm Coin -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy (CompactForm Coin) -> String Source #
(DecodeNonNegative a, Compactible a, Show a) => DecodeNonNegative (CompactForm a) Source #
Instance details Defined in Cardano.Ledger.Val Methods decodeNonNegative :: Decoder s (CompactForm a) Source #
newtype CompactForm Coin Source #
Instance details Defined in Shelley.Spec.Ledger.Coin newtype CompactForm Coin = CompactCoin Word64

newtype DeltaCoin Source #

Constructors

DeltaCoin Integer

Instances

Instances details

Enum DeltaCoin Source #
Instance details Defined in Shelley.Spec.Ledger.Coin Methods succ :: DeltaCoin -> DeltaCoin # pred :: DeltaCoin -> DeltaCoin # toEnum :: Int -> DeltaCoin # fromEnum :: DeltaCoin -> Int # enumFrom :: DeltaCoin -> [DeltaCoin] # enumFromThen :: DeltaCoin -> DeltaCoin -> [DeltaCoin] # enumFromTo :: DeltaCoin -> DeltaCoin -> [DeltaCoin] # enumFromThenTo :: DeltaCoin -> DeltaCoin -> DeltaCoin -> [DeltaCoin] #
Eq DeltaCoin Source #
Instance details Defined in Shelley.Spec.Ledger.Coin Methods (==) :: DeltaCoin -> DeltaCoin -> Bool # (/=) :: DeltaCoin -> DeltaCoin -> Bool #
Ord DeltaCoin Source #
Instance details Defined in Shelley.Spec.Ledger.Coin Methods compare :: DeltaCoin -> DeltaCoin -> Ordering # (<) :: DeltaCoin -> DeltaCoin -> Bool # (<=) :: DeltaCoin -> DeltaCoin -> Bool # (>) :: DeltaCoin -> DeltaCoin -> Bool # (>=) :: DeltaCoin -> DeltaCoin -> Bool # max :: DeltaCoin -> DeltaCoin -> DeltaCoin # min :: DeltaCoin -> DeltaCoin -> DeltaCoin #
Show DeltaCoin Source #
Instance details Defined in Shelley.Spec.Ledger.Coin Methods showsPrec :: Int -> DeltaCoin -> ShowS # show :: DeltaCoin -> String # showList :: [DeltaCoin] -> ShowS #
Generic DeltaCoin Source #
Instance details Defined in Shelley.Spec.Ledger.Coin Associated Types type Rep DeltaCoin :: Type -> Type # Methods from :: DeltaCoin -> Rep DeltaCoin x # to :: Rep DeltaCoin x -> DeltaCoin #
Semigroup DeltaCoin Source #
Instance details Defined in Shelley.Spec.Ledger.Coin Methods (<>) :: DeltaCoin -> DeltaCoin -> DeltaCoin # sconcat :: NonEmpty DeltaCoin -> DeltaCoin # stimes :: Integral b => b -> DeltaCoin -> DeltaCoin #
Monoid DeltaCoin Source #
Instance details Defined in Shelley.Spec.Ledger.Coin Methods mempty :: DeltaCoin # mappend :: DeltaCoin -> DeltaCoin -> DeltaCoin # mconcat :: [DeltaCoin] -> DeltaCoin #
NFData DeltaCoin Source #
Instance details Defined in Shelley.Spec.Ledger.Coin Methods rnf :: DeltaCoin -> () #
ToCBOR DeltaCoin Source #
Instance details Defined in Shelley.Spec.Ledger.Coin Methods toCBOR :: DeltaCoin -> Encoding Source # encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy DeltaCoin -> Size Source # encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [DeltaCoin] -> Size Source #
FromCBOR DeltaCoin Source #
Instance details Defined in Shelley.Spec.Ledger.Coin Methods fromCBOR :: Decoder s DeltaCoin Source # label :: Proxy DeltaCoin -> Text Source #
Group DeltaCoin Source #
Instance details Defined in Shelley.Spec.Ledger.Coin Methods invert :: DeltaCoin -> DeltaCoin Source # (~~) :: DeltaCoin -> DeltaCoin -> DeltaCoin Source # pow :: Integral x => DeltaCoin -> x -> DeltaCoin Source #
Abelian DeltaCoin Source #
Instance details Defined in Shelley.Spec.Ledger.Coin
NoThunks DeltaCoin Source #
Instance details Defined in Shelley.Spec.Ledger.Coin Methods noThunks :: Context -> DeltaCoin -> IO (Maybe ThunkInfo) Source # wNoThunks :: Context -> DeltaCoin -> IO (Maybe ThunkInfo) Source # showTypeOf :: Proxy DeltaCoin -> String Source #
PartialOrd DeltaCoin Source #
Instance details Defined in Shelley.Spec.Ledger.Coin Methods (<=) :: DeltaCoin -> DeltaCoin -> Bool Source # (>=) :: DeltaCoin -> DeltaCoin -> Bool Source # (==) :: DeltaCoin -> DeltaCoin -> Bool Source # (/=) :: DeltaCoin -> DeltaCoin -> Bool Source # (<) :: DeltaCoin -> DeltaCoin -> Bool Source # (>) :: DeltaCoin -> DeltaCoin -> Bool Source # compare :: DeltaCoin -> DeltaCoin -> Maybe Ordering Source #
Val DeltaCoin Source #
Instance details Defined in Cardano.Ledger.Val Methods zero :: DeltaCoin Source # (<+>) :: DeltaCoin -> DeltaCoin -> DeltaCoin Source # (<×>) :: Integral i => i -> DeltaCoin -> DeltaCoin Source # (<->) :: DeltaCoin -> DeltaCoin -> DeltaCoin Source # isZero :: DeltaCoin -> Bool Source # coin :: DeltaCoin -> Coin Source # inject :: Coin -> DeltaCoin Source # modifyCoin :: (Coin -> Coin) -> DeltaCoin -> DeltaCoin Source # size :: DeltaCoin -> Integer Source # pointwise :: (Integer -> Integer -> Bool) -> DeltaCoin -> DeltaCoin -> Bool Source #
type Rep DeltaCoin Source #
Instance details Defined in Shelley.Spec.Ledger.Coin type Rep DeltaCoin = D1 ('MetaData "DeltaCoin" "Shelley.Spec.Ledger.Coin" "shelley-spec-ledger-0.1.0.0-Is3EknyvW92LxCl96jGQVW" 'True) (C1 ('MetaCons "DeltaCoin" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))

word64ToCoin :: Word64 -> Coin Source #

coinToRational :: Coin -> Rational Source #

rationalToCoinViaFloor :: Rational -> Coin Source #

addDeltaCoin :: Coin -> DeltaCoin -> Coin Source #

toDeltaCoin :: Coin -> DeltaCoin Source #

integerToWord64 :: Integer -> Maybe Word64 Source #