Safe Haskell	Safe-Inferred
Language	Haskell2010

Hydra.Model.Payment

Contents

Orphans
Orphan instances

Description

A simplistic type of transactions useful for modelling purpose. a Payment is a simple transaction type that moves some amount of ADAs between to CardanoSigningKey.

Synopsis

newtype CardanoSigningKey = CardanoSigningKey {
- signingKey :: SigningKey PaymentKey
}
data Payment = Payment {
- from :: CardanoSigningKey
- to :: CardanoSigningKey
- value :: Value
}
applyTx :: UTxOType Payment -> Payment -> UTxOType Payment
genAdaValue :: Gen Value

Documentation

newtype CardanoSigningKey Source #

Constructors

CardanoSigningKey
Fields signingKey :: SigningKey PaymentKey

Instances

Instances details

Arbitrary CardanoSigningKey Source #
Instance details Defined in Hydra.Model.Payment Methods arbitrary :: Gen CardanoSigningKey shrink :: CardanoSigningKey -> [CardanoSigningKey]
FromJSON CardanoSigningKey Source #
Instance details Defined in Hydra.Model.Payment Methods parseJSON :: Value -> Parser CardanoSigningKey parseJSONList :: Value -> Parser [CardanoSigningKey]
ToJSON CardanoSigningKey Source #
Instance details Defined in Hydra.Model.Payment Methods toJSON :: CardanoSigningKey -> Value toEncoding :: CardanoSigningKey -> Encoding toJSONList :: [CardanoSigningKey] -> Value toEncodingList :: [CardanoSigningKey] -> Encoding
Show CardanoSigningKey Source #
Instance details Defined in Hydra.Model.Payment Methods showsPrec :: Int -> CardanoSigningKey -> ShowS Source # show :: CardanoSigningKey -> String Source # showList :: [CardanoSigningKey] -> ShowS Source #
FromCBOR CardanoSigningKey Source #
Instance details Defined in Hydra.Model.Payment Methods fromCBOR :: Decoder s CardanoSigningKey label :: Proxy CardanoSigningKey -> Text
ToCBOR CardanoSigningKey Source #
Instance details Defined in Hydra.Model.Payment Methods toCBOR :: CardanoSigningKey -> Encoding encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy CardanoSigningKey -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [CardanoSigningKey] -> Size
Eq CardanoSigningKey Source #
Instance details Defined in Hydra.Model.Payment Methods (==) :: CardanoSigningKey -> CardanoSigningKey -> Bool Source # (/=) :: CardanoSigningKey -> CardanoSigningKey -> Bool Source #

data Payment Source #

A single Ada-payment only transaction in our model.

Constructors

Payment
Fields from :: CardanoSigningKey to :: CardanoSigningKey value :: Value

Instances

Instances details

Arbitrary Payment Source #
Instance details Defined in Hydra.Model.Payment Methods arbitrary :: Gen Payment shrink :: Payment -> [Payment]
FromJSON Payment Source #
Instance details Defined in Hydra.Model.Payment Methods parseJSON :: Value -> Parser Payment parseJSONList :: Value -> Parser [Payment]
ToJSON Payment Source #
Instance details Defined in Hydra.Model.Payment Methods toJSON :: Payment -> Value toEncoding :: Payment -> Encoding toJSONList :: [Payment] -> Value toEncodingList :: [Payment] -> Encoding
Generic Payment Source #
Instance details Defined in Hydra.Model.Payment Associated Types type Rep Payment :: Type -> Type Source # Methods from :: Payment -> Rep Payment x Source # to :: Rep Payment x -> Payment Source #
Show Payment Source #
Instance details Defined in Hydra.Model.Payment Methods showsPrec :: Int -> Payment -> ShowS Source # show :: Payment -> String Source # showList :: [Payment] -> ShowS Source #
FromCBOR Payment Source #
Instance details Defined in Hydra.Model.Payment Methods fromCBOR :: Decoder s Payment label :: Proxy Payment -> Text
ToCBOR Payment Source #
Instance details Defined in Hydra.Model.Payment Methods toCBOR :: Payment -> Encoding encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Payment -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Payment] -> Size
Eq Payment Source #
Instance details Defined in Hydra.Model.Payment Methods (==) :: Payment -> Payment -> Bool Source # (/=) :: Payment -> Payment -> Bool Source #
IsTx Payment Source #	Making `Payment` an instance of `IsTx` allows us to use it with `HeadLogic``s messages.
Instance details Defined in Hydra.Model.Payment Associated Types type UTxOType Payment type TxIdType Payment type ValueType Payment Methods txId :: Payment -> TxIdType Payment balance :: UTxOType Payment -> ValueType Payment hashUTxO :: UTxOType Payment -> ByteString
HasVariables Payment Source #
Instance details Defined in Hydra.Model.Payment Methods getAllVariables :: Payment -> Set (Any Var)
type Rep Payment Source #
Instance details Defined in Hydra.Model.Payment type Rep Payment = D1 ('MetaData "Payment" "Hydra.Model.Payment" "main" 'False) (C1 ('MetaCons "Payment" 'PrefixI 'True) (S1 ('MetaSel ('Just "from") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CardanoSigningKey) :: (S1 ('MetaSel ('Just "to") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CardanoSigningKey) :: S1 ('MetaSel ('Just "value") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Value))))
type TxIdType Payment Source #
Instance details Defined in Hydra.Model.Payment type TxIdType Payment = Int
type UTxOType Payment Source #
Instance details Defined in Hydra.Model.Payment type UTxOType Payment = [(CardanoSigningKey, Value)]
type ValueType Payment Source #
Instance details Defined in Hydra.Model.Payment type ValueType Payment = Value

applyTx :: UTxOType Payment -> Payment -> UTxOType Payment Source #

genAdaValue :: Gen Value Source #

Orphans

Orphan instances

Arbitrary Value Source #
Instance details Methods arbitrary :: Gen Value shrink :: Value -> [Value]
FromCBOR Value Source #
Instance details Methods fromCBOR :: Decoder s Value label :: Proxy Value -> Text
ToCBOR Value Source #
Instance details Methods toCBOR :: Value -> Encoding encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Value -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Value] -> Size