Safe Haskell	None
Language	Haskell2010

Test.QuickCheck.ContractModel.ThreatModel.Pretty

Synopsis

paragraph :: [String] -> String
block :: Doc -> [Doc] -> Doc
fblock :: Doc -> [Doc] -> Doc
hblock :: Doc -> [Doc] -> Doc
hblock' :: Int -> Doc -> [Doc] -> Doc
pList :: [Doc] -> Doc
pSet :: [Doc] -> Doc
pArgs :: [Doc] -> Doc
(<:>) :: Doc -> Doc -> Doc
prettyInput :: Input -> Doc
prettyOutput :: Output -> Doc
prettyUTxO :: UTxO Era -> Doc
prettyIn :: TxIn -> Doc
prettyTxOut :: TxOut CtxUTxO Era -> Doc
prettyTxOutTx :: TxOut CtxTx Era -> Doc
prettyAddress :: AddressAny -> Doc
prettyIx :: TxIx -> Doc
prettyValue :: Value -> Doc
prettyAssetId :: AssetId -> Doc
prettyHash :: Show a => a -> Doc
prettyDatum :: Datum -> Doc
prettyTx :: Tx Era -> Doc
prettyRedeemer :: [TxIn] -> [PolicyId] -> RdmrPtr -> (Data era, ExUnits) -> Doc
prettyDatumMap :: TxBodyScriptData Era -> Doc
prettyMinting :: TxMintValue build Era -> Doc
prettyValidity :: (TxValidityLowerBound Era, TxValidityUpperBound Era) -> Doc
prettyLowerBound :: TxValidityLowerBound Era -> Doc
prettyUpperBound :: TxValidityUpperBound Era -> Doc
prettyTxModifier :: TxModifier -> Doc
prettyScriptData :: ScriptData -> Doc
prettyBytes :: Bool -> ByteString -> Doc

Documentation

paragraph :: [String] -> String Source #

Format a list of strings as a paragraph. The structure of the list is not considered other than inserting whitespace between consecutive elements. Use with counterexampleTM when printing longer texts.

block :: Doc -> [Doc] -> Doc Source #

fblock :: Doc -> [Doc] -> Doc Source #

hblock :: Doc -> [Doc] -> Doc Source #

hblock' :: Int -> Doc -> [Doc] -> Doc Source #

pList :: [Doc] -> Doc Source #

pSet :: [Doc] -> Doc Source #

pArgs :: [Doc] -> Doc Source #

(<:>) :: Doc -> Doc -> Doc infixr 6 Source #

prettyInput :: Input -> Doc Source #

prettyOutput :: Output -> Doc Source #

prettyUTxO :: UTxO Era -> Doc Source #

prettyIn :: TxIn -> Doc Source #

prettyTxOut :: TxOut CtxUTxO Era -> Doc Source #

prettyTxOutTx :: TxOut CtxTx Era -> Doc Source #

prettyAddress :: AddressAny -> Doc Source #

prettyIx :: TxIx -> Doc Source #

prettyValue :: Value -> Doc Source #

prettyAssetId :: AssetId -> Doc Source #

prettyHash :: Show a => a -> Doc Source #

prettyDatum :: Datum -> Doc Source #

prettyTx :: Tx Era -> Doc Source #

prettyRedeemer :: [TxIn] -> [PolicyId] -> RdmrPtr -> (Data era, ExUnits) -> Doc Source #

prettyDatumMap :: TxBodyScriptData Era -> Doc Source #

prettyMinting :: TxMintValue build Era -> Doc Source #

prettyValidity :: (TxValidityLowerBound Era, TxValidityUpperBound Era) -> Doc Source #

prettyLowerBound :: TxValidityLowerBound Era -> Doc Source #

prettyUpperBound :: TxValidityUpperBound Era -> Doc Source #

prettyTxModifier :: TxModifier -> Doc Source #

prettyScriptData :: ScriptData -> Doc Source #

prettyBytes :: Bool -> ByteString -> Doc Source #