cardano-api
Safe HaskellNone
LanguageHaskell2010

Cardano.Api.Value

Description

Currency values

Synopsis

Documentation

newtype Coin Source #

The amount of value held by a transaction output.

Constructors

Coin 

Fields

Instances

Instances details
FromJSON Coin 
Instance details

Defined in Cardano.Ledger.Coin

Methods

parseJSON :: Value -> Parser Coin #

parseJSONList :: Value -> Parser [Coin] #

omittedField :: Maybe Coin #

ToJSON Coin 
Instance details

Defined in Cardano.Ledger.Coin

Methods

toJSON :: Coin -> Value #

toEncoding :: Coin -> Encoding #

toJSONList :: [Coin] -> Value #

toEncodingList :: [Coin] -> Encoding #

omitField :: Coin -> Bool #

Monoid Coin 
Instance details

Defined in Cardano.Ledger.Coin

Methods

mempty :: Coin Source #

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

mconcat :: [Coin] -> Coin Source #

Semigroup Coin 
Instance details

Defined in Cardano.Ledger.Coin

Methods

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

sconcat :: NonEmpty Coin -> Coin Source #

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

Enum Coin 
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 #

Generic Coin 
Instance details

Defined in Cardano.Ledger.Coin

Associated Types

type Rep Coin 
Instance details

Defined in Cardano.Ledger.Coin

type Rep Coin = D1 ('MetaData "Coin" "Cardano.Ledger.Coin" "cardano-ledger-core-1.17.0.0-40627e0716da6172631bf6ceeb209e86ad7229267c6cb5633ce2346182bbd59c" '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.Internal.Orphans.Misc

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.Internal.Orphans.Misc

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.Internal.Orphans.Misc

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 #

HasZero Coin 
Instance details

Defined in Cardano.Ledger.Coin

Methods

isZero :: Coin -> Bool 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 {}

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.Internal.Orphans.Serialisation

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 
Instance details

Defined in Cardano.Ledger.Mary.Value

Methods

inject :: Coin -> MaryValue 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

MemPack (CompactForm Coin)

This instance prefixes with a 0 Tag for binary compatibility with compact form of multiassets.

Instance details

Defined in Cardano.Ledger.Coin

Methods

typeName :: String #

packedByteCount :: CompactForm Coin -> Int #

packM :: CompactForm Coin -> Pack s () #

unpackM :: Buffer b => Unpack b (CompactForm Coin) #

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.17.0.0-40627e0716da6172631bf6ceeb209e86ad7229267c6cb5633ce2346182bbd59c" '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 {}

Multi-asset values

newtype Quantity Source #

Constructors

Quantity Integer 

Instances

Instances details
FromJSON Quantity Source # 
Instance details

Defined in Cardano.Api.Value.Internal

Methods

parseJSON :: Value -> Parser Quantity #

parseJSONList :: Value -> Parser [Quantity] #

omittedField :: Maybe Quantity #

ToJSON Quantity Source # 
Instance details

Defined in Cardano.Api.Value.Internal

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.Internal

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.Internal

Methods

mempty :: Quantity Source #

mappend :: Quantity -> Quantity -> Quantity Source #

mconcat :: [Quantity] -> Quantity Source #

Semigroup Quantity Source # 
Instance details

Defined in Cardano.Api.Value.Internal

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.Internal

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.Internal

Methods

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

show :: Quantity -> String Source #

showList :: [Quantity] -> ShowS Source #

Eq Quantity Source # 
Instance details

Defined in Cardano.Api.Value.Internal

Methods

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

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

Ord Quantity Source # 
Instance details

Defined in Cardano.Api.Value.Internal

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 #

parseQuantity :: Parser Quantity Source #

Quantity (word64) parser. Only accepts positive quantities.

newtype PolicyId Source #

Constructors

PolicyId 

Fields

Instances

Instances details
FromJSON PolicyId Source # 
Instance details

Defined in Cardano.Api.Value.Internal

Methods

parseJSON :: Value -> Parser PolicyId #

parseJSONList :: Value -> Parser [PolicyId] #

omittedField :: Maybe PolicyId #

ToJSON PolicyId Source # 
Instance details

Defined in Cardano.Api.Value.Internal

Methods

toJSON :: PolicyId -> Value #

toEncoding :: PolicyId -> Encoding #

toJSONList :: [PolicyId] -> Value #

toEncodingList :: [PolicyId] -> Encoding #

omitField :: PolicyId -> Bool #

Show PolicyId Source # 
Instance details

Defined in Cardano.Api.Value.Internal

Methods

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

show :: PolicyId -> String Source #

showList :: [PolicyId] -> ShowS Source #

HasTypeProxy PolicyId Source # 
Instance details

Defined in Cardano.Api.Value.Internal

Associated Types

data AsType PolicyId 
Instance details

Defined in Cardano.Api.Value.Internal

data AsType PolicyId = AsPolicyId

Methods

proxyToAsType :: Proxy PolicyId -> AsType PolicyId Source #

SerialiseAsRawBytes PolicyId Source # 
Instance details

Defined in Cardano.Api.Value.Internal

Methods

serialiseToRawBytes :: PolicyId -> ByteString Source #

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

Eq PolicyId Source # 
Instance details

Defined in Cardano.Api.Value.Internal

Methods

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

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

Ord PolicyId Source # 
Instance details

Defined in Cardano.Api.Value.Internal

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.Internal

data AsType PolicyId = AsPolicyId

parsePolicyId :: Parser PolicyId Source #

Policy ID parser.

scriptPolicyId :: Script lang -> PolicyId Source #

newtype AssetName Source #

Constructors

UnsafeAssetName ByteString 

Instances

Instances details
FromJSON AssetName Source # 
Instance details

Defined in Cardano.Api.Value.Internal

Methods

parseJSON :: Value -> Parser AssetName #

parseJSONList :: Value -> Parser [AssetName] #

omittedField :: Maybe AssetName #

FromJSONKey AssetName Source # 
Instance details

Defined in Cardano.Api.Value.Internal

Methods

fromJSONKey :: FromJSONKeyFunction AssetName

fromJSONKeyList :: FromJSONKeyFunction [AssetName]

ToJSON AssetName Source # 
Instance details

Defined in Cardano.Api.Value.Internal

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.Internal

Methods

toJSONKey :: ToJSONKeyFunction AssetName

toJSONKeyList :: ToJSONKeyFunction [AssetName]

Show AssetName Source # 
Instance details

Defined in Cardano.Api.Value.Internal

Methods

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

show :: AssetName -> String Source #

showList :: [AssetName] -> ShowS Source #

HasTypeProxy AssetName Source # 
Instance details

Defined in Cardano.Api.Value.Internal

Associated Types

data AsType AssetName 
Instance details

Defined in Cardano.Api.Value.Internal

data AsType AssetName = AsAssetName

Methods

proxyToAsType :: Proxy AssetName -> AsType AssetName Source #

SerialiseAsRawBytes AssetName Source # 
Instance details

Defined in Cardano.Api.Value.Internal

Methods

serialiseToRawBytes :: AssetName -> ByteString Source #

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

Eq AssetName Source # 
Instance details

Defined in Cardano.Api.Value.Internal

Methods

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

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

Ord AssetName Source # 
Instance details

Defined in Cardano.Api.Value.Internal

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.Internal

data AsType AssetName = AsAssetName

parseAssetName :: Parser AssetName Source #

Asset name parser.

data AssetId Source #

Constructors

AdaAssetId 
AssetId !PolicyId !AssetName 

Instances

Instances details
Show AssetId Source # 
Instance details

Defined in Cardano.Api.Value.Internal

Methods

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

show :: AssetId -> String Source #

showList :: [AssetId] -> ShowS Source #

Eq AssetId Source # 
Instance details

Defined in Cardano.Api.Value.Internal

Methods

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

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

Ord AssetId Source # 
Instance details

Defined in Cardano.Api.Value.Internal

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 #

parseAssetId :: Parser AssetId Source #

Asset ID parser.

data Value Source #

Instances

Instances details
FromJSON Value Source # 
Instance details

Defined in Cardano.Api.Value.Internal

Methods

parseJSON :: Value -> Parser Value #

parseJSONList :: Value -> Parser [Value] #

omittedField :: Maybe Value #

ToJSON Value Source # 
Instance details

Defined in Cardano.Api.Value.Internal

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.Internal

Methods

mempty :: Value Source #

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

mconcat :: [Value] -> Value Source #

Semigroup Value Source # 
Instance details

Defined in Cardano.Api.Value.Internal

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.Internal

Associated Types

type Item Value 
Instance details

Defined in Cardano.Api.Value.Internal

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.Internal

Methods

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

show :: Value -> String Source #

showList :: [Value] -> ShowS Source #

Eq Value Source # 
Instance details

Defined in Cardano.Api.Value.Internal

Methods

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

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

type Item Value Source # 
Instance details

Defined in Cardano.Api.Value.Internal

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

newtype PolicyAssets Source #

Map of non-ADA assets with their quantity, for a single policy

Constructors

PolicyAssets (Map AssetName Quantity) 

Instances

Instances details
Monoid PolicyAssets Source # 
Instance details

Defined in Cardano.Api.Value.Internal

Methods

mempty :: PolicyAssets Source #

mappend :: PolicyAssets -> PolicyAssets -> PolicyAssets Source #

mconcat :: [PolicyAssets] -> PolicyAssets Source #

Semigroup PolicyAssets Source # 
Instance details

Defined in Cardano.Api.Value.Internal

Methods

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

sconcat :: NonEmpty PolicyAssets -> PolicyAssets Source #

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

IsList PolicyAssets Source # 
Instance details

Defined in Cardano.Api.Value.Internal

Associated Types

type Item PolicyAssets 
Instance details

Defined in Cardano.Api.Value.Internal

type Item PolicyAssets = (AssetName, Quantity)

Methods

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

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

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

Show PolicyAssets Source # 
Instance details

Defined in Cardano.Api.Value.Internal

Methods

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

show :: PolicyAssets -> String Source #

showList :: [PolicyAssets] -> ShowS Source #

Eq PolicyAssets Source # 
Instance details

Defined in Cardano.Api.Value.Internal

Methods

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

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

MonoFunctor PolicyAssets Source # 
Instance details

Defined in Cardano.Api.Value.Internal

Methods

omap :: (Element PolicyAssets -> Element PolicyAssets) -> PolicyAssets -> PolicyAssets

type Item PolicyAssets Source # 
Instance details

Defined in Cardano.Api.Value.Internal

type Item PolicyAssets = (AssetName, Quantity)
type Element PolicyAssets Source # 
Instance details

Defined in Cardano.Api.Value.Internal

type Element PolicyAssets = Quantity

policyAssetsToValue :: PolicyId -> PolicyAssets -> Value Source #

valueToPolicyAssets :: Value -> Map PolicyId PolicyAssets Source #

Converts Value to PolicyAssets. Discards any ADA value stored in Value.

multiAssetToPolicyAssets :: MultiAsset -> Map PolicyId PolicyAssets Source #

Convert cardano-ledger's MultiAsset to a map of PolicyAssets

parseUTxOValue :: Parser Value Source #

Parse a Value from its string representation. The resulting amounts must be positive for the parser to succeed.

parseMintingMultiAssetValue :: MaryEraOnwards era -> Parser MultiAsset Source #

Parse a MintValue from its string representation. The string representation cannot contain ADA.

parseTxOutMultiAssetValue :: Parser Value Source #

Parse a Value from its string representation. The resulting amounts must be positive for the parser to succeed.

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.Internal

Methods

parseJSON :: Value -> Parser ValueNestedRep #

parseJSONList :: Value -> Parser [ValueNestedRep] #

omittedField :: Maybe ValueNestedRep #

ToJSON ValueNestedRep Source # 
Instance details

Defined in Cardano.Api.Value.Internal

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.Internal

Methods

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

show :: ValueNestedRep -> String Source #

showList :: [ValueNestedRep] -> ShowS Source #

Eq ValueNestedRep Source # 
Instance details

Defined in Cardano.Api.Value.Internal

Methods

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

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

Ord ValueNestedRep Source # 
Instance details

Defined in Cardano.Api.Value.Internal

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.Internal

Methods

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

show :: ValueNestedBundle -> String Source #

showList :: [ValueNestedBundle] -> ShowS Source #

Eq ValueNestedBundle Source # 
Instance details

Defined in Cardano.Api.Value.Internal

Methods

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

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

Ord ValueNestedBundle Source # 
Instance details

Defined in Cardano.Api.Value.Internal

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.

renderMultiAsset :: MultiAsset -> Text Source #

renderMultiAssetPretty :: MultiAsset -> Text Source #

Internal conversion functions

toByronLovelace :: Lovelace -> Maybe Lovelace Source #

fromByronLovelace :: Lovelace -> Lovelace Source #

fromShelleyDeltaLovelace :: DeltaCoin -> Lovelace Source #

toMaryValue :: Value -> MaryValue Source #

fromMaryValue :: MaryValue -> Value Source #

fromMultiAsset :: MultiAsset -> 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 ByronKey Source # 
Instance details

Defined in Cardano.Api.Byron.Internal.Key

data AsType ByronKey = AsByronKey
data AsType ByronKeyLegacy Source # 
Instance details

Defined in Cardano.Api.Byron.Internal.Key

data AsType ByronKeyLegacy = AsByronKeyLegacy
data AsType ByronUpdateProposal Source # 
Instance details

Defined in Cardano.Api.Byron.Internal.Proposal

data AsType ByronUpdateProposal = AsByronUpdateProposal
data AsType ByronVote Source # 
Instance details

Defined in Cardano.Api.Byron.Internal.Proposal

data AsType ByronVote = AsByronVote
data AsType DRepMetadata Source # 
Instance details

Defined in Cardano.Api.Certificate.Internal.DRepMetadata

data AsType DRepMetadata = AsDRepMetadata
data AsType OperationalCertificate Source # 
Instance details

Defined in Cardano.Api.Certificate.Internal.OperationalCertificate

data AsType OperationalCertificate = AsOperationalCertificate
data AsType OperationalCertificateIssueCounter Source # 
Instance details

Defined in Cardano.Api.Certificate.Internal.OperationalCertificate

data AsType OperationalCertificateIssueCounter = AsOperationalCertificateIssueCounter
data AsType StakePoolMetadata Source # 
Instance details

Defined in Cardano.Api.Certificate.Internal.StakePoolMetadata

data AsType StakePoolMetadata = AsStakePoolMetadata
data AsType AllegraEra Source # 
Instance details

Defined in Cardano.Api.Era.Internal.Core

data AsType AllegraEra = AsAllegraEra
data AsType AlonzoEra Source # 
Instance details

Defined in Cardano.Api.Era.Internal.Core

data AsType AlonzoEra = AsAlonzoEra
data AsType BabbageEra Source # 
Instance details

Defined in Cardano.Api.Era.Internal.Core

data AsType BabbageEra = AsBabbageEra
data AsType ByronEra Source # 
Instance details

Defined in Cardano.Api.Era.Internal.Core

data AsType ByronEra = AsByronEra
data AsType ConwayEra Source # 
Instance details

Defined in Cardano.Api.Era.Internal.Core

data AsType ConwayEra = AsConwayEra
data AsType MaryEra Source # 
Instance details

Defined in Cardano.Api.Era.Internal.Core

data AsType MaryEra = AsMaryEra
data AsType ShelleyEra Source # 
Instance details

Defined in Cardano.Api.Era.Internal.Core

data AsType ShelleyEra = AsShelleyEra
data AsType GovernancePoll Source # 
Instance details

Defined in Cardano.Api.Governance.Internal.Poll

data AsType GovernancePoll = AsGovernancePoll
data AsType GovernancePollAnswer Source # 
Instance details

Defined in Cardano.Api.Governance.Internal.Poll

data AsType GovernancePollAnswer = AsGovernancePollAnswer
data AsType CommitteeColdExtendedKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal

data AsType CommitteeColdExtendedKey = AsCommitteeColdExtendedKey
data AsType CommitteeColdKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal

data AsType CommitteeColdKey = AsCommitteeColdKey
data AsType CommitteeHotExtendedKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal

data AsType CommitteeHotExtendedKey = AsCommitteeHotExtendedKey
data AsType CommitteeHotKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal

data AsType CommitteeHotKey = AsCommitteeHotKey
data AsType DRepExtendedKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal

data AsType DRepExtendedKey = AsDRepExtendedKey
data AsType DRepKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal

data AsType DRepKey = AsDRepKey
data AsType GenesisDelegateExtendedKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal

data AsType GenesisDelegateExtendedKey = AsGenesisDelegateExtendedKey
data AsType GenesisDelegateKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal

data AsType GenesisDelegateKey = AsGenesisDelegateKey
data AsType GenesisExtendedKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal

data AsType GenesisExtendedKey = AsGenesisExtendedKey
data AsType GenesisKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal

data AsType GenesisKey = AsGenesisKey
data AsType GenesisUTxOKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal

data AsType GenesisUTxOKey = AsGenesisUTxOKey
data AsType PaymentExtendedKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal

data AsType PaymentExtendedKey = AsPaymentExtendedKey
data AsType PaymentKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal

data AsType PaymentKey = AsPaymentKey
data AsType StakeExtendedKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal

data AsType StakeExtendedKey = AsStakeExtendedKey
data AsType StakeKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal

data AsType StakeKey = AsStakeKey
data AsType StakePoolExtendedKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal

data AsType StakePoolExtendedKey = AsStakePoolExtendedKey
data AsType StakePoolKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal

data AsType StakePoolKey = AsStakePoolKey
data AsType KesKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal.Praos

data AsType KesKey = AsKesKey
data AsType VrfKey Source # 
Instance details

Defined in Cardano.Api.Key.Internal.Praos

data AsType VrfKey = AsVrfKey
data AsType PlutusScriptV1 Source # 
Instance details

Defined in Cardano.Api.Plutus.Internal.Script

data AsType PlutusScriptV1 = AsPlutusScriptV1
data AsType PlutusScriptV2 Source # 
Instance details

Defined in Cardano.Api.Plutus.Internal.Script

data AsType PlutusScriptV2 = AsPlutusScriptV2
data AsType PlutusScriptV3 Source # 
Instance details

Defined in Cardano.Api.Plutus.Internal.Script

data AsType PlutusScriptV3 = AsPlutusScriptV3
data AsType ScriptHash Source # 
Instance details

Defined in Cardano.Api.Plutus.Internal.Script

data AsType ScriptHash = AsScriptHash
data AsType ScriptInAnyLang Source # 
Instance details

Defined in Cardano.Api.Plutus.Internal.Script

data AsType ScriptInAnyLang = AsScriptInAnyLang
data AsType SimpleScript' Source # 
Instance details

Defined in Cardano.Api.Plutus.Internal.Script

data AsType SimpleScript' = AsSimpleScript
data AsType HashableScriptData Source # 
Instance details

Defined in Cardano.Api.Plutus.Internal.ScriptData

data AsType HashableScriptData = AsHashableScriptData
data AsType ScriptData Source # 
Instance details

Defined in Cardano.Api.Plutus.Internal.ScriptData

data AsType ScriptData = AsScriptData
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 EraHistory Source # 
Instance details

Defined in Cardano.Api.Query.Internal.Type.QueryInMode

data AsType EraHistory = AsEraHistory
data AsType TextEnvelope Source # 
Instance details

Defined in Cardano.Api.Serialise.TextEnvelope.Internal

data AsType TextEnvelope = AsTextEnvelope
data AsType TxId Source # 
Instance details

Defined in Cardano.Api.Tx.Internal.TxIn

data AsType TxId = AsTxId
data AsType TxMetadata Source # 
Instance details

Defined in Cardano.Api.Tx.Internal.TxMetadata

data AsType TxMetadata = AsTxMetadata
data AsType AssetName Source # 
Instance details

Defined in Cardano.Api.Value.Internal

data AsType AssetName = AsAssetName
data AsType PolicyId Source # 
Instance details

Defined in Cardano.Api.Value.Internal

data AsType PolicyId = AsPolicyId
data AsType GovActionId Source # 
Instance details

Defined in Cardano.Api.Internal.Orphans.Serialisation

data AsType GovActionId = AsGovActionId
data AsType Term Source # 
Instance details

Defined in Cardano.Api.Serialise.Cbor.Canonical

data AsType Term = AsTerm
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.Internal

data AsType (Certificate era) = AsCertificate
data AsType (Proposal era) Source # 
Instance details

Defined in Cardano.Api.Governance.Internal.Action.ProposalProcedure

data AsType (Proposal era) = AsProposal
data AsType (VotingProcedure era) Source # 
Instance details

Defined in Cardano.Api.Governance.Internal.Action.VotingProcedure

data AsType (VotingProcedure era) = AsVote
data AsType (VotingProcedures era) Source # 
Instance details

Defined in Cardano.Api.Governance.Internal.Action.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.Key.Internal.Class

data AsType (SigningKey a) = AsSigningKey (AsType a)
data AsType (VerificationKey a) Source # 
Instance details

Defined in Cardano.Api.Key.Internal.Class

data AsType (VerificationKey a) = AsVerificationKey (AsType a)
data AsType (PlutusScript lang) Source # 
Instance details

Defined in Cardano.Api.Plutus.Internal.Script

data AsType (PlutusScript lang) = AsPlutusScript (AsType lang)
data AsType (Script lang) Source # 
Instance details

Defined in Cardano.Api.Plutus.Internal.Script

data AsType (Script lang) = AsScript (AsType lang)
data AsType (ScriptInEra era) Source # 
Instance details

Defined in Cardano.Api.Plutus.Internal.Script

data AsType (ScriptInEra era) = AsScriptInEra (AsType era)
data AsType (KeyWitness era) Source # 
Instance details

Defined in Cardano.Api.Tx.Internal.Sign

data AsType (KeyWitness era) = AsKeyWitness (AsType era)
data AsType (Tx era) Source # 
Instance details

Defined in Cardano.Api.Tx.Internal.Sign

data AsType (Tx era) = AsTx (AsType era)
data AsType (TxBody era) Source # 
Instance details

Defined in Cardano.Api.Tx.Internal.Sign

data AsType (TxBody era) = AsTxBody (AsType era)
data AsType (Credential 'ColdCommitteeRole) Source # 
Instance details

Defined in Cardano.Api.Internal.Orphans.Serialisation

data AsType (Credential 'ColdCommitteeRole) = AsColdCommitteeCredential
data AsType (Credential 'DRepRole) Source # 
Instance details

Defined in Cardano.Api.Internal.Orphans.Serialisation

data AsType (Credential 'DRepRole) = AsDrepCredential
data AsType (Credential 'HotCommitteeRole) Source # 
Instance details

Defined in Cardano.Api.Internal.Orphans.Serialisation

data AsType (Credential 'HotCommitteeRole) = AsHotCommitteeCredential
data AsType (PlutusScriptInEra era lang) Source # 
Instance details

Defined in Cardano.Api.Plutus.Internal.Script

data AsType (PlutusScriptInEra era lang) = AsPlutusScriptInEra (AsType lang)