cardano-ledger-core-0.1.0.0: Core components of Cardano ledgers from the Shelley release on.
Safe Haskell None
Language Haskell2010

Cardano.Ledger.Coin

Synopsis

Documentation

newtype Coin Source #

The amount of value held by a transaction output.

Constructors

Coin

Fields

Instances

Instances details
Enum Coin Source #
Instance details

Defined in Cardano.Ledger.Coin

Methods

succ :: Coin -> Coin Source #

pred :: Coin -> Coin Source #

toEnum :: Int -> Coin Source #

fromEnum :: Coin -> Int Source #

enumFrom :: Coin -> [ Coin ] Source #

enumFromThen :: Coin -> Coin -> [ Coin ] Source #

enumFromTo :: Coin -> Coin -> [ Coin ] Source #

enumFromThenTo :: Coin -> Coin -> Coin -> [ Coin ] Source #

Eq Coin Source #
Instance details

Defined in Cardano.Ledger.Coin

Methods

(==) :: Coin -> Coin -> Bool Source #

(/=) :: Coin -> Coin -> Bool Source #

Ord Coin Source #
Instance details

Defined in Cardano.Ledger.Coin

Methods

compare :: Coin -> Coin -> Ordering Source #

(<) :: Coin -> Coin -> Bool Source #

(<=) :: Coin -> Coin -> Bool Source #

(>) :: Coin -> Coin -> Bool Source #

(>=) :: Coin -> Coin -> Bool Source #

max :: Coin -> Coin -> Coin Source #

min :: Coin -> Coin -> Coin Source #

Show Coin Source #
Instance details

Defined in Cardano.Ledger.Coin

Methods

showsPrec :: Int -> Coin -> ShowS Source #

show :: Coin -> String Source #

showList :: [ Coin ] -> ShowS Source #

Generic Coin Source #
Instance details

Defined in Cardano.Ledger.Coin

Associated Types

type Rep Coin :: Type -> Type Source #

Methods

from :: Coin -> Rep Coin x Source #

to :: Rep Coin x -> Coin Source #

Semigroup Coin Source #
Instance details

Defined in Cardano.Ledger.Coin

Methods

(<>) :: Coin -> Coin -> Coin Source #

sconcat :: NonEmpty Coin -> Coin Source #

stimes :: Integral b => b -> Coin -> Coin Source #

Monoid Coin Source #
Instance details

Defined in Cardano.Ledger.Coin

Methods

mempty :: Coin Source #

mappend :: Coin -> Coin -> Coin Source #

mconcat :: [ Coin ] -> Coin Source #

NFData Coin Source #
Instance details

Defined in Cardano.Ledger.Coin

Methods

rnf :: Coin -> () Source #

ToJSON Coin Source #
Instance details

Defined in Cardano.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 Cardano.Ledger.Coin

Methods

parseJSON :: Value -> Parser Coin Source #

parseJSONList :: Value -> Parser [ Coin ] Source #

ToCBOR Coin Source #
Instance details

Defined in Cardano.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 Cardano.Ledger.Coin

Methods

fromCBOR :: Decoder s Coin Source #

label :: Proxy Coin -> Text Source #

HeapWords Coin Source #
Instance details

Defined in Cardano.Ledger.Coin

Methods

heapWords :: Coin -> Int Source #

Group Coin Source #
Instance details

Defined in Cardano.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 Cardano.Ledger.Coin

NoThunks Coin Source #
Instance details

Defined in Cardano.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 Cardano.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 Cardano.Ledger.Coin

Associated Types

data CompactForm Coin Source #

Methods

toCompact :: Coin -> Maybe ( CompactForm Coin ) Source #

fromCompact :: CompactForm Coin -> 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 #

isAdaOnly :: Coin -> Bool Source #

isAdaOnlyCompact :: CompactForm Coin -> Bool Source #

injectCompact :: CompactForm Coin -> CompactForm Coin Source #

UnifiedView Coin ( Credential ' Staking crypto) ( KeyHash ' StakePool crypto) Ptr Ptr ( Credential ' Staking crypto) Source #
Instance details

Defined in Cardano.Ledger.UnifiedMap

Methods

tag :: Tag Coin ( Credential ' Staking crypto) ( KeyHash ' StakePool crypto) Ptr Ptr ( Credential ' Staking crypto) Source #

UnifiedView Coin ( Credential ' Staking crypto) ( KeyHash ' StakePool crypto) Ptr ( Credential ' Staking crypto) Coin Source #
Instance details

Defined in Cardano.Ledger.UnifiedMap

Methods

tag :: Tag Coin ( Credential ' Staking crypto) ( KeyHash ' StakePool crypto) Ptr ( Credential ' Staking crypto) Coin Source #

UnifiedView Coin ( Credential ' Staking crypto) ( KeyHash ' StakePool crypto) Ptr ( Credential ' Staking crypto) ( KeyHash ' StakePool crypto) Source #
Instance details

Defined in Cardano.Ledger.UnifiedMap

Methods

tag :: Tag Coin ( Credential ' Staking crypto) ( KeyHash ' StakePool crypto) Ptr ( Credential ' Staking crypto) ( KeyHash ' StakePool crypto) Source #

Eq ( CompactForm Coin ) Source #
Instance details

Defined in Cardano.Ledger.Coin

Methods

(==) :: CompactForm Coin -> CompactForm Coin -> Bool Source #

(/=) :: CompactForm Coin -> CompactForm Coin -> Bool Source #

Show ( CompactForm Coin ) Source #
Instance details

Defined in Cardano.Ledger.Coin

Methods

showsPrec :: Int -> CompactForm Coin -> ShowS Source #

show :: CompactForm Coin -> String Source #

showList :: [ CompactForm Coin ] -> ShowS Source #

NFData ( CompactForm Coin ) Source #
Instance details

Defined in Cardano.Ledger.Coin

Methods

rnf :: CompactForm Coin -> () Source #

ToCBOR ( CompactForm Coin ) Source #
Instance details

Defined in Cardano.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 Cardano.Ledger.Coin

Methods

fromCBOR :: Decoder s ( CompactForm Coin ) Source #

label :: Proxy ( CompactForm Coin ) -> Text Source #

HeapWords ( CompactForm Coin ) Source #
Instance details

Defined in Cardano.Ledger.Coin

Methods

heapWords :: CompactForm Coin -> Int Source #

NoThunks ( CompactForm Coin ) Source #
Instance details

Defined in Cardano.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 #

Prim ( CompactForm Coin ) Source #
Instance details

Defined in Cardano.Ledger.Coin

Methods

sizeOf# :: CompactForm Coin -> Int# Source #

alignment# :: CompactForm Coin -> Int# Source #

indexByteArray# :: ByteArray# -> Int# -> CompactForm Coin Source #

readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CompactForm Coin #) Source #

writeByteArray# :: MutableByteArray# s -> Int# -> CompactForm Coin -> State# s -> State# s Source #

setByteArray# :: MutableByteArray# s -> Int# -> Int# -> CompactForm Coin -> State# s -> State# s Source #

indexOffAddr# :: Addr# -> Int# -> CompactForm Coin Source #

readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, CompactForm Coin #) Source #

writeOffAddr# :: Addr# -> Int# -> CompactForm Coin -> State# s -> State# s Source #

setOffAddr# :: Addr# -> Int# -> Int# -> CompactForm Coin -> State# s -> State# s Source #

type Rep Coin Source #
Instance details

Defined in Cardano.Ledger.Coin

type Rep Coin = D1 (' MetaData "Coin" "Cardano.Ledger.Coin" "cardano-ledger-core-0.1.0.0-3EJt5rxsPizAWHDEqGPh9V" ' True ) ( C1 (' MetaCons "Coin" ' PrefixI ' True ) ( S1 (' MetaSel (' Just "unCoin") ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 Integer )))
newtype CompactForm Coin Source #
Instance details

Defined in Cardano.Ledger.Coin

newtype CompactForm Coin = CompactCoin Word64

data family CompactForm a :: Type Source #

Instances

Instances details
Eq ( CompactForm DeltaCoin ) Source #
Instance details

Defined in Cardano.Ledger.Coin

Methods

(==) :: CompactForm DeltaCoin -> CompactForm DeltaCoin -> Bool Source #

(/=) :: CompactForm DeltaCoin -> CompactForm DeltaCoin -> Bool Source #

Eq ( CompactForm Coin ) Source #
Instance details

Defined in Cardano.Ledger.Coin

Methods

(==) :: CompactForm Coin -> CompactForm Coin -> Bool Source #

(/=) :: CompactForm Coin -> CompactForm Coin -> Bool Source #

Show ( CompactForm DeltaCoin ) Source #
Instance details

Defined in Cardano.Ledger.Coin

Methods

showsPrec :: Int -> CompactForm DeltaCoin -> ShowS Source #

show :: CompactForm DeltaCoin -> String Source #

showList :: [ CompactForm DeltaCoin ] -> ShowS Source #

Show ( CompactForm Coin ) Source #
Instance details

Defined in Cardano.Ledger.Coin

Methods

showsPrec :: Int -> CompactForm Coin -> ShowS Source #

show :: CompactForm Coin -> String Source #

showList :: [ CompactForm Coin ] -> ShowS Source #

NFData ( CompactForm DeltaCoin ) Source #
Instance details

Defined in Cardano.Ledger.Coin

Methods

rnf :: CompactForm DeltaCoin -> () Source #

NFData ( CompactForm Coin ) Source #
Instance details

Defined in Cardano.Ledger.Coin

Methods

rnf :: CompactForm Coin -> () Source #

ToCBOR ( CompactForm DeltaCoin ) Source #
Instance details

Defined in Cardano.Ledger.Coin

Methods

toCBOR :: CompactForm DeltaCoin -> Encoding Source #

encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( CompactForm DeltaCoin ) -> Size Source #

encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ CompactForm DeltaCoin ] -> Size Source #

ToCBOR ( CompactForm Coin ) Source #
Instance details

Defined in Cardano.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 DeltaCoin ) Source #
Instance details

Defined in Cardano.Ledger.Coin

Methods

fromCBOR :: Decoder s ( CompactForm DeltaCoin ) Source #

label :: Proxy ( CompactForm DeltaCoin ) -> Text Source #

FromCBOR ( CompactForm Coin ) Source #
Instance details

Defined in Cardano.Ledger.Coin

Methods

fromCBOR :: Decoder s ( CompactForm Coin ) Source #

label :: Proxy ( CompactForm Coin ) -> Text Source #

HeapWords ( CompactForm DeltaCoin ) Source #
Instance details

Defined in Cardano.Ledger.Coin

Methods

heapWords :: CompactForm DeltaCoin -> Int Source #

HeapWords ( CompactForm Coin ) Source #
Instance details

Defined in Cardano.Ledger.Coin

Methods

heapWords :: CompactForm Coin -> Int Source #

NoThunks ( CompactForm DeltaCoin ) Source #
Instance details

Defined in Cardano.Ledger.Coin

Methods

noThunks :: Context -> CompactForm DeltaCoin -> IO ( Maybe ThunkInfo ) Source #

wNoThunks :: Context -> CompactForm DeltaCoin -> IO ( Maybe ThunkInfo ) Source #

showTypeOf :: Proxy ( CompactForm DeltaCoin ) -> String Source #

NoThunks ( CompactForm Coin ) Source #
Instance details

Defined in Cardano.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 #

Prim ( CompactForm DeltaCoin ) Source #
Instance details

Defined in Cardano.Ledger.Coin

Methods

sizeOf# :: CompactForm DeltaCoin -> Int# Source #

alignment# :: CompactForm DeltaCoin -> Int# Source #

indexByteArray# :: ByteArray# -> Int# -> CompactForm DeltaCoin Source #

readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CompactForm DeltaCoin #) Source #

writeByteArray# :: MutableByteArray# s -> Int# -> CompactForm DeltaCoin -> State# s -> State# s Source #

setByteArray# :: MutableByteArray# s -> Int# -> Int# -> CompactForm DeltaCoin -> State# s -> State# s Source #

indexOffAddr# :: Addr# -> Int# -> CompactForm DeltaCoin Source #

readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, CompactForm DeltaCoin #) Source #

writeOffAddr# :: Addr# -> Int# -> CompactForm DeltaCoin -> State# s -> State# s Source #

setOffAddr# :: Addr# -> Int# -> Int# -> CompactForm DeltaCoin -> State# s -> State# s Source #

Prim ( CompactForm Coin ) Source #
Instance details

Defined in Cardano.Ledger.Coin

Methods

sizeOf# :: CompactForm Coin -> Int# Source #

alignment# :: CompactForm Coin -> Int# Source #

indexByteArray# :: ByteArray# -> Int# -> CompactForm Coin Source #

readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CompactForm Coin #) Source #

writeByteArray# :: MutableByteArray# s -> Int# -> CompactForm Coin -> State# s -> State# s Source #

setByteArray# :: MutableByteArray# s -> Int# -> Int# -> CompactForm Coin -> State# s -> State# s Source #

indexOffAddr# :: Addr# -> Int# -> CompactForm Coin Source #

readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, CompactForm Coin #) Source #

writeOffAddr# :: Addr# -> Int# -> CompactForm Coin -> State# s -> State# s Source #

setOffAddr# :: Addr# -> Int# -> Int# -> CompactForm Coin -> State# s -> State# s 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 DeltaCoin Source #
Instance details

Defined in Cardano.Ledger.Coin

newtype CompactForm DeltaCoin = CompactDeltaCoin Word64
newtype CompactForm Coin Source #
Instance details

Defined in Cardano.Ledger.Coin

newtype CompactForm Coin = CompactCoin Word64

newtype DeltaCoin Source #

Constructors

DeltaCoin Integer

Instances

Instances details
Enum DeltaCoin Source #
Instance details

Defined in Cardano.Ledger.Coin

Methods

succ :: DeltaCoin -> DeltaCoin Source #

pred :: DeltaCoin -> DeltaCoin Source #

toEnum :: Int -> DeltaCoin Source #

fromEnum :: DeltaCoin -> Int Source #

enumFrom :: DeltaCoin -> [ DeltaCoin ] Source #

enumFromThen :: DeltaCoin -> DeltaCoin -> [ DeltaCoin ] Source #

enumFromTo :: DeltaCoin -> DeltaCoin -> [ DeltaCoin ] Source #

enumFromThenTo :: DeltaCoin -> DeltaCoin -> DeltaCoin -> [ DeltaCoin ] Source #

Eq DeltaCoin Source #
Instance details

Defined in Cardano.Ledger.Coin

Methods

(==) :: DeltaCoin -> DeltaCoin -> Bool Source #

(/=) :: DeltaCoin -> DeltaCoin -> Bool Source #

Ord DeltaCoin Source #
Instance details

Defined in Cardano.Ledger.Coin

Methods

compare :: DeltaCoin -> DeltaCoin -> Ordering Source #

(<) :: DeltaCoin -> DeltaCoin -> Bool Source #

(<=) :: DeltaCoin -> DeltaCoin -> Bool Source #

(>) :: DeltaCoin -> DeltaCoin -> Bool Source #

(>=) :: DeltaCoin -> DeltaCoin -> Bool Source #

max :: DeltaCoin -> DeltaCoin -> DeltaCoin Source #

min :: DeltaCoin -> DeltaCoin -> DeltaCoin Source #

Show DeltaCoin Source #
Instance details

Defined in Cardano.Ledger.Coin

Methods

showsPrec :: Int -> DeltaCoin -> ShowS Source #

show :: DeltaCoin -> String Source #

showList :: [ DeltaCoin ] -> ShowS Source #

Generic DeltaCoin Source #
Instance details

Defined in Cardano.Ledger.Coin

Associated Types

type Rep DeltaCoin :: Type -> Type Source #

Methods

from :: DeltaCoin -> Rep DeltaCoin x Source #

to :: Rep DeltaCoin x -> DeltaCoin Source #

Semigroup DeltaCoin Source #
Instance details

Defined in Cardano.Ledger.Coin

Methods

(<>) :: DeltaCoin -> DeltaCoin -> DeltaCoin Source #

sconcat :: NonEmpty DeltaCoin -> DeltaCoin Source #

stimes :: Integral b => b -> DeltaCoin -> DeltaCoin Source #

Monoid DeltaCoin Source #
Instance details

Defined in Cardano.Ledger.Coin

Methods

mempty :: DeltaCoin Source #

mappend :: DeltaCoin -> DeltaCoin -> DeltaCoin Source #

mconcat :: [ DeltaCoin ] -> DeltaCoin Source #

NFData DeltaCoin Source #
Instance details

Defined in Cardano.Ledger.Coin

Methods

rnf :: DeltaCoin -> () Source #

ToCBOR DeltaCoin Source #
Instance details

Defined in Cardano.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 Cardano.Ledger.Coin

Methods

fromCBOR :: Decoder s DeltaCoin Source #

label :: Proxy DeltaCoin -> Text Source #

HeapWords DeltaCoin Source #
Instance details

Defined in Cardano.Ledger.Coin

Methods

heapWords :: DeltaCoin -> Int Source #

Group DeltaCoin Source #
Instance details

Defined in Cardano.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 Cardano.Ledger.Coin

NoThunks DeltaCoin Source #
Instance details

Defined in Cardano.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 Cardano.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 #

Compactible DeltaCoin Source #
Instance details

Defined in Cardano.Ledger.Coin

Associated Types

data CompactForm DeltaCoin Source #

Methods

toCompact :: DeltaCoin -> Maybe ( CompactForm DeltaCoin ) Source #

fromCompact :: CompactForm DeltaCoin -> DeltaCoin 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 #

isAdaOnly :: DeltaCoin -> Bool Source #

isAdaOnlyCompact :: CompactForm DeltaCoin -> Bool Source #

injectCompact :: CompactForm Coin -> CompactForm DeltaCoin Source #

Eq ( CompactForm DeltaCoin ) Source #
Instance details

Defined in Cardano.Ledger.Coin

Methods

(==) :: CompactForm DeltaCoin -> CompactForm DeltaCoin -> Bool Source #

(/=) :: CompactForm DeltaCoin -> CompactForm DeltaCoin -> Bool Source #

Show ( CompactForm DeltaCoin ) Source #
Instance details

Defined in Cardano.Ledger.Coin

Methods

showsPrec :: Int -> CompactForm DeltaCoin -> ShowS Source #

show :: CompactForm DeltaCoin -> String Source #

showList :: [ CompactForm DeltaCoin ] -> ShowS Source #

NFData ( CompactForm DeltaCoin ) Source #
Instance details

Defined in Cardano.Ledger.Coin

Methods

rnf :: CompactForm DeltaCoin -> () Source #

ToCBOR ( CompactForm DeltaCoin ) Source #
Instance details

Defined in Cardano.Ledger.Coin

Methods

toCBOR :: CompactForm DeltaCoin -> Encoding Source #

encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy ( CompactForm DeltaCoin ) -> Size Source #

encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ CompactForm DeltaCoin ] -> Size Source #

FromCBOR ( CompactForm DeltaCoin ) Source #
Instance details

Defined in Cardano.Ledger.Coin

Methods

fromCBOR :: Decoder s ( CompactForm DeltaCoin ) Source #

label :: Proxy ( CompactForm DeltaCoin ) -> Text Source #

HeapWords ( CompactForm DeltaCoin ) Source #
Instance details

Defined in Cardano.Ledger.Coin

Methods

heapWords :: CompactForm DeltaCoin -> Int Source #

NoThunks ( CompactForm DeltaCoin ) Source #
Instance details

Defined in Cardano.Ledger.Coin

Methods

noThunks :: Context -> CompactForm DeltaCoin -> IO ( Maybe ThunkInfo ) Source #

wNoThunks :: Context -> CompactForm DeltaCoin -> IO ( Maybe ThunkInfo ) Source #

showTypeOf :: Proxy ( CompactForm DeltaCoin ) -> String Source #

Prim ( CompactForm DeltaCoin ) Source #
Instance details

Defined in Cardano.Ledger.Coin

Methods

sizeOf# :: CompactForm DeltaCoin -> Int# Source #

alignment# :: CompactForm DeltaCoin -> Int# Source #

indexByteArray# :: ByteArray# -> Int# -> CompactForm DeltaCoin Source #

readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, CompactForm DeltaCoin #) Source #

writeByteArray# :: MutableByteArray# s -> Int# -> CompactForm DeltaCoin -> State# s -> State# s Source #

setByteArray# :: MutableByteArray# s -> Int# -> Int# -> CompactForm DeltaCoin -> State# s -> State# s Source #

indexOffAddr# :: Addr# -> Int# -> CompactForm DeltaCoin Source #

readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, CompactForm DeltaCoin #) Source #

writeOffAddr# :: Addr# -> Int# -> CompactForm DeltaCoin -> State# s -> State# s Source #

setOffAddr# :: Addr# -> Int# -> Int# -> CompactForm DeltaCoin -> State# s -> State# s Source #

type Rep DeltaCoin Source #
Instance details

Defined in Cardano.Ledger.Coin

type Rep DeltaCoin = D1 (' MetaData "DeltaCoin" "Cardano.Ledger.Coin" "cardano-ledger-core-0.1.0.0-3EJt5rxsPizAWHDEqGPh9V" ' True ) ( C1 (' MetaCons "DeltaCoin" ' PrefixI ' False ) ( S1 (' MetaSel (' Nothing :: Maybe Symbol ) ' NoSourceUnpackedness ' NoSourceStrictness ' DecidedLazy ) ( Rec0 Integer )))
newtype CompactForm DeltaCoin Source #
Instance details

Defined in Cardano.Ledger.Coin

newtype CompactForm DeltaCoin = CompactDeltaCoin Word64

word64ToCoin :: Word64 -> Coin Source #

coinToRational :: Coin -> Rational Source #

rationalToCoinViaFloor :: Rational -> Coin Source #

rationalToCoinViaCeiling :: Rational -> Coin Source #

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

toDeltaCoin :: Coin -> DeltaCoin Source #

integerToWord64 :: Integer -> Maybe Word64 Source #