plutus-wallet-api-0.1.0.0: Wallet API

Safe HaskellNone
LanguageHaskell2010

Ledger

Synopsis

Documentation

module Ledger.Tx

data CurrencySymbol Source #

Instances
Eq CurrencySymbol Source # 
Instance details

Defined in Ledger.Value

Ord CurrencySymbol Source # 
Instance details

Defined in Ledger.Value

Show CurrencySymbol Source # 
Instance details

Defined in Ledger.Value

IsString CurrencySymbol Source # 
Instance details

Defined in Ledger.Value

Generic CurrencySymbol Source # 
Instance details

Defined in Ledger.Value

Associated Types

type Rep CurrencySymbol :: Type -> Type Source #

IotsType CurrencySymbol Source # 
Instance details

Defined in Ledger.Value

ToSchema CurrencySymbol Source # 
Instance details

Defined in Ledger.Value

Serialise CurrencySymbol Source # 
Instance details

Defined in Ledger.Value

Methods

encode :: CurrencySymbol -> Encoding

decode :: Decoder s CurrencySymbol

encodeList :: [CurrencySymbol] -> Encoding

decodeList :: Decoder s [CurrencySymbol]

Hashable CurrencySymbol Source # 
Instance details

Defined in Ledger.Value

FromJSON CurrencySymbol Source # 
Instance details

Defined in Ledger.Value

Methods

parseJSON :: Value -> Parser CurrencySymbol

parseJSONList :: Value -> Parser [CurrencySymbol]

FromJSONKey CurrencySymbol Source # 
Instance details

Defined in Ledger.Value

Methods

fromJSONKey :: FromJSONKeyFunction CurrencySymbol

fromJSONKeyList :: FromJSONKeyFunction [CurrencySymbol]

ToJSON CurrencySymbol Source # 
Instance details

Defined in Ledger.Value

Methods

toJSON :: CurrencySymbol -> Value

toEncoding :: CurrencySymbol -> Encoding

toJSONList :: [CurrencySymbol] -> Value

toEncodingList :: [CurrencySymbol] -> Encoding

ToJSONKey CurrencySymbol Source # 
Instance details

Defined in Ledger.Value

Methods

toJSONKey :: ToJSONKeyFunction CurrencySymbol

toJSONKeyList :: ToJSONKeyFunction [CurrencySymbol]

Lift CurrencySymbol Source # 
Instance details

Defined in Ledger.Value

Methods

lift :: CurrencySymbol -> RTCompile (Term TyName Name ())

Eq CurrencySymbol Source # 
Instance details

Defined in Ledger.Value

Ord CurrencySymbol Source # 
Instance details

Defined in Ledger.Value

Typeable CurrencySymbol Source # 
Instance details

Defined in Ledger.Value

Methods

typeRep :: Proxy CurrencySymbol -> RTCompile (Type TyName ())

type Rep CurrencySymbol Source # 
Instance details

Defined in Ledger.Value

type Rep CurrencySymbol = D1 (MetaData "CurrencySymbol" "Ledger.Value" "plutus-wallet-api-0.1.0.0-BdsTjp7uGUGANkPkvyfvD2-plutus-ledger" True) (C1 (MetaCons "CurrencySymbol" PrefixI True) (S1 (MetaSel (Just "unCurrencySymbol") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ByteString)))

data Value Source #

A cryptocurrency value. This is a map from CurrencySymbols to a quantity of that currency.

Operations on currencies are usually implemented pointwise. That is, we apply the operation to the quantities for each currency in turn. So when we add two Values the resulting Value has, for each currency, the sum of the quantities of that particular currency in the argument Value. The effect of this is that the currencies in the Value are "independent", and are operated on separately.

Whenever we need to get the quantity of a currency in a Value where there is no explicit quantity of that currency in the Value, then the quantity is taken to be zero.

See note [Currencies] for more details.

Instances
Eq Value Source # 
Instance details

Defined in Ledger.Value

Methods

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

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

Show Value Source # 
Instance details

Defined in Ledger.Value

Generic Value Source # 
Instance details

Defined in Ledger.Value

Associated Types

type Rep Value :: Type -> Type Source #

Methods

from :: Value -> Rep Value x Source #

to :: Rep Value x -> Value Source #

Semigroup Value Source # 
Instance details

Defined in Ledger.Value

Monoid Value Source # 
Instance details

Defined in Ledger.Value

IotsType Value Source # 
Instance details

Defined in Ledger.Value

ToSchema Value Source # 
Instance details

Defined in Ledger.Value

Serialise Value Source # 
Instance details

Defined in Ledger.Value

Methods

encode :: Value -> Encoding

decode :: Decoder s Value

encodeList :: [Value] -> Encoding

decodeList :: Decoder s [Value]

Hashable Value Source # 
Instance details

Defined in Ledger.Value

Methods

hashWithSalt :: Int -> Value -> Int

hash :: Value -> Int

FromJSON Value Source # 
Instance details

Defined in Ledger.Value

Methods

parseJSON :: Value0 -> Parser Value

parseJSONList :: Value0 -> Parser [Value]

ToJSON Value Source # 
Instance details

Defined in Ledger.Value

Methods

toJSON :: Value -> Value0

toEncoding :: Value -> Encoding

toJSONList :: [Value] -> Value0

toEncodingList :: [Value] -> Encoding

Lift Value Source # 
Instance details

Defined in Ledger.Value

Methods

lift :: Value -> RTCompile (Term TyName Name ())

Eq Value Source # 
Instance details

Defined in Ledger.Value

Methods

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

Group Value Source # 
Instance details

Defined in Ledger.Value

Methods

inv :: Value -> Value

Monoid Value Source # 
Instance details

Defined in Ledger.Value

Methods

mempty :: Value

AdditiveGroup Value Source # 
Instance details

Defined in Ledger.Value

Methods

(-) :: Value -> Value -> Value

AdditiveMonoid Value Source # 
Instance details

Defined in Ledger.Value

Methods

zero :: Value

AdditiveSemigroup Value Source # 
Instance details

Defined in Ledger.Value

Methods

(+) :: Value -> Value -> Value

Semigroup Value Source # 
Instance details

Defined in Ledger.Value

Methods

(<>) :: Value -> Value -> Value

Module Integer Value Source # 
Instance details

Defined in Ledger.Value

Methods

scale :: Integer -> Value -> Value #

Typeable Value Source # 
Instance details

Defined in Ledger.Value

Methods

typeRep :: Proxy Value -> RTCompile (Type TyName ())

type Rep Value Source # 
Instance details

Defined in Ledger.Value

type Rep Value = D1 (MetaData "Value" "Ledger.Value" "plutus-wallet-api-0.1.0.0-BdsTjp7uGUGANkPkvyfvD2-plutus-ledger" True) (C1 (MetaCons "Value" PrefixI True) (S1 (MetaSel (Just "getValue") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Map CurrencySymbol (Map TokenName Integer)))))

data Ada Source #

ADA, the special currency on the Cardano blockchain. The unit of Ada is Lovelace, and 1M Lovelace is one Ada. See note [Currencies] in TH.

Instances
Enum Ada Source # 
Instance details

Defined in Ledger.Ada

Eq Ada Source # 
Instance details

Defined in Ledger.Ada

Methods

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

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

Integral Ada Source # 
Instance details

Defined in Ledger.Ada

Methods

quot :: Ada -> Ada -> Ada Source #

rem :: Ada -> Ada -> Ada Source #

div :: Ada -> Ada -> Ada Source #

mod :: Ada -> Ada -> Ada Source #

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

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

toInteger :: Ada -> Integer Source #

Num Ada Source # 
Instance details

Defined in Ledger.Ada

Ord Ada Source # 
Instance details

Defined in Ledger.Ada

Methods

compare :: Ada -> Ada -> Ordering Source #

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

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

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

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

max :: Ada -> Ada -> Ada Source #

min :: Ada -> Ada -> Ada Source #

Real Ada Source # 
Instance details

Defined in Ledger.Ada

Show Ada Source # 
Instance details

Defined in Ledger.Ada

Generic Ada Source # 
Instance details

Defined in Ledger.Ada

Associated Types

type Rep Ada :: Type -> Type Source #

Methods

from :: Ada -> Rep Ada x Source #

to :: Rep Ada x -> Ada Source #

Semigroup Ada Source # 
Instance details

Defined in Ledger.Ada

Methods

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

sconcat :: NonEmpty Ada -> Ada Source #

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

Monoid Ada Source # 
Instance details

Defined in Ledger.Ada

IotsType Ada Source # 
Instance details

Defined in Ledger.Ada

ToSchema Ada Source # 
Instance details

Defined in Ledger.Ada

Serialise Ada Source # 
Instance details

Defined in Ledger.Ada

Methods

encode :: Ada -> Encoding

decode :: Decoder s Ada

encodeList :: [Ada] -> Encoding

decodeList :: Decoder s [Ada]

FromJSON Ada Source # 
Instance details

Defined in Ledger.Ada

Methods

parseJSON :: Value -> Parser Ada

parseJSONList :: Value -> Parser [Ada]

ToJSON Ada Source # 
Instance details

Defined in Ledger.Ada

Methods

toJSON :: Ada -> Value

toEncoding :: Ada -> Encoding

toJSONList :: [Ada] -> Value

toEncodingList :: [Ada] -> Encoding

Lift Ada Source # 
Instance details

Defined in Ledger.Ada

Methods

lift :: Ada -> RTCompile (Term TyName Name ())

Eq Ada Source # 
Instance details

Defined in Ledger.Ada

Methods

(==) :: Ada -> Ada -> Bool

Monoid Ada Source # 
Instance details

Defined in Ledger.Ada

Methods

mempty :: Ada

AdditiveGroup Ada Source # 
Instance details

Defined in Ledger.Ada

Methods

(-) :: Ada -> Ada -> Ada

AdditiveMonoid Ada Source # 
Instance details

Defined in Ledger.Ada

Methods

zero :: Ada

AdditiveSemigroup Ada Source # 
Instance details

Defined in Ledger.Ada

Methods

(+) :: Ada -> Ada -> Ada

MultiplicativeMonoid Ada Source # 
Instance details

Defined in Ledger.Ada

Methods

one :: Ada

MultiplicativeSemigroup Ada Source # 
Instance details

Defined in Ledger.Ada

Methods

(*) :: Ada -> Ada -> Ada

Ord Ada Source # 
Instance details

Defined in Ledger.Ada

Methods

compare :: Ada -> Ada -> Ordering

(<) :: Ada -> Ada -> Bool

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

(>) :: Ada -> Ada -> Bool

(>=) :: Ada -> Ada -> Bool

max :: Ada -> Ada -> Ada

min :: Ada -> Ada -> Ada

Semigroup Ada Source # 
Instance details

Defined in Ledger.Ada

Methods

(<>) :: Ada -> Ada -> Ada

Typeable Ada Source # 
Instance details

Defined in Ledger.Ada

Methods

typeRep :: Proxy Ada -> RTCompile (Type TyName ())

type Rep Ada Source # 
Instance details

Defined in Ledger.Ada

type Rep Ada = D1 (MetaData "Ada" "Ledger.Ada" "plutus-wallet-api-0.1.0.0-BdsTjp7uGUGANkPkvyfvD2-plutus-ledger" True) (C1 (MetaCons "Lovelace" PrefixI True) (S1 (MetaSel (Just "getLovelace") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Integer)))