Documentation

maxMapSize :: Int Source #

maxBSSize :: Int Source #

assume_cbor_properties :: Bool Source #

prop_mapCostsShelley :: Bool Source #

prop_mapCostsAllegra :: Bool Source #

prop_mapCostsMary :: Bool Source #

prop_mapCostsAlonzo :: Bool Source #

prop_mapCostsBabbage :: Bool Source #

prop_mapCostsConway :: Bool Source #

assumeMapCosts :: forall era. IsShelleyBasedEra era => AsType era -> [Int] Source #

prop_bsCostsShelley :: Bool Source #

prop_bsCostsAllegra :: Bool Source #

prop_bsCostsMary :: Bool Source #

prop_bsCostsAlonzo :: Bool Source #

prop_bsCostsBabbage :: Bool Source #

prop_bsCostsConway :: Bool Source #

stepFunction :: [(Int, Int)] -> [Int] Source #

measureMapCosts :: forall era. IsShelleyBasedEra era => AsType era -> [Int] Source #

listMetadata :: [TxMetadataValue] -> TxMetadata Source #

measureBSCosts :: forall era. IsShelleyBasedEra era => AsType era -> [Int] Source #

metadataSize :: forall era. IsShelleyBasedEra era => AsType era -> Maybe TxMetadata -> Int Source #

dummyTxSizeInEra :: IsShelleyBasedEra era => TxMetadataInEra era -> Int Source #

dummyTxSize :: forall era. IsShelleyBasedEra era => AsType era -> Maybe TxMetadata -> Int Source #

metadataInEra :: forall era. IsShelleyBasedEra era => Maybe TxMetadata -> TxMetadataInEra era Source #

mkMetadata :: forall era. IsShelleyBasedEra era => Int -> Either String (TxMetadataInEra era) Source #