tests
Safe HaskellSafe-Inferred
LanguageHaskell2010

Hydra.Ledger.CardanoSpec

Synopsis

Documentation

spec :: Spec Source #

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 #

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.