type Rep Coin
Instance details Defined in Cardano.Ledger.Coin type Rep Coin = D1 ('MetaData "Coin" "Cardano.Ledger.Coin" "cardano-ledger-core-1.15.0.0-2e27acc191d04ed2274d46f93f1cbbd0e33c9b0ece6c9a0c5701a53b3db5b148" 'True) (C1 ('MetaCons "Coin" 'PrefixI 'True) (S1 ('MetaSel ('Just "unCoin") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))

Methods

from :: Coin -> Rep Coin x Source #

to :: Rep Coin x -> Coin Source #

Num Coin Source #

Instance details

Defined in Cardano.Api.Orphans

Methods

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

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

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

negate :: Coin -> Coin Source #

abs :: Coin -> Coin Source #

signum :: Coin -> Coin Source #

fromInteger :: Integer -> Coin Source #

Integral Coin Source #

Instance details

Defined in Cardano.Api.Orphans

Methods

quot :: Coin -> Coin -> Coin Source #

rem :: Coin -> Coin -> Coin Source #

div :: Coin -> Coin -> Coin Source #

mod :: Coin -> Coin -> Coin Source #

quotRem :: Coin -> Coin -> (Coin, Coin) Source #

divMod :: Coin -> Coin -> (Coin, Coin) Source #

toInteger :: Coin -> Integer Source #

Real Coin Source #

These instances originally existed on the Lovelace type. As the Lovelace type is deleted and we use L.Coin instead, these instances are added to L.Coin. The instances are purely for the convenience of writing expressions involving L.Coin but be aware that not all uses of these typeclasses are valid.

Instance details

Defined in Cardano.Api.Orphans

Methods

toRational :: Coin -> Rational Source #

Show Coin

Instance details

Defined in Cardano.Ledger.Coin

Methods

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

show :: Coin -> String Source #

showList :: [Coin] -> ShowS Source #

FromCBOR Coin

Instance details

Defined in Cardano.Ledger.Coin

Methods

fromCBOR :: Decoder s Coin Source #

label :: Proxy Coin -> Text Source #

ToCBOR Coin

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 #

DecCBOR Coin

Instance details

Defined in Cardano.Ledger.Coin

Methods

decCBOR :: Decoder s Coin Source #

dropCBOR :: Proxy Coin -> Decoder s () Source #

label :: Proxy Coin -> Text Source #

EncCBOR Coin

Instance details

Defined in Cardano.Ledger.Coin

Methods

encCBOR :: Coin -> Encoding Source #

encodedSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy Coin -> Size Source #

encodedListSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy [Coin] -> Size Source #

Compactible Coin

Instance details

Defined in Cardano.Ledger.Coin

Associated Types

newtype CompactForm Coin
Instance details Defined in Cardano.Ledger.Coin newtype CompactForm Coin = CompactCoin { unCompactCoin :: Word64 }

Methods

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

fromCompact :: CompactForm Coin -> Coin Source #

ToPlutusData Coin

Instance details

Defined in Cardano.Ledger.Plutus.ToPlutusData

Methods

toPlutusData :: Coin -> Data Source #

fromPlutusData :: Data -> Maybe Coin Source #

Val Coin

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 #

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 #

coinCompact :: CompactForm Coin -> CompactForm Coin Source #

injectCompact :: CompactForm Coin -> CompactForm Coin Source #

modifyCompactCoin :: (CompactForm Coin -> CompactForm Coin) -> CompactForm Coin -> CompactForm Coin Source #

NFData Coin

Instance details

Defined in Cardano.Ledger.Coin

Methods

rnf :: Coin -> () Source #

Eq Coin

Instance details

Defined in Cardano.Ledger.Coin

Methods

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

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

Ord Coin

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 #

Abelian Coin

Instance details

Defined in Cardano.Ledger.Coin

Group Coin

Instance details

Defined in Cardano.Ledger.Coin

Methods

invert :: Coin -> Coin

(~~) :: Coin -> Coin -> Coin

pow :: Integral x => Coin -> x -> Coin

HeapWords Coin

Instance details

Defined in Cardano.Ledger.Coin

Methods

heapWords :: Coin -> Int

NoThunks Coin

Instance details

Defined in Cardano.Ledger.Coin

Methods

noThunks :: Context -> Coin -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> Coin -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy Coin -> String #

PartialOrd Coin

Instance details

Defined in Cardano.Ledger.Coin

Methods

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

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

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

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

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

(>) :: Coin -> Coin -> Bool

compare :: Coin -> Coin -> Maybe Ordering

Pretty Coin Source #

Instance details

Defined in Cardano.Api.Orphans

Methods

pretty :: Coin -> Doc ann #

prettyList :: [Coin] -> Doc ann #

Uniform Coin

Instance details

Defined in Cardano.Ledger.Coin

Methods

uniformM :: StatefulGen g m => g -> m Coin

UniformRange Coin

Instance details

Defined in Cardano.Ledger.Coin

Methods

uniformRM :: StatefulGen g m => (Coin, Coin) -> g -> m Coin

Inject Coin DeltaCoin

Instance details

Defined in Cardano.Ledger.Coin

Methods

inject :: Coin -> DeltaCoin Source #

Inject Coin (MaryValue c)

Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

inject :: Coin -> MaryValue c Source #

FromJSON (CompactForm Coin)

Instance details

Defined in Cardano.Ledger.Coin

Methods

parseJSON :: Value -> Parser (CompactForm Coin) #

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

omittedField :: Maybe (CompactForm Coin) #

ToJSON (CompactForm Coin)

Instance details

Defined in Cardano.Ledger.Coin

Methods

toJSON :: CompactForm Coin -> Value #

toEncoding :: CompactForm Coin -> Encoding #

toJSONList :: [CompactForm Coin] -> Value #

toEncodingList :: [CompactForm Coin] -> Encoding #

omitField :: CompactForm Coin -> Bool #

Monoid (CompactForm Coin)

Instance details

Defined in Cardano.Ledger.Coin

Methods

mempty :: CompactForm Coin Source #

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

mconcat :: [CompactForm Coin] -> CompactForm Coin Source #

Semigroup (CompactForm Coin)

Instance details

Defined in Cardano.Ledger.Coin

Methods

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

sconcat :: NonEmpty (CompactForm Coin) -> CompactForm Coin Source #

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

Show (CompactForm Coin)

Instance details

Defined in Cardano.Ledger.Coin

Methods

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

show :: CompactForm Coin -> String Source #

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

ToCBOR (CompactForm Coin)

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 #

DecCBOR (CompactForm Coin)

Instance details

Defined in Cardano.Ledger.Coin

Methods

decCBOR :: Decoder s (CompactForm Coin) Source #

dropCBOR :: Proxy (CompactForm Coin) -> Decoder s () Source #

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

EncCBOR (CompactForm Coin)

Instance details

Defined in Cardano.Ledger.Coin

Methods

encCBOR :: CompactForm Coin -> Encoding Source #

encodedSizeExpr :: (forall t. EncCBOR t => Proxy t -> Size) -> Proxy (CompactForm Coin) -> Size Source #

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

NFData (CompactForm Coin)

Instance details

Defined in Cardano.Ledger.Coin

Methods

rnf :: CompactForm Coin -> () Source #

Eq (CompactForm Coin)

Instance details

Defined in Cardano.Ledger.Coin

Methods

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

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

Ord (CompactForm Coin)

Instance details

Defined in Cardano.Ledger.Coin

Methods

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

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

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

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

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

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

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

Abelian (CompactForm Coin)

Instance details

Defined in Cardano.Ledger.Coin

Group (CompactForm Coin)

Instance details

Defined in Cardano.Ledger.Coin

Methods

invert :: CompactForm Coin -> CompactForm Coin

(~~) :: CompactForm Coin -> CompactForm Coin -> CompactForm Coin

pow :: Integral x => CompactForm Coin -> x -> CompactForm Coin

HeapWords (CompactForm Coin)

Instance details

Defined in Cardano.Ledger.Coin

Methods

heapWords :: CompactForm Coin -> Int

NoThunks (CompactForm Coin)

Instance details

Defined in Cardano.Ledger.Coin

Methods

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

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

showTypeOf :: Proxy (CompactForm Coin) -> String #

Prim (CompactForm Coin)

Instance details

Defined in Cardano.Ledger.Coin

Methods

sizeOfType# :: Proxy (CompactForm Coin) -> Int#

sizeOf# :: CompactForm Coin -> Int#

alignmentOfType# :: Proxy (CompactForm Coin) -> Int#

alignment# :: CompactForm Coin -> Int#

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

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

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

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

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

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

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

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

Uniform (CompactForm Coin)

Instance details

Defined in Cardano.Ledger.Coin

Methods

uniformM :: StatefulGen g m => g -> m (CompactForm Coin)

UniformRange (CompactForm Coin)

Instance details

Defined in Cardano.Ledger.Coin

Methods

uniformRM :: StatefulGen g m => (CompactForm Coin, CompactForm Coin) -> g -> m (CompactForm Coin)

type Rep Coin

Instance details

Defined in Cardano.Ledger.Coin

type Rep Coin = D1 ('MetaData "Coin" "Cardano.Ledger.Coin" "cardano-ledger-core-1.15.0.0-2e27acc191d04ed2274d46f93f1cbbd0e33c9b0ece6c9a0c5701a53b3db5b148" 'True) (C1 ('MetaCons "Coin" 'PrefixI 'True) (S1 ('MetaSel ('Just "unCoin") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))

newtype CompactForm Coin

Instance details

Defined in Cardano.Ledger.Coin

newtype CompactForm Coin = CompactCoin {

unCompactCoin :: Word64

}

Multi-asset values

newtype Quantity Source #

Constructors

Quantity Integer

Instances

Instances details

FromJSON Quantity Source #
Instance details Defined in Cardano.Api.Value Methods parseJSON :: Value -> Parser Quantity # parseJSONList :: Value -> Parser [Quantity] # omittedField :: Maybe Quantity #
ToJSON Quantity Source #
Instance details Defined in Cardano.Api.Value Methods toJSON :: Quantity -> Value # toEncoding :: Quantity -> Encoding # toJSONList :: [Quantity] -> Value # toEncodingList :: [Quantity] -> Encoding # omitField :: Quantity -> Bool #
Data Quantity Source #
Instance details Defined in Cardano.Api.Value Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Quantity -> c Quantity Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Quantity Source # toConstr :: Quantity -> Constr Source # dataTypeOf :: Quantity -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Quantity) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Quantity) Source # gmapT :: (forall b. Data b => b -> b) -> Quantity -> Quantity Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Quantity -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Quantity -> r Source # gmapQ :: (forall d. Data d => d -> u) -> Quantity -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> Quantity -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Quantity -> m Quantity Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Quantity -> m Quantity Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Quantity -> m Quantity Source #
Monoid Quantity Source #
Instance details Defined in Cardano.Api.Value Methods mempty :: Quantity Source # mappend :: Quantity -> Quantity -> Quantity Source # mconcat :: [Quantity] -> Quantity Source #
Semigroup Quantity Source #
Instance details Defined in Cardano.Api.Value Methods (<>) :: Quantity -> Quantity -> Quantity Source # sconcat :: NonEmpty Quantity -> Quantity Source # stimes :: Integral b => b -> Quantity -> Quantity Source #
Num Quantity Source #
Instance details Defined in Cardano.Api.Value Methods (+) :: Quantity -> Quantity -> Quantity Source # (-) :: Quantity -> Quantity -> Quantity Source # (*) :: Quantity -> Quantity -> Quantity Source # negate :: Quantity -> Quantity Source # abs :: Quantity -> Quantity Source # signum :: Quantity -> Quantity Source # fromInteger :: Integer -> Quantity Source #
Show Quantity Source #
Instance details Defined in Cardano.Api.Value Methods showsPrec :: Int -> Quantity -> ShowS Source # show :: Quantity -> String Source # showList :: [Quantity] -> ShowS Source #
Eq Quantity Source #
Instance details Defined in Cardano.Api.Value Methods (==) :: Quantity -> Quantity -> Bool Source # (/=) :: Quantity -> Quantity -> Bool Source #
Ord Quantity Source #
Instance details Defined in Cardano.Api.Value Methods compare :: Quantity -> Quantity -> Ordering Source # (<) :: Quantity -> Quantity -> Bool Source # (<=) :: Quantity -> Quantity -> Bool Source # (>) :: Quantity -> Quantity -> Bool Source # (>=) :: Quantity -> Quantity -> Bool Source # max :: Quantity -> Quantity -> Quantity Source # min :: Quantity -> Quantity -> Quantity Source #

newtype PolicyId Source #

Constructors

PolicyId
Fields unPolicyId :: ScriptHash

Instances

Instances details

FromJSON PolicyId Source #

Instance details

Defined in Cardano.Api.Value

Methods

parseJSON :: Value -> Parser PolicyId #

parseJSONList :: Value -> Parser [PolicyId] #

omittedField :: Maybe PolicyId #

ToJSON PolicyId Source #

Instance details

Defined in Cardano.Api.Value

Methods

toJSON :: PolicyId -> Value #

toEncoding :: PolicyId -> Encoding #

toJSONList :: [PolicyId] -> Value #

toEncodingList :: [PolicyId] -> Encoding #

omitField :: PolicyId -> Bool #

IsString PolicyId Source #

Instance details

Defined in Cardano.Api.Value

Methods

fromString :: String -> PolicyId Source #

Show PolicyId Source #

Instance details

Defined in Cardano.Api.Value

Methods

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

show :: PolicyId -> String Source #

showList :: [PolicyId] -> ShowS Source #

HasTypeProxy PolicyId Source #

Instance details

Defined in Cardano.Api.Value

Associated Types

data AsType PolicyId
Instance details Defined in Cardano.Api.Value data AsType PolicyId = AsPolicyId

Methods

proxyToAsType :: Proxy PolicyId -> AsType PolicyId Source #

SerialiseAsRawBytes PolicyId Source #

Instance details

Defined in Cardano.Api.Value

Methods

serialiseToRawBytes :: PolicyId -> ByteString Source #

deserialiseFromRawBytes :: AsType PolicyId -> ByteString -> Either SerialiseAsRawBytesError PolicyId Source #

Eq PolicyId Source #

Instance details

Defined in Cardano.Api.Value

Methods

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

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

Ord PolicyId Source #

Instance details

Defined in Cardano.Api.Value

Methods

compare :: PolicyId -> PolicyId -> Ordering Source #

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

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

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

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

max :: PolicyId -> PolicyId -> PolicyId Source #

min :: PolicyId -> PolicyId -> PolicyId Source #

data AsType PolicyId Source #

Instance details

Defined in Cardano.Api.Value

data AsType PolicyId = AsPolicyId

scriptPolicyId :: Script lang -> PolicyId Source #

newtype AssetName Source #

Constructors

AssetName ByteString

Instances

Instances details

FromJSON AssetName Source #

Instance details

Defined in Cardano.Api.Value

Methods

parseJSON :: Value -> Parser AssetName #

parseJSONList :: Value -> Parser [AssetName] #

omittedField :: Maybe AssetName #

FromJSONKey AssetName Source #

Instance details

Defined in Cardano.Api.Value

Methods

fromJSONKey :: FromJSONKeyFunction AssetName

fromJSONKeyList :: FromJSONKeyFunction [AssetName]

ToJSON AssetName Source #

Instance details

Defined in Cardano.Api.Value

Methods

toJSON :: AssetName -> Value #

toEncoding :: AssetName -> Encoding #

toJSONList :: [AssetName] -> Value #

toEncodingList :: [AssetName] -> Encoding #

omitField :: AssetName -> Bool #

ToJSONKey AssetName Source #

Instance details

Defined in Cardano.Api.Value

Methods

toJSONKey :: ToJSONKeyFunction AssetName

toJSONKeyList :: ToJSONKeyFunction [AssetName]

IsString AssetName Source #

Instance details

Defined in Cardano.Api.Value

Methods

fromString :: String -> AssetName Source #

Show AssetName Source #

Instance details

Defined in Cardano.Api.Value

Methods

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

show :: AssetName -> String Source #

showList :: [AssetName] -> ShowS Source #

HasTypeProxy AssetName Source #

Instance details

Defined in Cardano.Api.Value

Associated Types

data AsType AssetName
Instance details Defined in Cardano.Api.Value data AsType AssetName = AsAssetName

Methods

proxyToAsType :: Proxy AssetName -> AsType AssetName Source #

SerialiseAsRawBytes AssetName Source #

Instance details

Defined in Cardano.Api.Value

Methods

serialiseToRawBytes :: AssetName -> ByteString Source #

deserialiseFromRawBytes :: AsType AssetName -> ByteString -> Either SerialiseAsRawBytesError AssetName Source #

Eq AssetName Source #

Instance details

Defined in Cardano.Api.Value

Methods

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

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

Ord AssetName Source #

Instance details

Defined in Cardano.Api.Value

Methods

compare :: AssetName -> AssetName -> Ordering Source #

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

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

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

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

max :: AssetName -> AssetName -> AssetName Source #

min :: AssetName -> AssetName -> AssetName Source #

data AsType AssetName Source #

Instance details

Defined in Cardano.Api.Value

data AsType AssetName = AsAssetName

data AssetId Source #

Constructors

AdaAssetId
AssetId !PolicyId !AssetName

Instances

Instances details

Show AssetId Source #
Instance details Defined in Cardano.Api.Value Methods showsPrec :: Int -> AssetId -> ShowS Source # show :: AssetId -> String Source # showList :: [AssetId] -> ShowS Source #
Eq AssetId Source #
Instance details Defined in Cardano.Api.Value Methods (==) :: AssetId -> AssetId -> Bool Source # (/=) :: AssetId -> AssetId -> Bool Source #
Ord AssetId Source #
Instance details Defined in Cardano.Api.Value Methods compare :: AssetId -> AssetId -> Ordering Source # (<) :: AssetId -> AssetId -> Bool Source # (<=) :: AssetId -> AssetId -> Bool Source # (>) :: AssetId -> AssetId -> Bool Source # (>=) :: AssetId -> AssetId -> Bool Source # max :: AssetId -> AssetId -> AssetId Source # min :: AssetId -> AssetId -> AssetId Source #

data Value Source #

Instances

Instances details

FromJSON Value Source #

Instance details

Defined in Cardano.Api.Value

Methods

parseJSON :: Value -> Parser Value #

parseJSONList :: Value -> Parser [Value] #

omittedField :: Maybe Value #

ToJSON Value Source #

Instance details

Defined in Cardano.Api.Value

Methods

toJSON :: Value -> Value #

toEncoding :: Value -> Encoding #

toJSONList :: [Value] -> Value #

toEncodingList :: [Value] -> Encoding #

omitField :: Value -> Bool #

Monoid Value Source #

Instance details

Defined in Cardano.Api.Value

Methods

mempty :: Value Source #

mappend :: Value -> Value -> Value Source #

mconcat :: [Value] -> Value Source #

Semigroup Value Source #

Instance details

Defined in Cardano.Api.Value

Methods

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

sconcat :: NonEmpty Value -> Value Source #

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

IsList Value Source #

Instance details

Defined in Cardano.Api.Value

Associated Types

type Item Value
Instance details Defined in Cardano.Api.Value type Item Value = (AssetId, Quantity)

Methods

fromList :: [Item Value] -> Value Source #

fromListN :: Int -> [Item Value] -> Value Source #

toList :: Value -> [Item Value] Source #

Show Value Source #

Instance details

Defined in Cardano.Api.Value

Methods

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

show :: Value -> String Source #

showList :: [Value] -> ShowS Source #

Eq Value Source #

Instance details

Defined in Cardano.Api.Value

Methods

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

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

type Item Value Source #

Instance details

Defined in Cardano.Api.Value

type Item Value = (AssetId, Quantity)

selectAsset :: Value -> AssetId -> Quantity Source #

valueFromList :: [(AssetId, Quantity)] -> Value Source #

Deprecated: Use fromList instead.

valueToList :: Value -> [(AssetId, Quantity)] Source #

Deprecated: Use toList instead.

filterValue :: (AssetId -> Bool) -> Value -> Value Source #

allPositive :: Value -> Bool Source #

Check if the Value consists of only positive quantities.

negateValue :: Value -> Value Source #

This lets you write a - b as a <> negateValue b.

negateLedgerValue :: ShelleyBasedEra era -> Value (ShelleyLedgerEra era) -> Value (ShelleyLedgerEra era) Source #

calcMinimumDeposit :: Value -> Lovelace -> Lovelace Source #

Calculate cost of making a UTxO entry for a given Value and mininimum UTxO value derived from the ProtocolParameters

Ada / L.Coin specifically

type Lovelace = Coin Source #

A Coin is a Lovelace.

quantityToLovelace :: Quantity -> Lovelace Source #

lovelaceToQuantity :: Lovelace -> Quantity Source #

selectLovelace :: Value -> Lovelace Source #

lovelaceToValue :: Lovelace -> Value Source #

valueToLovelace :: Value -> Maybe Lovelace Source #

Check if the Value consists of only Lovelace and no other assets, and if so then return the Lovelace

See also selectLovelace to select the Lovelace quantity from the Value, ignoring other assets.

Alternative nested representation

newtype ValueNestedRep Source #

An alternative nested representation for Value that groups assets that share a PolicyId.

Constructors

ValueNestedRep [ValueNestedBundle]

Instances

Instances details

FromJSON ValueNestedRep Source #
Instance details Defined in Cardano.Api.Value Methods parseJSON :: Value -> Parser ValueNestedRep # parseJSONList :: Value -> Parser [ValueNestedRep] # omittedField :: Maybe ValueNestedRep #
ToJSON ValueNestedRep Source #
Instance details Defined in Cardano.Api.Value Methods toJSON :: ValueNestedRep -> Value # toEncoding :: ValueNestedRep -> Encoding # toJSONList :: [ValueNestedRep] -> Value # toEncodingList :: [ValueNestedRep] -> Encoding # omitField :: ValueNestedRep -> Bool #
Show ValueNestedRep Source #
Instance details Defined in Cardano.Api.Value Methods showsPrec :: Int -> ValueNestedRep -> ShowS Source # show :: ValueNestedRep -> String Source # showList :: [ValueNestedRep] -> ShowS Source #
Eq ValueNestedRep Source #
Instance details Defined in Cardano.Api.Value Methods (==) :: ValueNestedRep -> ValueNestedRep -> Bool Source # (/=) :: ValueNestedRep -> ValueNestedRep -> Bool Source #
Ord ValueNestedRep Source #
Instance details Defined in Cardano.Api.Value Methods compare :: ValueNestedRep -> ValueNestedRep -> Ordering Source # (<) :: ValueNestedRep -> ValueNestedRep -> Bool Source # (<=) :: ValueNestedRep -> ValueNestedRep -> Bool Source # (>) :: ValueNestedRep -> ValueNestedRep -> Bool Source # (>=) :: ValueNestedRep -> ValueNestedRep -> Bool Source # max :: ValueNestedRep -> ValueNestedRep -> ValueNestedRep Source # min :: ValueNestedRep -> ValueNestedRep -> ValueNestedRep Source #

data ValueNestedBundle Source #

A bundle within a ValueNestedRep for a single PolicyId, or for the special case of ada.

Constructors

ValueNestedBundleAda Quantity
ValueNestedBundle PolicyId (Map AssetName Quantity)

Instances

Instances details

Show ValueNestedBundle Source #
Instance details Defined in Cardano.Api.Value Methods showsPrec :: Int -> ValueNestedBundle -> ShowS Source # show :: ValueNestedBundle -> String Source # showList :: [ValueNestedBundle] -> ShowS Source #
Eq ValueNestedBundle Source #
Instance details Defined in Cardano.Api.Value Methods (==) :: ValueNestedBundle -> ValueNestedBundle -> Bool Source # (/=) :: ValueNestedBundle -> ValueNestedBundle -> Bool Source #
Ord ValueNestedBundle Source #
Instance details Defined in Cardano.Api.Value Methods compare :: ValueNestedBundle -> ValueNestedBundle -> Ordering Source # (<) :: ValueNestedBundle -> ValueNestedBundle -> Bool Source # (<=) :: ValueNestedBundle -> ValueNestedBundle -> Bool Source # (>) :: ValueNestedBundle -> ValueNestedBundle -> Bool Source # (>=) :: ValueNestedBundle -> ValueNestedBundle -> Bool Source # max :: ValueNestedBundle -> ValueNestedBundle -> ValueNestedBundle Source # min :: ValueNestedBundle -> ValueNestedBundle -> ValueNestedBundle Source #

valueToNestedRep :: Value -> ValueNestedRep Source #

valueFromNestedRep :: ValueNestedRep -> Value Source #

Rendering

renderValue :: Value -> Text Source #

Render a textual representation of a Value.

renderValuePretty :: Value -> Text Source #

Render a "prettified" textual representation of a Value.

Internal conversion functions

toByronLovelace :: Lovelace -> Maybe Lovelace Source #

fromByronLovelace :: Lovelace -> Lovelace Source #

fromShelleyDeltaLovelace :: DeltaCoin -> Lovelace Source #

toMaryValue :: Value -> MaryValue StandardCrypto Source #

fromMaryValue :: MaryValue StandardCrypto -> Value Source #

fromLedgerValue :: ShelleyBasedEra era -> Value (ShelleyLedgerEra era) -> Value Source #

toLedgerValue :: MaryEraOnwards era -> Value -> Value (ShelleyLedgerEra era) Source #

Data family instances

data family AsType t Source #

A family of singleton types used in this API to indicate which type to use where it would otherwise be ambiguous or merely unclear.

Values of this type are passed to deserialisation functions for example.

Instances

Instances details

data AsType AddressAny Source #
Instance details Defined in Cardano.Api.Address data AsType AddressAny = AsAddressAny
data AsType ByronAddr Source #
Instance details Defined in Cardano.Api.Address data AsType ByronAddr = AsByronAddr
data AsType ShelleyAddr Source #
Instance details Defined in Cardano.Api.Address data AsType ShelleyAddr = AsShelleyAddr
data AsType StakeAddress Source #
Instance details Defined in Cardano.Api.Address data AsType StakeAddress = AsStakeAddress
data AsType BlockHeader Source #
Instance details Defined in Cardano.Api.Block data AsType BlockHeader = AsBlockHeader
data AsType DRepMetadata Source #
Instance details Defined in Cardano.Api.DRepMetadata data AsType DRepMetadata = AsDRepMetadata
data AsType AllegraEra Source #
Instance details Defined in Cardano.Api.Eras.Core data AsType AllegraEra = AsAllegraEra
data AsType AlonzoEra Source #
Instance details Defined in Cardano.Api.Eras.Core data AsType AlonzoEra = AsAlonzoEra
data AsType BabbageEra Source #
Instance details Defined in Cardano.Api.Eras.Core data AsType BabbageEra = AsBabbageEra
data AsType ByronEra Source #
Instance details Defined in Cardano.Api.Eras.Core data AsType ByronEra = AsByronEra
data AsType ConwayEra Source #
Instance details Defined in Cardano.Api.Eras.Core data AsType ConwayEra = AsConwayEra
data AsType MaryEra Source #
Instance details Defined in Cardano.Api.Eras.Core data AsType MaryEra = AsMaryEra
data AsType ShelleyEra Source #
Instance details Defined in Cardano.Api.Eras.Core data AsType ShelleyEra = AsShelleyEra
data AsType GovernancePoll Source #
Instance details Defined in Cardano.Api.Governance.Poll data AsType GovernancePoll = AsGovernancePoll
data AsType GovernancePollAnswer Source #
Instance details Defined in Cardano.Api.Governance.Poll data AsType GovernancePollAnswer = AsGovernancePollAnswer
data AsType ByronKey Source #
Instance details Defined in Cardano.Api.Keys.Byron data AsType ByronKey = AsByronKey
data AsType ByronKeyLegacy Source #
Instance details Defined in Cardano.Api.Keys.Byron data AsType ByronKeyLegacy = AsByronKeyLegacy
data AsType KesKey Source #
Instance details Defined in Cardano.Api.Keys.Praos data AsType KesKey = AsKesKey
data AsType VrfKey Source #
Instance details Defined in Cardano.Api.Keys.Praos data AsType VrfKey = AsVrfKey
data AsType CommitteeColdExtendedKey Source #
Instance details Defined in Cardano.Api.Keys.Shelley data AsType CommitteeColdExtendedKey = AsCommitteeColdExtendedKey
data AsType CommitteeColdKey Source #
Instance details Defined in Cardano.Api.Keys.Shelley data AsType CommitteeColdKey = AsCommitteeColdKey
data AsType CommitteeHotExtendedKey Source #
Instance details Defined in Cardano.Api.Keys.Shelley data AsType CommitteeHotExtendedKey = AsCommitteeHotExtendedKey
data AsType CommitteeHotKey Source #
Instance details Defined in Cardano.Api.Keys.Shelley data AsType CommitteeHotKey = AsCommitteeHotKey
data AsType DRepExtendedKey Source #
Instance details Defined in Cardano.Api.Keys.Shelley data AsType DRepExtendedKey = AsDRepExtendedKey
data AsType DRepKey Source #
Instance details Defined in Cardano.Api.Keys.Shelley data AsType DRepKey = AsDRepKey
data AsType GenesisDelegateExtendedKey Source #
Instance details Defined in Cardano.Api.Keys.Shelley data AsType GenesisDelegateExtendedKey = AsGenesisDelegateExtendedKey
data AsType GenesisDelegateKey Source #
Instance details Defined in Cardano.Api.Keys.Shelley data AsType GenesisDelegateKey = AsGenesisDelegateKey
data AsType GenesisExtendedKey Source #
Instance details Defined in Cardano.Api.Keys.Shelley data AsType GenesisExtendedKey = AsGenesisExtendedKey
data AsType GenesisKey Source #
Instance details Defined in Cardano.Api.Keys.Shelley data AsType GenesisKey = AsGenesisKey
data AsType GenesisUTxOKey Source #
Instance details Defined in Cardano.Api.Keys.Shelley data AsType GenesisUTxOKey = AsGenesisUTxOKey
data AsType PaymentExtendedKey Source #
Instance details Defined in Cardano.Api.Keys.Shelley data AsType PaymentExtendedKey = AsPaymentExtendedKey
data AsType PaymentKey Source #
Instance details Defined in Cardano.Api.Keys.Shelley data AsType PaymentKey = AsPaymentKey
data AsType StakeExtendedKey Source #
Instance details Defined in Cardano.Api.Keys.Shelley data AsType StakeExtendedKey = AsStakeExtendedKey
data AsType StakeKey Source #
Instance details Defined in Cardano.Api.Keys.Shelley data AsType StakeKey = AsStakeKey
data AsType StakePoolKey Source #
Instance details Defined in Cardano.Api.Keys.Shelley data AsType StakePoolKey = AsStakePoolKey
data AsType OperationalCertificate Source #
Instance details Defined in Cardano.Api.OperationalCertificate data AsType OperationalCertificate = AsOperationalCertificate
data AsType OperationalCertificateIssueCounter Source #
Instance details Defined in Cardano.Api.OperationalCertificate data AsType OperationalCertificateIssueCounter = AsOperationalCertificateIssueCounter
data AsType PraosNonce Source #
Instance details Defined in Cardano.Api.ProtocolParameters data AsType PraosNonce = AsPraosNonce
data AsType UpdateProposal Source #
Instance details Defined in Cardano.Api.ProtocolParameters data AsType UpdateProposal = AsUpdateProposal
data AsType PlutusScriptV1 Source #
Instance details Defined in Cardano.Api.Script data AsType PlutusScriptV1 = AsPlutusScriptV1
data AsType PlutusScriptV2 Source #
Instance details Defined in Cardano.Api.Script data AsType PlutusScriptV2 = AsPlutusScriptV2
data AsType PlutusScriptV3 Source #
Instance details Defined in Cardano.Api.Script data AsType PlutusScriptV3 = AsPlutusScriptV3
data AsType ScriptHash Source #
Instance details Defined in Cardano.Api.Script data AsType ScriptHash = AsScriptHash
data AsType ScriptInAnyLang Source #
Instance details Defined in Cardano.Api.Script data AsType ScriptInAnyLang = AsScriptInAnyLang
data AsType SimpleScript' Source #
Instance details Defined in Cardano.Api.Script data AsType SimpleScript' = AsSimpleScript
data AsType HashableScriptData Source #
Instance details Defined in Cardano.Api.ScriptData data AsType HashableScriptData = AsHashableScriptData
data AsType ScriptData Source #
Instance details Defined in Cardano.Api.ScriptData data AsType ScriptData = AsScriptData
data AsType TextEnvelope Source #
Instance details Defined in Cardano.Api.SerialiseTextEnvelope data AsType TextEnvelope = AsTextEnvelope
data AsType ByronUpdateProposal Source #
Instance details Defined in Cardano.Api.SpecialByron data AsType ByronUpdateProposal = AsByronUpdateProposal
data AsType ByronVote Source #
Instance details Defined in Cardano.Api.SpecialByron data AsType ByronVote = AsByronVote
data AsType StakePoolMetadata Source #
Instance details Defined in Cardano.Api.StakePoolMetadata data AsType StakePoolMetadata = AsStakePoolMetadata
data AsType TxId Source #
Instance details Defined in Cardano.Api.TxIn data AsType TxId = AsTxId
data AsType TxMetadata Source #
Instance details Defined in Cardano.Api.TxMetadata data AsType TxMetadata = AsTxMetadata
data AsType AssetName Source #
Instance details Defined in Cardano.Api.Value data AsType AssetName = AsAssetName
data AsType PolicyId Source #
Instance details Defined in Cardano.Api.Value data AsType PolicyId = AsPolicyId
data AsType (Address addrtype) Source #
Instance details Defined in Cardano.Api.Address data AsType (Address addrtype) = AsAddress (AsType addrtype)
data AsType (AddressInEra era) Source #
Instance details Defined in Cardano.Api.Address data AsType (AddressInEra era) = AsAddressInEra (AsType era)
data AsType (Certificate era) Source #
Instance details Defined in Cardano.Api.Certificate data AsType (Certificate era) = AsCertificate
data AsType (Proposal era) Source #
Instance details Defined in Cardano.Api.Governance.Actions.ProposalProcedure data AsType (Proposal era) = AsProposal
data AsType (VotingProcedure era) Source #
Instance details Defined in Cardano.Api.Governance.Actions.VotingProcedure data AsType (VotingProcedure era) = AsVote
data AsType (VotingProcedures era) Source #
Instance details Defined in Cardano.Api.Governance.Actions.VotingProcedure data AsType (VotingProcedures era) = AsVotingProcedures
data AsType (Hash a) Source #
Instance details Defined in Cardano.Api.Hash data AsType (Hash a) = AsHash (AsType a)
data AsType (SigningKey a) Source #
Instance details Defined in Cardano.Api.Keys.Class data AsType (SigningKey a) = AsSigningKey (AsType a)
data AsType (VerificationKey a) Source #
Instance details Defined in Cardano.Api.Keys.Class data AsType (VerificationKey a) = AsVerificationKey (AsType a)
data AsType (PlutusScript lang) Source #
Instance details Defined in Cardano.Api.Script data AsType (PlutusScript lang) = AsPlutusScript (AsType lang)
data AsType (Script lang) Source #
Instance details Defined in Cardano.Api.Script data AsType (Script lang) = AsScript (AsType lang)
data AsType (ScriptInEra era) Source #
Instance details Defined in Cardano.Api.Script data AsType (ScriptInEra era) = AsScriptInEra (AsType era)
data AsType (KeyWitness era) Source #
Instance details Defined in Cardano.Api.Tx.Sign data AsType (KeyWitness era) = AsKeyWitness (AsType era)
data AsType (Tx era) Source #
Instance details Defined in Cardano.Api.Tx.Sign data AsType (Tx era) = AsTx (AsType era)
data AsType (TxBody era) Source #
Instance details Defined in Cardano.Api.Tx.Sign data AsType (TxBody era) = AsTxBody (AsType era)