Safe Haskell	Safe-Inferred
Language	GHC2021

Hydra.Ledger.Simple

Contents

Simple transactions
Simple chain state
A simple ledger
Builders

Description

A mock implementation of a ledger using very simple UTxO transactions.

These transactions have a very simplified representation of unspent transaction outputs being just integers, but already have inputs and outputs. Transactions are validated against the current state of the ledger, so that one transaction could at some point be invalid, then becomes valid because some inputs it consumes are now available.

NOTE: There is no notion of time in this ledger, so transactions validation will never depend on the L1 slot.

Synopsis

type SimpleId = Integer
data SimpleTx = SimpleTx {
- txSimpleId :: SimpleId
- txInputs :: UTxOType SimpleTx
- txOutputs :: UTxOType SimpleTx
}
newtype SimpleTxOut = SimpleTxOut {
- unSimpleTxOut :: Integer
}
newtype SimpleChainState = SimpleChainState {
- slot :: ChainSlot
}
simpleLedger :: Ledger SimpleTx
utxoRef :: Integer -> UTxOType SimpleTx
utxoRefs :: [Integer] -> UTxOType SimpleTx
aValidTx :: Integer -> SimpleTx

Simple transactions

type SimpleId = Integer Source #

data SimpleTx Source #

Simple transaction. A transaction is a SimpleId, a list of inputs and a list of outputs, and it has no time validity.

Constructors

SimpleTx
Fields txSimpleId :: SimpleId txInputs :: UTxOType SimpleTx txOutputs :: UTxOType SimpleTx

Instances

Instances details

Arbitrary SimpleTx Source #
Instance details Defined in Hydra.Ledger.Simple Methods arbitrary :: Gen SimpleTx shrink :: SimpleTx -> [SimpleTx]
FromJSON SimpleTx Source #
Instance details Defined in Hydra.Ledger.Simple Methods parseJSON :: Value -> Parser SimpleTx parseJSONList :: Value -> Parser [SimpleTx] omittedField :: Maybe SimpleTx
ToJSON SimpleTx Source #
Instance details Defined in Hydra.Ledger.Simple Methods toJSON :: SimpleTx -> Value toEncoding :: SimpleTx -> Encoding toJSONList :: [SimpleTx] -> Value toEncodingList :: [SimpleTx] -> Encoding omitField :: SimpleTx -> Bool
Generic SimpleTx Source #
Instance details Defined in Hydra.Ledger.Simple Associated Types type Rep SimpleTx :: Type -> Type Source # Methods from :: SimpleTx -> Rep SimpleTx x Source # to :: Rep SimpleTx x -> SimpleTx Source #
Show SimpleTx Source #
Instance details Defined in Hydra.Ledger.Simple Methods showsPrec :: Int -> SimpleTx -> ShowS Source # show :: SimpleTx -> String Source # showList :: [SimpleTx] -> ShowS Source #
FromCBOR SimpleTx Source #
Instance details Defined in Hydra.Ledger.Simple Methods fromCBOR :: Decoder s SimpleTx label :: Proxy SimpleTx -> Text
ToCBOR SimpleTx Source #
Instance details Defined in Hydra.Ledger.Simple Methods toCBOR :: SimpleTx -> Encoding encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy SimpleTx -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SimpleTx] -> Size
Eq SimpleTx Source #
Instance details Defined in Hydra.Ledger.Simple Methods (==) :: SimpleTx -> SimpleTx -> Bool Source # (/=) :: SimpleTx -> SimpleTx -> Bool Source #
Ord SimpleTx Source #
Instance details Defined in Hydra.Ledger.Simple Methods compare :: SimpleTx -> SimpleTx -> Ordering Source # (<) :: SimpleTx -> SimpleTx -> Bool Source # (<=) :: SimpleTx -> SimpleTx -> Bool Source # (>) :: SimpleTx -> SimpleTx -> Bool Source # (>=) :: SimpleTx -> SimpleTx -> Bool Source # max :: SimpleTx -> SimpleTx -> SimpleTx Source # min :: SimpleTx -> SimpleTx -> SimpleTx Source #
IsChainState SimpleTx Source #
Instance details Defined in Hydra.Ledger.Simple Associated Types type ChainStateType SimpleTx = (c :: Type) Methods chainStateSlot :: ChainStateType SimpleTx -> ChainSlot
IsTx SimpleTx Source #
Instance details Defined in Hydra.Ledger.Simple Associated Types type TxIdType SimpleTx type TxOutType SimpleTx = (out :: Type) type UTxOType SimpleTx = (utxo :: Type) type ValueType SimpleTx Methods txId :: SimpleTx -> TxIdType SimpleTx balance :: UTxOType SimpleTx -> ValueType SimpleTx hashUTxO :: UTxOType SimpleTx -> ByteString txSpendingUTxO :: UTxOType SimpleTx -> SimpleTx utxoFromTx :: SimpleTx -> UTxOType SimpleTx outputsOfUTxO :: UTxOType SimpleTx -> [TxOutType SimpleTx] withoutUTxO :: UTxOType SimpleTx -> UTxOType SimpleTx -> UTxOType SimpleTx
type Rep SimpleTx Source #
Instance details Defined in Hydra.Ledger.Simple type Rep SimpleTx = D1 ('MetaData "SimpleTx" "Hydra.Ledger.Simple" "hydra-node-0.21.0-4ibc00B6CCmF4EmjGjxvGm" 'False) (C1 ('MetaCons "SimpleTx" 'PrefixI 'True) (S1 ('MetaSel ('Just "txSimpleId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SimpleId) :: (S1 ('MetaSel ('Just "txInputs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (UTxOType SimpleTx)) :: S1 ('MetaSel ('Just "txOutputs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (UTxOType SimpleTx)))))
type ChainStateType SimpleTx Source #
Instance details Defined in Hydra.Ledger.Simple type ChainStateType SimpleTx = SimpleChainState
type TxIdType SimpleTx Source #
Instance details Defined in Hydra.Ledger.Simple type TxIdType SimpleTx = SimpleId
type TxOutType SimpleTx Source #
Instance details Defined in Hydra.Ledger.Simple type TxOutType SimpleTx = SimpleTxOut
type UTxOType SimpleTx Source #
Instance details Defined in Hydra.Ledger.Simple type UTxOType SimpleTx = Set SimpleTxOut
type ValueType SimpleTx Source #
Instance details Defined in Hydra.Ledger.Simple type ValueType SimpleTx = Int

newtype SimpleTxOut Source #

A single output of a SimpleTx having an integer identity and sole value.

Constructors

SimpleTxOut
Fields unSimpleTxOut :: Integer

Instances

Instances details

Arbitrary SimpleTxOut Source #
Instance details Defined in Hydra.Ledger.Simple Methods arbitrary :: Gen SimpleTxOut shrink :: SimpleTxOut -> [SimpleTxOut]
FromJSON SimpleTxOut Source #
Instance details Defined in Hydra.Ledger.Simple Methods parseJSON :: Value -> Parser SimpleTxOut parseJSONList :: Value -> Parser [SimpleTxOut] omittedField :: Maybe SimpleTxOut
ToJSON SimpleTxOut Source #
Instance details Defined in Hydra.Ledger.Simple Methods toJSON :: SimpleTxOut -> Value toEncoding :: SimpleTxOut -> Encoding toJSONList :: [SimpleTxOut] -> Value toEncodingList :: [SimpleTxOut] -> Encoding omitField :: SimpleTxOut -> Bool
Generic SimpleTxOut Source #
Instance details Defined in Hydra.Ledger.Simple Associated Types type Rep SimpleTxOut :: Type -> Type Source # Methods from :: SimpleTxOut -> Rep SimpleTxOut x Source # to :: Rep SimpleTxOut x -> SimpleTxOut Source #
Num SimpleTxOut Source #
Instance details Defined in Hydra.Ledger.Simple Methods (+) :: SimpleTxOut -> SimpleTxOut -> SimpleTxOut Source # (-) :: SimpleTxOut -> SimpleTxOut -> SimpleTxOut Source # (*) :: SimpleTxOut -> SimpleTxOut -> SimpleTxOut Source # negate :: SimpleTxOut -> SimpleTxOut Source # abs :: SimpleTxOut -> SimpleTxOut Source # signum :: SimpleTxOut -> SimpleTxOut Source # fromInteger :: Integer -> SimpleTxOut Source #
Show SimpleTxOut Source #
Instance details Defined in Hydra.Ledger.Simple Methods showsPrec :: Int -> SimpleTxOut -> ShowS Source # show :: SimpleTxOut -> String Source # showList :: [SimpleTxOut] -> ShowS Source #
FromCBOR SimpleTxOut Source #
Instance details Defined in Hydra.Ledger.Simple Methods fromCBOR :: Decoder s SimpleTxOut label :: Proxy SimpleTxOut -> Text
ToCBOR SimpleTxOut Source #
Instance details Defined in Hydra.Ledger.Simple Methods toCBOR :: SimpleTxOut -> Encoding encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy SimpleTxOut -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [SimpleTxOut] -> Size
Eq SimpleTxOut Source #
Instance details Defined in Hydra.Ledger.Simple Methods (==) :: SimpleTxOut -> SimpleTxOut -> Bool Source # (/=) :: SimpleTxOut -> SimpleTxOut -> Bool Source #
Ord SimpleTxOut Source #
Instance details Defined in Hydra.Ledger.Simple Methods compare :: SimpleTxOut -> SimpleTxOut -> Ordering Source # (<) :: SimpleTxOut -> SimpleTxOut -> Bool Source # (<=) :: SimpleTxOut -> SimpleTxOut -> Bool Source # (>) :: SimpleTxOut -> SimpleTxOut -> Bool Source # (>=) :: SimpleTxOut -> SimpleTxOut -> Bool Source # max :: SimpleTxOut -> SimpleTxOut -> SimpleTxOut Source # min :: SimpleTxOut -> SimpleTxOut -> SimpleTxOut Source #
type Rep SimpleTxOut Source #
Instance details Defined in Hydra.Ledger.Simple type Rep SimpleTxOut = D1 ('MetaData "SimpleTxOut" "Hydra.Ledger.Simple" "hydra-node-0.21.0-4ibc00B6CCmF4EmjGjxvGm" 'True) (C1 ('MetaCons "SimpleTxOut" 'PrefixI 'True) (S1 ('MetaSel ('Just "unSimpleTxOut") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer)))

Simple chain state

newtype SimpleChainState Source #

Constructors

SimpleChainState
Fields slot :: ChainSlot

Instances

Instances details

Arbitrary SimpleChainState Source #
Instance details Defined in Hydra.Ledger.Simple Methods arbitrary :: Gen SimpleChainState shrink :: SimpleChainState -> [SimpleChainState]
FromJSON SimpleChainState Source #
Instance details Defined in Hydra.Ledger.Simple Methods parseJSON :: Value -> Parser SimpleChainState parseJSONList :: Value -> Parser [SimpleChainState] omittedField :: Maybe SimpleChainState
ToJSON SimpleChainState Source #
Instance details Defined in Hydra.Ledger.Simple Methods toJSON :: SimpleChainState -> Value toEncoding :: SimpleChainState -> Encoding toJSONList :: [SimpleChainState] -> Value toEncodingList :: [SimpleChainState] -> Encoding omitField :: SimpleChainState -> Bool
Generic SimpleChainState Source #
Instance details Defined in Hydra.Ledger.Simple Associated Types type Rep SimpleChainState :: Type -> Type Source # Methods from :: SimpleChainState -> Rep SimpleChainState x Source # to :: Rep SimpleChainState x -> SimpleChainState Source #
Show SimpleChainState Source #
Instance details Defined in Hydra.Ledger.Simple Methods showsPrec :: Int -> SimpleChainState -> ShowS Source # show :: SimpleChainState -> String Source # showList :: [SimpleChainState] -> ShowS Source #
Eq SimpleChainState Source #
Instance details Defined in Hydra.Ledger.Simple Methods (==) :: SimpleChainState -> SimpleChainState -> Bool Source # (/=) :: SimpleChainState -> SimpleChainState -> Bool Source #
type Rep SimpleChainState Source #
Instance details Defined in Hydra.Ledger.Simple type Rep SimpleChainState = D1 ('MetaData "SimpleChainState" "Hydra.Ledger.Simple" "hydra-node-0.21.0-4ibc00B6CCmF4EmjGjxvGm" 'True) (C1 ('MetaCons "SimpleChainState" 'PrefixI 'True) (S1 ('MetaSel ('Just "slot") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ChainSlot)))

A simple ledger

simpleLedger :: Ledger SimpleTx Source #

Builders

utxoRef :: Integer -> UTxOType SimpleTx Source #

utxoRefs :: [Integer] -> UTxOType SimpleTx Source #

aValidTx :: Integer -> SimpleTx Source #