Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Hydra.Ledger.CardanoSpec
Synopsis
- spec :: Spec
- shouldParseJSONAs :: forall a. FromJSON a => LByteString -> Expectation
- roundtripTxId :: Tx -> Property
- roundtripLedger :: Tx -> Property
- roundtripCBOR :: (Eq a, Show a, ToCBOR a, FromCBOR a) => a -> Property
- appliesValidTransaction :: Property
- appliesValidTransactionFromJSON :: Property
- propDoesNotCollapse :: (Show (t a), Foldable t, Monoid (t a)) => String -> Gen (t a) -> Spec
- propRealisticValue :: Value -> Property
- propGeneratesGoodTxOut :: TxOut CtxUTxO -> Property
Documentation
shouldParseJSONAs :: forall a. FromJSON a => LByteString -> Expectation Source #
roundtripTxId :: Tx -> Property Source #
roundtripLedger :: Tx -> Property Source #
roundtripCBOR :: (Eq a, Show a, ToCBOR a, FromCBOR a) => a -> Property Source #
appliesValidTransaction :: Property Source #
appliesValidTransactionFromJSON :: Property Source #
propDoesNotCollapse :: (Show (t a), Foldable t, Monoid (t a)) => String -> Gen (t a) -> Spec Source #
propRealisticValue :: Value -> Property Source #
A transaction or transaction output can usually only contain a realistic number of native asset entries. This property checks a realistic order of magnitude (100).
propGeneratesGoodTxOut :: TxOut CtxUTxO -> Property Source #
Check that the given TxOut
fulfills several requirements and does not use
unsupported features. See genTxOut
for rationale.