cardano-api
Safe HaskellNone
LanguageHaskell2010

Cardano.Api.Pretty

Synopsis

Documentation

type Ann = AnsiStyle Source #

Ann is the prettyprinter annotation for cardano-api and cardano-cli to enable the printing of colored output. This is a type alias for AnsiStyle.

data Doc ann #

Instances

Instances details
Functor Doc # 
Instance details

Defined in Prettyprinter.Internal

Methods

fmap :: (a -> b) -> Doc a -> Doc b Source #

(<$) :: a -> Doc b -> Doc a Source #

Monoid (Doc ann) # 
Instance details

Defined in Prettyprinter.Internal

Methods

mempty :: Doc ann Source #

mappend :: Doc ann -> Doc ann -> Doc ann Source #

mconcat :: [Doc ann] -> Doc ann Source #

Semigroup (Doc ann) # 
Instance details

Defined in Prettyprinter.Internal

Methods

(<>) :: Doc ann -> Doc ann -> Doc ann Source #

sconcat :: NonEmpty (Doc ann) -> Doc ann Source #

stimes :: Integral b => b -> Doc ann -> Doc ann Source #

IsString (Doc ann) # 
Instance details

Defined in Prettyprinter.Internal

Methods

fromString :: String -> Doc ann Source #

Generic (Doc ann) # 
Instance details

Defined in Prettyprinter.Internal

Associated Types

type Rep (Doc ann) 
Instance details

Defined in Prettyprinter.Internal

type Rep (Doc ann) = D1 ('MetaData "Doc" "Prettyprinter.Internal" "prettyprinter-1.7.1-76RVJwSCNxvAI28Mop56KK" 'False) (((C1 ('MetaCons "Fail" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Empty" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Char" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Char)))) :+: (C1 ('MetaCons "Text" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Int) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text)) :+: (C1 ('MetaCons "Line" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "FlatAlt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Doc ann)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Doc ann)))))) :+: ((C1 ('MetaCons "Cat" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Doc ann)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Doc ann))) :+: (C1 ('MetaCons "Nest" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Int) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Doc ann))) :+: C1 ('MetaCons "Union" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Doc ann)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Doc ann))))) :+: ((C1 ('MetaCons "Column" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Int -> Doc ann))) :+: C1 ('MetaCons "WithPageWidth" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PageWidth -> Doc ann)))) :+: (C1 ('MetaCons "Nesting" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Int -> Doc ann))) :+: C1 ('MetaCons "Annotated" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ann) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Doc ann)))))))

Methods

from :: Doc ann -> Rep (Doc ann) x Source #

to :: Rep (Doc ann) x -> Doc ann Source #

Show (Doc ann) # 
Instance details

Defined in Prettyprinter.Internal

Methods

showsPrec :: Int -> Doc ann -> ShowS Source #

show :: Doc ann -> String Source #

showList :: [Doc ann] -> ShowS Source #

type Rep (Doc ann) # 
Instance details

Defined in Prettyprinter.Internal

type Rep (Doc ann) = D1 ('MetaData "Doc" "Prettyprinter.Internal" "prettyprinter-1.7.1-76RVJwSCNxvAI28Mop56KK" 'False) (((C1 ('MetaCons "Fail" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Empty" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Char" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Char)))) :+: (C1 ('MetaCons "Text" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Int) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text)) :+: (C1 ('MetaCons "Line" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "FlatAlt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Doc ann)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Doc ann)))))) :+: ((C1 ('MetaCons "Cat" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Doc ann)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Doc ann))) :+: (C1 ('MetaCons "Nest" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedUnpack) (Rec0 Int) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Doc ann))) :+: C1 ('MetaCons "Union" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Doc ann)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Doc ann))))) :+: ((C1 ('MetaCons "Column" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Int -> Doc ann))) :+: C1 ('MetaCons "WithPageWidth" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PageWidth -> Doc ann)))) :+: (C1 ('MetaCons "Nesting" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Int -> Doc ann))) :+: C1 ('MetaCons "Annotated" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ann) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Doc ann)))))))

class Pretty a where #

Minimal complete definition

pretty

Methods

pretty :: a -> Doc ann #

prettyList :: [a] -> Doc ann #

Instances

Instances details
Pretty AnyCardanoEra Source # 
Instance details

Defined in Cardano.Api.Era.Internal.Core

Methods

pretty :: AnyCardanoEra -> Doc ann #

prettyList :: [AnyCardanoEra] -> Doc ann #

Pretty BlsPossessionProof Source # 
Instance details

Defined in Cardano.Api.Key.Internal.Leios

Pretty ScriptHash Source # 
Instance details

Defined in Cardano.Api.Plutus.Internal.Script

Methods

pretty :: ScriptHash -> Doc ann #

prettyList :: [ScriptHash] -> Doc ann #

Pretty PraosNonce Source # 
Instance details

Defined in Cardano.Api.ProtocolParameters

Methods

pretty :: PraosNonce -> Doc ann #

prettyList :: [PraosNonce] -> Doc ann #

Pretty TxOutInAnyEra Source # 
Instance details

Defined in Cardano.Api.Tx.Internal.Output

Methods

pretty :: TxOutInAnyEra -> Doc ann #

prettyList :: [TxOutInAnyEra] -> Doc ann #

Pretty TxId Source # 
Instance details

Defined in Cardano.Api.Tx.Internal.TxIn

Methods

pretty :: TxId -> Doc ann #

prettyList :: [TxId] -> Doc ann #

Pretty TxIn Source # 
Instance details

Defined in Cardano.Api.Tx.Internal.TxIn

Methods

pretty :: TxIn -> Doc ann #

prettyList :: [TxIn] -> Doc ann #

Pretty TxIx Source # 
Instance details

Defined in Cardano.Api.Tx.Internal.TxIn

Methods

pretty :: TxIx -> Doc ann #

prettyList :: [TxIx] -> Doc ann #

Pretty Url Source # 
Instance details

Defined in Cardano.Api.Pretty

Methods

pretty :: Url -> Doc ann #

prettyList :: [Url] -> Doc ann #

Pretty Coin Source # 
Instance details

Defined in Cardano.Api.Internal.Orphans.Serialisation

Methods

pretty :: Coin -> Doc ann #

prettyList :: [Coin] -> Doc ann #

Pretty AssetName Source # 
Instance details

Defined in Cardano.Api.Internal.Orphans.Serialisation

Methods

pretty :: AssetName -> Doc ann #

prettyList :: [AssetName] -> Doc ann #

Pretty MultiAsset Source # 
Instance details

Defined in Cardano.Api.Internal.Orphans.Serialisation

Methods

pretty :: MultiAsset -> Doc ann #

prettyList :: [MultiAsset] -> Doc ann #

Pretty PolicyID Source # 
Instance details

Defined in Cardano.Api.Internal.Orphans.Serialisation

Methods

pretty :: PolicyID -> Doc ann #

prettyList :: [PolicyID] -> Doc ann #

Pretty Void # 
Instance details

Defined in Prettyprinter.Internal

Methods

pretty :: Void -> Doc ann #

prettyList :: [Void] -> Doc ann #

Pretty TypeRep Source # 
Instance details

Defined in Cardano.Api.Internal.Orphans.Misc

Methods

pretty :: TypeRep -> Doc ann #

prettyList :: [TypeRep] -> Doc ann #

Pretty Int16 # 
Instance details

Defined in Prettyprinter.Internal

Methods

pretty :: Int16 -> Doc ann #

prettyList :: [Int16] -> Doc ann #

Pretty Int32 # 
Instance details

Defined in Prettyprinter.Internal

Methods

pretty :: Int32 -> Doc ann #

prettyList :: [Int32] -> Doc ann #

Pretty Int64 # 
Instance details

Defined in Prettyprinter.Internal

Methods

pretty :: Int64 -> Doc ann #

prettyList :: [Int64] -> Doc ann #

Pretty Int8 # 
Instance details

Defined in Prettyprinter.Internal

Methods

pretty :: Int8 -> Doc ann #

prettyList :: [Int8] -> Doc ann #

Pretty Word16 # 
Instance details

Defined in Prettyprinter.Internal

Methods

pretty :: Word16 -> Doc ann #

prettyList :: [Word16] -> Doc ann #

Pretty Word32 # 
Instance details

Defined in Prettyprinter.Internal

Methods

pretty :: Word32 -> Doc ann #

prettyList :: [Word32] -> Doc ann #

Pretty Word64 # 
Instance details

Defined in Prettyprinter.Internal

Methods

pretty :: Word64 -> Doc ann #

prettyList :: [Word64] -> Doc ann #

Pretty Word8 # 
Instance details

Defined in Prettyprinter.Internal

Methods

pretty :: Word8 -> Doc ann #

prettyList :: [Word8] -> Doc ann #

Pretty SourcePos Source # 
Instance details

Defined in PlutusCore.Error

Methods

pretty :: SourcePos -> Doc ann #

prettyList :: [SourcePos] -> Doc ann #

Pretty Error Source # 
Instance details

Defined in Cardano.Api.Internal.Orphans.Misc

Methods

pretty :: Error -> Doc ann #

prettyList :: [Error] -> Doc ann #

Pretty DeserialiseFailureInfo Source # 
Instance details

Defined in Codec.Extras.SerialiseViaFlat

Pretty DeserialiseFailureReason Source # 
Instance details

Defined in Codec.Extras.SerialiseViaFlat

Pretty Ann Source # 
Instance details

Defined in PlutusCore.Annotation

Methods

pretty :: Ann -> Doc ann #

prettyList :: [Ann] -> Doc ann #

Pretty SrcSpan Source # 
Instance details

Defined in PlutusCore.Annotation

Methods

pretty :: SrcSpan -> Doc ann #

prettyList :: [SrcSpan] -> Doc ann #

Pretty SrcSpans Source # 
Instance details

Defined in PlutusCore.Annotation

Methods

pretty :: SrcSpans -> Doc ann #

prettyList :: [SrcSpans] -> Doc ann #

Pretty Param Source # 
Instance details

Defined in PlutusCore.Arity

Methods

pretty :: Param -> Doc ann #

prettyList :: [Param] -> Doc ann #

Pretty AstSize Source # 
Instance details

Defined in PlutusCore.AstSize

Methods

pretty :: AstSize -> Doc ann #

prettyList :: [AstSize] -> Doc ann #

Pretty BuiltinError Source # 
Instance details

Defined in PlutusCore.Builtin.Result

Methods

pretty :: BuiltinError -> Doc ann #

prettyList :: [BuiltinError] -> Doc ann #

Pretty UnliftingError Source # 
Instance details

Defined in PlutusCore.Builtin.Result

Methods

pretty :: UnliftingError -> Doc ann #

prettyList :: [UnliftingError] -> Doc ann #

Pretty UnliftingEvaluationError Source # 
Instance details

Defined in PlutusCore.Builtin.Result

Pretty NameAnn Source # 
Instance details

Defined in PlutusCore.Check.Scoping

Methods

pretty :: NameAnn -> Doc ann #

prettyList :: [NameAnn] -> Doc ann #

Pretty ScopeError Source # 
Instance details

Defined in PlutusCore.Check.Scoping

Methods

pretty :: ScopeError -> Doc ann #

prettyList :: [ScopeError] -> Doc ann #

Pretty Element Source # 
Instance details

Defined in PlutusCore.Crypto.BLS12_381.G1

Methods

pretty :: Element -> Doc ann #

prettyList :: [Element] -> Doc ann #

Pretty Element Source # 
Instance details

Defined in PlutusCore.Crypto.BLS12_381.G2

Methods

pretty :: Element -> Doc ann #

prettyList :: [Element] -> Doc ann #

Pretty MlResult Source # 
Instance details

Defined in PlutusCore.Crypto.BLS12_381.Pairing

Methods

pretty :: MlResult -> Doc ann #

prettyList :: [MlResult] -> Doc ann #

Pretty Data Source # 
Instance details

Defined in PlutusCore.Data

Methods

pretty :: Data -> Doc ann #

prettyList :: [Data] -> Doc ann #

Pretty FreeVariableError Source # 
Instance details

Defined in PlutusCore.DeBruijn.Internal

Pretty Index Source # 
Instance details

Defined in PlutusCore.DeBruijn.Internal

Methods

pretty :: Index -> Doc ann #

prettyList :: [Index] -> Doc ann #

Pretty DefaultFun Source # 
Instance details

Defined in PlutusCore.Default.Builtins

Methods

pretty :: DefaultFun -> Doc ann #

prettyList :: [DefaultFun] -> Doc ann #

Pretty ParserError Source # 
Instance details

Defined in PlutusCore.Error

Methods

pretty :: ParserError -> Doc ann #

prettyList :: [ParserError] -> Doc ann #

Pretty ParserErrorBundle Source # 
Instance details

Defined in PlutusCore.Error

Pretty CkUserError Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.Ck

Methods

pretty :: CkUserError -> Doc ann #

prettyList :: [CkUserError] -> Doc ann #

Pretty CostModelApplyError Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostModelInterface

Pretty CostModelApplyWarn Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostModelInterface

Pretty ExBudget Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExBudget

Methods

pretty :: ExBudget -> Doc ann #

prettyList :: [ExBudget] -> Doc ann #

Pretty ExRestrictingBudget Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExBudget

Pretty ExCPU Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

pretty :: ExCPU -> Doc ann #

prettyList :: [ExCPU] -> Doc ann #

Pretty ExMemory Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

pretty :: ExMemory -> Doc ann #

prettyList :: [ExMemory] -> Doc ann #

Pretty ExtensionFun Source # 
Instance details

Defined in PlutusCore.Examples.Builtins

Methods

pretty :: ExtensionFun -> Doc ann #

prettyList :: [ExtensionFun] -> Doc ann #

Pretty Name Source # 
Instance details

Defined in PlutusCore.Core.Instance.Pretty.Default

Methods

pretty :: Name -> Doc ann #

prettyList :: [Name] -> Doc ann #

Pretty TyName Source # 
Instance details

Defined in PlutusCore.Core.Instance.Pretty.Default

Methods

pretty :: TyName -> Doc ann #

prettyList :: [TyName] -> Doc ann #

Pretty Unique Source # 
Instance details

Defined in PlutusCore.Name.Unique

Methods

pretty :: Unique -> Doc ann #

prettyList :: [Unique] -> Doc ann #

Pretty Quantity Source # 
Instance details

Defined in PlutusCore.Value

Methods

pretty :: Quantity -> Doc ann #

prettyList :: [Quantity] -> Doc ann #

Pretty Value Source # 
Instance details

Defined in PlutusCore.Value

Methods

pretty :: Value -> Doc ann #

prettyList :: [Value] -> Doc ann #

Pretty Version Source # 
Instance details

Defined in PlutusCore.Version

Methods

pretty :: Version -> Doc ann #

prettyList :: [Version] -> Doc ann #

Pretty CountingSt Source # 
Instance details

Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode

Methods

pretty :: CountingSt -> Doc ann #

prettyList :: [CountingSt] -> Doc ann #

Pretty RestrictingSt Source # 
Instance details

Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode

Methods

pretty :: RestrictingSt -> Doc ann #

prettyList :: [RestrictingSt] -> Doc ann #

Pretty CekUserError Source # 
Instance details

Defined in UntypedPlutusCore.Evaluation.Machine.Cek.Internal

Methods

pretty :: CekUserError -> Doc ann #

prettyList :: [CekUserError] -> Doc ann #

Pretty Purity Source # 
Instance details

Defined in UntypedPlutusCore.Purity

Methods

pretty :: Purity -> Doc ann #

prettyList :: [Purity] -> Doc ann #

Pretty WorkFreedom Source # 
Instance details

Defined in UntypedPlutusCore.Purity

Methods

pretty :: WorkFreedom -> Doc ann #

prettyList :: [WorkFreedom] -> Doc ann #

Pretty CseWhichSubterms Source # 
Instance details

Defined in UntypedPlutusCore.Transform.Cse

Pretty DatatypeComponent # 
Instance details

Defined in PlutusIR.Compiler.Provenance

Methods

pretty :: DatatypeComponent -> Doc ann #

prettyList :: [DatatypeComponent] -> Doc ann #

Pretty GeneratedKind # 
Instance details

Defined in PlutusIR.Compiler.Provenance

Methods

pretty :: GeneratedKind -> Doc ann #

prettyList :: [GeneratedKind] -> Doc ann #

Pretty EvaluationError Source # 
Instance details

Defined in PlutusLedgerApi.Common.Eval

Pretty MajorProtocolVersion Source # 
Instance details

Defined in PlutusLedgerApi.Common.ProtocolVersions

Pretty ScriptDecodeError Source # 
Instance details

Defined in PlutusLedgerApi.Common.SerialisedScript

Pretty PlutusLedgerLanguage Source # 
Instance details

Defined in PlutusLedgerApi.Common.Versions

Pretty Address Source # 
Instance details

Defined in PlutusLedgerApi.V1.Address

Methods

pretty :: Address -> Doc ann #

prettyList :: [Address] -> Doc ann #

Pretty LedgerBytes Source # 
Instance details

Defined in PlutusLedgerApi.V1.Bytes

Methods

pretty :: LedgerBytes -> Doc ann #

prettyList :: [LedgerBytes] -> Doc ann #

Pretty ScriptContext Source # 
Instance details

Defined in PlutusLedgerApi.V1.Contexts

Methods

pretty :: ScriptContext -> Doc ann #

prettyList :: [ScriptContext] -> Doc ann #

Pretty ScriptPurpose Source # 
Instance details

Defined in PlutusLedgerApi.V1.Contexts

Methods

pretty :: ScriptPurpose -> Doc ann #

prettyList :: [ScriptPurpose] -> Doc ann #

Pretty TxInInfo Source # 
Instance details

Defined in PlutusLedgerApi.V1.Contexts

Methods

pretty :: TxInInfo -> Doc ann #

prettyList :: [TxInInfo] -> Doc ann #

Pretty TxInfo Source # 
Instance details

Defined in PlutusLedgerApi.V1.Contexts

Methods

pretty :: TxInfo -> Doc ann #

prettyList :: [TxInfo] -> Doc ann #

Pretty Credential Source # 
Instance details

Defined in PlutusLedgerApi.V1.Credential

Methods

pretty :: Credential -> Doc ann #

prettyList :: [Credential] -> Doc ann #

Pretty StakingCredential Source # 
Instance details

Defined in PlutusLedgerApi.V1.Credential

Pretty PubKeyHash Source #

using hex encoding

Instance details

Defined in PlutusLedgerApi.V1.Crypto

Methods

pretty :: PubKeyHash -> Doc ann #

prettyList :: [PubKeyHash] -> Doc ann #

Pretty DCert Source # 
Instance details

Defined in PlutusLedgerApi.V1.DCert

Methods

pretty :: DCert -> Doc ann #

prettyList :: [DCert] -> Doc ann #

Pretty Address Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Address

Methods

pretty :: Address -> Doc ann #

prettyList :: [Address] -> Doc ann #

Pretty ScriptContext Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Contexts

Methods

pretty :: ScriptContext -> Doc ann #

prettyList :: [ScriptContext] -> Doc ann #

Pretty ScriptPurpose Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Contexts

Methods

pretty :: ScriptPurpose -> Doc ann #

prettyList :: [ScriptPurpose] -> Doc ann #

Pretty TxInInfo Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Contexts

Methods

pretty :: TxInInfo -> Doc ann #

prettyList :: [TxInInfo] -> Doc ann #

Pretty TxInfo Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Contexts

Methods

pretty :: TxInfo -> Doc ann #

prettyList :: [TxInfo] -> Doc ann #

Pretty Credential Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Credential

Methods

pretty :: Credential -> Doc ann #

prettyList :: [Credential] -> Doc ann #

Pretty StakingCredential Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Credential

Pretty DCert Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.DCert

Methods

pretty :: DCert -> Doc ann #

prettyList :: [DCert] -> Doc ann #

Pretty POSIXTime Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Time

Methods

pretty :: POSIXTime -> Doc ann #

prettyList :: [POSIXTime] -> Doc ann #

Pretty TxId Source #

using hex encoding

Instance details

Defined in PlutusLedgerApi.V1.Data.Tx

Methods

pretty :: TxId -> Doc ann #

prettyList :: [TxId] -> Doc ann #

Pretty TxOut Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Tx

Methods

pretty :: TxOut -> Doc ann #

prettyList :: [TxOut] -> Doc ann #

Pretty TxOutRef Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Tx

Methods

pretty :: TxOutRef -> Doc ann #

prettyList :: [TxOutRef] -> Doc ann #

Pretty AssetClass Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Value

Methods

pretty :: AssetClass -> Doc ann #

prettyList :: [AssetClass] -> Doc ann #

Pretty CurrencySymbol Source #

using hex encoding

Instance details

Defined in PlutusLedgerApi.V1.Data.Value

Methods

pretty :: CurrencySymbol -> Doc ann #

prettyList :: [CurrencySymbol] -> Doc ann #

Pretty Lovelace Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Value

Methods

pretty :: Lovelace -> Doc ann #

prettyList :: [Lovelace] -> Doc ann #

Pretty TokenName Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Value

Methods

pretty :: TokenName -> Doc ann #

prettyList :: [TokenName] -> Doc ann #

Pretty Value Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Value

Methods

pretty :: Value -> Doc ann #

prettyList :: [Value] -> Doc ann #

Pretty Context Source # 
Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

pretty :: Context -> Doc ann #

prettyList :: [Context] -> Doc ann #

Pretty Datum Source # 
Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

pretty :: Datum -> Doc ann #

prettyList :: [Datum] -> Doc ann #

Pretty DatumHash Source #

using hex encoding

Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

pretty :: DatumHash -> Doc ann #

prettyList :: [DatumHash] -> Doc ann #

Pretty Redeemer Source # 
Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

pretty :: Redeemer -> Doc ann #

prettyList :: [Redeemer] -> Doc ann #

Pretty RedeemerHash Source #

using hex encoding

Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

pretty :: RedeemerHash -> Doc ann #

prettyList :: [RedeemerHash] -> Doc ann #

Pretty ScriptHash Source #

using hex encoding

Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

pretty :: ScriptHash -> Doc ann #

prettyList :: [ScriptHash] -> Doc ann #

Pretty POSIXTime Source # 
Instance details

Defined in PlutusLedgerApi.V1.Time

Methods

pretty :: POSIXTime -> Doc ann #

prettyList :: [POSIXTime] -> Doc ann #

Pretty TxId Source #

using hex encoding

Instance details

Defined in PlutusLedgerApi.V1.Tx

Methods

pretty :: TxId -> Doc ann #

prettyList :: [TxId] -> Doc ann #

Pretty TxOut Source # 
Instance details

Defined in PlutusLedgerApi.V1.Tx

Methods

pretty :: TxOut -> Doc ann #

prettyList :: [TxOut] -> Doc ann #

Pretty TxOutRef Source # 
Instance details

Defined in PlutusLedgerApi.V1.Tx

Methods

pretty :: TxOutRef -> Doc ann #

prettyList :: [TxOutRef] -> Doc ann #

Pretty AssetClass Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Methods

pretty :: AssetClass -> Doc ann #

prettyList :: [AssetClass] -> Doc ann #

Pretty CurrencySymbol Source #

using hex encoding

Instance details

Defined in PlutusLedgerApi.V1.Value

Methods

pretty :: CurrencySymbol -> Doc ann #

prettyList :: [CurrencySymbol] -> Doc ann #

Pretty Lovelace Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Methods

pretty :: Lovelace -> Doc ann #

prettyList :: [Lovelace] -> Doc ann #

Pretty TokenName Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Methods

pretty :: TokenName -> Doc ann #

prettyList :: [TokenName] -> Doc ann #

Pretty Value Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Methods

pretty :: Value -> Doc ann #

prettyList :: [Value] -> Doc ann #

Pretty ScriptContext Source # 
Instance details

Defined in PlutusLedgerApi.V2.Contexts

Methods

pretty :: ScriptContext -> Doc ann #

prettyList :: [ScriptContext] -> Doc ann #

Pretty TxInInfo Source # 
Instance details

Defined in PlutusLedgerApi.V2.Contexts

Methods

pretty :: TxInInfo -> Doc ann #

prettyList :: [TxInInfo] -> Doc ann #

Pretty TxInfo Source # 
Instance details

Defined in PlutusLedgerApi.V2.Contexts

Methods

pretty :: TxInfo -> Doc ann #

prettyList :: [TxInfo] -> Doc ann #

Pretty ScriptContext Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Contexts

Methods

pretty :: ScriptContext -> Doc ann #

prettyList :: [ScriptContext] -> Doc ann #

Pretty TxInInfo Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Contexts

Methods

pretty :: TxInInfo -> Doc ann #

prettyList :: [TxInInfo] -> Doc ann #

Pretty TxInfo Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Contexts

Methods

pretty :: TxInfo -> Doc ann #

prettyList :: [TxInfo] -> Doc ann #

Pretty OutputDatum Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Tx

Methods

pretty :: OutputDatum -> Doc ann #

prettyList :: [OutputDatum] -> Doc ann #

Pretty TxOut Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Tx

Methods

pretty :: TxOut -> Doc ann #

prettyList :: [TxOut] -> Doc ann #

Pretty OutputDatum Source # 
Instance details

Defined in PlutusLedgerApi.V2.Tx

Methods

pretty :: OutputDatum -> Doc ann #

prettyList :: [OutputDatum] -> Doc ann #

Pretty TxOut Source # 
Instance details

Defined in PlutusLedgerApi.V2.Tx

Methods

pretty :: TxOut -> Doc ann #

prettyList :: [TxOut] -> Doc ann #

Pretty ChangedParameters Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Pretty ColdCommitteeCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Pretty Committee Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

pretty :: Committee -> Doc ann #

prettyList :: [Committee] -> Doc ann #

Pretty Constitution Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

pretty :: Constitution -> Doc ann #

prettyList :: [Constitution] -> Doc ann #

Pretty DRep Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

pretty :: DRep -> Doc ann #

prettyList :: [DRep] -> Doc ann #

Pretty DRepCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

pretty :: DRepCredential -> Doc ann #

prettyList :: [DRepCredential] -> Doc ann #

Pretty Delegatee Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

pretty :: Delegatee -> Doc ann #

prettyList :: [Delegatee] -> Doc ann #

Pretty GovernanceAction Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Pretty GovernanceActionId Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Pretty HotCommitteeCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Pretty ProposalProcedure Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Pretty ProtocolVersion Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Pretty ScriptContext Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

pretty :: ScriptContext -> Doc ann #

prettyList :: [ScriptContext] -> Doc ann #

Pretty ScriptInfo Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

pretty :: ScriptInfo -> Doc ann #

prettyList :: [ScriptInfo] -> Doc ann #

Pretty ScriptPurpose Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

pretty :: ScriptPurpose -> Doc ann #

prettyList :: [ScriptPurpose] -> Doc ann #

Pretty TxCert Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

pretty :: TxCert -> Doc ann #

prettyList :: [TxCert] -> Doc ann #

Pretty TxInInfo Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

pretty :: TxInInfo -> Doc ann #

prettyList :: [TxInInfo] -> Doc ann #

Pretty TxInfo Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

pretty :: TxInfo -> Doc ann #

prettyList :: [TxInfo] -> Doc ann #

Pretty Vote Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

pretty :: Vote -> Doc ann #

prettyList :: [Vote] -> Doc ann #

Pretty Voter Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

pretty :: Voter -> Doc ann #

prettyList :: [Voter] -> Doc ann #

Pretty ChangedParameters Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Pretty ColdCommitteeCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Pretty Committee Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

pretty :: Committee -> Doc ann #

prettyList :: [Committee] -> Doc ann #

Pretty Constitution Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

pretty :: Constitution -> Doc ann #

prettyList :: [Constitution] -> Doc ann #

Pretty DRep Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

pretty :: DRep -> Doc ann #

prettyList :: [DRep] -> Doc ann #

Pretty DRepCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

pretty :: DRepCredential -> Doc ann #

prettyList :: [DRepCredential] -> Doc ann #

Pretty Delegatee Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

pretty :: Delegatee -> Doc ann #

prettyList :: [Delegatee] -> Doc ann #

Pretty GovernanceAction Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Pretty GovernanceActionId Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Pretty HotCommitteeCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Pretty ProposalProcedure Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Pretty ProtocolVersion Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Pretty ScriptContext Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

pretty :: ScriptContext -> Doc ann #

prettyList :: [ScriptContext] -> Doc ann #

Pretty ScriptInfo Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

pretty :: ScriptInfo -> Doc ann #

prettyList :: [ScriptInfo] -> Doc ann #

Pretty ScriptPurpose Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

pretty :: ScriptPurpose -> Doc ann #

prettyList :: [ScriptPurpose] -> Doc ann #

Pretty TxCert Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

pretty :: TxCert -> Doc ann #

prettyList :: [TxCert] -> Doc ann #

Pretty TxInInfo Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

pretty :: TxInInfo -> Doc ann #

prettyList :: [TxInInfo] -> Doc ann #

Pretty TxInfo Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

pretty :: TxInfo -> Doc ann #

prettyList :: [TxInfo] -> Doc ann #

Pretty Vote Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

pretty :: Vote -> Doc ann #

prettyList :: [Vote] -> Doc ann #

Pretty Voter Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

pretty :: Voter -> Doc ann #

prettyList :: [Voter] -> Doc ann #

Pretty MintValue Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.MintValue

Methods

pretty :: MintValue -> Doc ann #

prettyList :: [MintValue] -> Doc ann #

Pretty TxId Source #

using hex encoding

Instance details

Defined in PlutusLedgerApi.V3.Data.Tx

Methods

pretty :: TxId -> Doc ann #

prettyList :: [TxId] -> Doc ann #

Pretty TxOutRef Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Tx

Methods

pretty :: TxOutRef -> Doc ann #

prettyList :: [TxOutRef] -> Doc ann #

Pretty MintValue Source # 
Instance details

Defined in PlutusLedgerApi.V3.MintValue

Methods

pretty :: MintValue -> Doc ann #

prettyList :: [MintValue] -> Doc ann #

Pretty TxId Source #

using hex encoding

Instance details

Defined in PlutusLedgerApi.V3.Tx

Methods

pretty :: TxId -> Doc ann #

prettyList :: [TxId] -> Doc ann #

Pretty TxOutRef Source # 
Instance details

Defined in PlutusLedgerApi.V3.Tx

Methods

pretty :: TxOutRef -> Doc ann #

prettyList :: [TxOutRef] -> Doc ann #

Pretty BuiltinByteStringHex Source # 
Instance details

Defined in PlutusTx.Builtins.HasOpaque

Pretty BuiltinByteStringUtf8 Source # 
Instance details

Defined in PlutusTx.Builtins.HasOpaque

Pretty BuiltinBLS12_381_G1_Element Source # 
Instance details

Defined in PlutusTx.Builtins.Internal

Pretty BuiltinBLS12_381_G2_Element Source # 
Instance details

Defined in PlutusTx.Builtins.Internal

Pretty BuiltinBLS12_381_MlResult Source # 
Instance details

Defined in PlutusTx.Builtins.Internal

Pretty BuiltinByteString Source # 
Instance details

Defined in PlutusTx.Builtins.Internal

Pretty BuiltinData Source # 
Instance details

Defined in PlutusTx.Builtins.Internal

Methods

pretty :: BuiltinData -> Doc ann #

prettyList :: [BuiltinData] -> Doc ann #

Pretty CovLoc Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

pretty :: CovLoc -> Doc ann #

prettyList :: [CovLoc] -> Doc ann #

Pretty CoverageAnnotation Source # 
Instance details

Defined in PlutusTx.Coverage

Pretty CoverageMetadata Source # 
Instance details

Defined in PlutusTx.Coverage

Pretty CoverageReport Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

pretty :: CoverageReport -> Doc ann #

prettyList :: [CoverageReport] -> Doc ann #

Pretty Metadata Source # 
Instance details

Defined in PlutusTx.Coverage

Methods

pretty :: Metadata -> Doc ann #

prettyList :: [Metadata] -> Doc ann #

Pretty Rational Source # 
Instance details

Defined in PlutusTx.Ratio

Methods

pretty :: Rational -> Doc ann #

prettyList :: [Rational] -> Doc ann #

Pretty Text # 
Instance details

Defined in Prettyprinter.Internal

Methods

pretty :: Text -> Doc ann #

prettyList :: [Text] -> Doc ann #

Pretty Text # 
Instance details

Defined in Prettyprinter.Internal

Methods

pretty :: Text -> Doc ann #

prettyList :: [Text] -> Doc ann #

Pretty Integer # 
Instance details

Defined in Prettyprinter.Internal

Methods

pretty :: Integer -> Doc ann #

prettyList :: [Integer] -> Doc ann #

Pretty Natural # 
Instance details

Defined in Prettyprinter.Internal

Methods

pretty :: Natural -> Doc ann #

prettyList :: [Natural] -> Doc ann #

Pretty () # 
Instance details

Defined in Prettyprinter.Internal

Methods

pretty :: () -> Doc ann #

prettyList :: [()] -> Doc ann #

Pretty Bool # 
Instance details

Defined in Prettyprinter.Internal

Methods

pretty :: Bool -> Doc ann #

prettyList :: [Bool] -> Doc ann #

Pretty Char # 
Instance details

Defined in Prettyprinter.Internal

Methods

pretty :: Char -> Doc ann #

prettyList :: [Char] -> Doc ann #

Pretty Double # 
Instance details

Defined in Prettyprinter.Internal

Methods

pretty :: Double -> Doc ann #

prettyList :: [Double] -> Doc ann #

Pretty Float # 
Instance details

Defined in Prettyprinter.Internal

Methods

pretty :: Float -> Doc ann #

prettyList :: [Float] -> Doc ann #

Pretty Int # 
Instance details

Defined in Prettyprinter.Internal

Methods

pretty :: Int -> Doc ann #

prettyList :: [Int] -> Doc ann #

Pretty Word # 
Instance details

Defined in Prettyprinter.Internal

Methods

pretty :: Word -> Doc ann #

prettyList :: [Word] -> Doc ann #

Pretty (CardanoEra era) Source # 
Instance details

Defined in Cardano.Api.Era.Internal.Core

Methods

pretty :: CardanoEra era -> Doc ann #

prettyList :: [CardanoEra era] -> Doc ann #

Pretty (ShelleyBasedEra era) Source # 
Instance details

Defined in Cardano.Api.Era.Internal.Eon.ShelleyBasedEra

Methods

pretty :: ShelleyBasedEra era -> Doc ann #

prettyList :: [ShelleyBasedEra era] -> Doc ann #

Pretty (DeprecatedEra era) Source # 
Instance details

Defined in Cardano.Api.Experimental.Era

Methods

pretty :: DeprecatedEra era -> Doc ann #

prettyList :: [DeprecatedEra era] -> Doc ann #

Pretty (Era era) Source # 
Instance details

Defined in Cardano.Api.Experimental.Era

Methods

pretty :: Era era -> Doc ann #

prettyList :: [Era era] -> Doc ann #

Pretty (Hash ByronKey) Source # 
Instance details

Defined in Cardano.Api.Byron.Internal.Key

Methods

pretty :: Hash ByronKey -> Doc ann #

prettyList :: [Hash ByronKey] -> Doc ann #

Pretty (Hash ByronKeyLegacy) Source # 
Instance details

Defined in Cardano.Api.Byron.Internal.Key

Pretty (Hash GovernancePoll) Source # 
Instance details

Defined in Cardano.Api.Governance.Internal.Poll

Pretty (Hash CommitteeColdExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Pretty (Hash CommitteeColdKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Pretty (Hash CommitteeHotExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Pretty (Hash CommitteeHotKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Pretty (Hash DRepExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Pretty (Hash DRepKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

pretty :: Hash DRepKey -> Doc ann #

prettyList :: [Hash DRepKey] -> Doc ann #

Pretty (Hash GenesisDelegateExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Pretty (Hash GenesisDelegateKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Pretty (Hash GenesisExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Pretty (Hash GenesisKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

pretty :: Hash GenesisKey -> Doc ann #

prettyList :: [Hash GenesisKey] -> Doc ann #

Pretty (Hash GenesisUTxOKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Pretty (Hash PaymentExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Pretty (Hash PaymentKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

pretty :: Hash PaymentKey -> Doc ann #

prettyList :: [Hash PaymentKey] -> Doc ann #

Pretty (Hash StakeExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Pretty (Hash StakeKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Methods

pretty :: Hash StakeKey -> Doc ann #

prettyList :: [Hash StakeKey] -> Doc ann #

Pretty (Hash StakePoolKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Pretty (Hash BlsKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal.Leios

Methods

pretty :: Hash BlsKey -> Doc ann #

prettyList :: [Hash BlsKey] -> Doc ann #

Pretty (Hash KesKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal.Praos

Methods

pretty :: Hash KesKey -> Doc ann #

prettyList :: [Hash KesKey] -> Doc ann #

Pretty (Hash VrfKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal.Praos

Methods

pretty :: Hash VrfKey -> Doc ann #

prettyList :: [Hash VrfKey] -> Doc ann #

Pretty (Hash ScriptData) Source # 
Instance details

Defined in Cardano.Api.Plutus.Internal.ScriptData

Methods

pretty :: Hash ScriptData -> Doc ann #

prettyList :: [Hash ScriptData] -> Doc ann #

Pretty (SigningKey ByronKey) Source # 
Instance details

Defined in Cardano.Api.Byron.Internal.Key

Pretty (SigningKey ByronKeyLegacy) Source # 
Instance details

Defined in Cardano.Api.Byron.Internal.Key

Pretty (SigningKey CommitteeColdExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Pretty (SigningKey CommitteeColdKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Pretty (SigningKey CommitteeHotExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Pretty (SigningKey CommitteeHotKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Pretty (SigningKey DRepExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Pretty (SigningKey DRepKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Pretty (SigningKey GenesisDelegateExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Pretty (SigningKey GenesisDelegateKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Pretty (SigningKey GenesisExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Pretty (SigningKey GenesisKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Pretty (SigningKey GenesisUTxOKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Pretty (SigningKey PaymentExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Pretty (SigningKey PaymentKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Pretty (SigningKey StakeExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Pretty (SigningKey StakeKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Pretty (SigningKey StakePoolExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Pretty (SigningKey StakePoolKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Pretty (SigningKey BlsKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal.Leios

Pretty (SigningKey KesKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal.Praos

Pretty (SigningKey VrfKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal.Praos

Pretty (VerificationKey ByronKey) Source # 
Instance details

Defined in Cardano.Api.Byron.Internal.Key

Pretty (VerificationKey ByronKeyLegacy) Source # 
Instance details

Defined in Cardano.Api.Byron.Internal.Key

Pretty (VerificationKey CommitteeColdExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Pretty (VerificationKey CommitteeColdKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Pretty (VerificationKey CommitteeHotExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Pretty (VerificationKey CommitteeHotKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Pretty (VerificationKey DRepExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Pretty (VerificationKey DRepKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Pretty (VerificationKey GenesisDelegateExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Pretty (VerificationKey GenesisDelegateKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Pretty (VerificationKey GenesisExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Pretty (VerificationKey GenesisKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Pretty (VerificationKey GenesisUTxOKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Pretty (VerificationKey PaymentExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Pretty (VerificationKey PaymentKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Pretty (VerificationKey StakeExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Pretty (VerificationKey StakeKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Pretty (VerificationKey StakePoolExtendedKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Pretty (VerificationKey StakePoolKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal

Pretty (VerificationKey BlsKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal.Leios

Pretty (VerificationKey KesKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal.Praos

Pretty (VerificationKey VrfKey) Source # 
Instance details

Defined in Cardano.Api.Key.Internal.Praos

Show a => Pretty (ShowOf a) Source # 
Instance details

Defined in Cardano.Api.Pretty.Internal.ShowOf

Methods

pretty :: ShowOf a -> Doc ann #

prettyList :: [ShowOf a] -> Doc ann #

SerialiseAsBech32 a => Pretty (UsingBech32 a) Source # 
Instance details

Defined in Cardano.Api.Serialise.SerialiseUsing

Methods

pretty :: UsingBech32 a -> Doc ann #

prettyList :: [UsingBech32 a] -> Doc ann #

SerialiseAsRawBytes a => Pretty (UsingRawBytesHex a) Source # 
Instance details

Defined in Cardano.Api.Serialise.SerialiseUsing

Methods

pretty :: UsingRawBytesHex a -> Doc ann #

prettyList :: [UsingRawBytesHex a] -> Doc ann #

Pretty (PlutusScriptContext l) => Pretty (LegacyPlutusArgs l) Source # 
Instance details

Defined in Cardano.Ledger.Plutus.Language

Methods

pretty :: LegacyPlutusArgs l -> Doc ann #

prettyList :: [LegacyPlutusArgs l] -> Doc ann #

Pretty (PlutusArgs 'PlutusV1) Source # 
Instance details

Defined in Cardano.Ledger.Plutus.Language

Pretty (PlutusArgs 'PlutusV2) Source # 
Instance details

Defined in Cardano.Ledger.Plutus.Language

Pretty (PlutusArgs 'PlutusV3) Source # 
Instance details

Defined in Cardano.Ledger.Plutus.Language

Pretty (PlutusArgs 'PlutusV4) Source # 
Instance details

Defined in Cardano.Ledger.Plutus.Language

Pretty a => Pretty (NonEmpty a) # 
Instance details

Defined in Prettyprinter.Internal

Methods

pretty :: NonEmpty a -> Doc ann #

prettyList :: [NonEmpty a] -> Doc ann #

Pretty a => Pretty (Identity a) # 
Instance details

Defined in Prettyprinter.Internal

Methods

pretty :: Identity a -> Doc ann #

prettyList :: [Identity a] -> Doc ann #

Pretty (BuiltinSemanticsVariant DefaultFun) Source # 
Instance details

Defined in PlutusCore.Default.Builtins

Pretty ann => Pretty (Kind ann) Source # 
Instance details

Defined in PlutusCore.Core.Instance.Pretty.Default

Methods

pretty :: Kind ann -> Doc ann0 #

prettyList :: [Kind ann] -> Doc ann0 #

Pretty a => Pretty (Normalized a) Source # 
Instance details

Defined in PlutusCore.Core.Type

Methods

pretty :: Normalized a -> Doc ann #

prettyList :: [Normalized a] -> Doc ann #

Pretty (DefaultUni a) Source #

This always pretty-prints parens around type applications (e.g. (list bool)) and doesn't pretty-print them otherwise (e.g. integer).

Instance details

Defined in PlutusCore.Default.Universe

Methods

pretty :: DefaultUni a -> Doc ann #

prettyList :: [DefaultUni a] -> Doc ann #

Pretty ann => Pretty (UniqueError ann) Source # 
Instance details

Defined in PlutusCore.Error

Methods

pretty :: UniqueError ann -> Doc ann0 #

prettyList :: [UniqueError ann] -> Doc ann0 #

PrettyClassic a => Pretty (EvaluationResult a) Source # 
Instance details

Defined in PlutusCore.Evaluation.Result

Methods

pretty :: EvaluationResult a -> Doc ann #

prettyList :: [EvaluationResult a] -> Doc ann #

PrettyReadable a => Pretty (AsReadable a) Source # 
Instance details

Defined in PlutusCore.Pretty.Readable

Methods

pretty :: AsReadable a -> Doc ann #

prettyList :: [AsReadable a] -> Doc ann #

Pretty (SomeTypeIn DefaultUni) Source # 
Instance details

Defined in PlutusCore.Default.Universe

Pretty (SomeTypeIn uni) => Pretty (SomeTypeIn (Kinded uni)) Source # 
Instance details

Defined in PlutusCore.Pretty.PrettyConst

Methods

pretty :: SomeTypeIn (Kinded uni) -> Doc ann #

prettyList :: [SomeTypeIn (Kinded uni)] -> Doc ann #

(Show fun, Ord fun) => Pretty (CekExTally fun) Source # 
Instance details

Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode

Methods

pretty :: CekExTally fun -> Doc ann #

prettyList :: [CekExTally fun] -> Doc ann #

(Show fun, Ord fun) => Pretty (TallyingSt fun) Source # 
Instance details

Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode

Methods

pretty :: TallyingSt fun -> Doc ann #

prettyList :: [TallyingSt fun] -> Doc ann #

Show fun => Pretty (ExBudgetCategory fun) Source # 
Instance details

Defined in UntypedPlutusCore.Evaluation.Machine.Cek.Internal

Methods

pretty :: ExBudgetCategory fun -> Doc ann #

prettyList :: [ExBudgetCategory fun] -> Doc ann #

Pretty a => Pretty (Provenance a) # 
Instance details

Defined in PlutusIR.Compiler.Provenance

Methods

pretty :: Provenance a -> Doc ann #

prettyList :: [Provenance a] -> Doc ann #

(Pretty a, ToData a, UnsafeFromData a) => Pretty (Extended a) Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Interval

Methods

pretty :: Extended a -> Doc ann #

prettyList :: [Extended a] -> Doc ann #

(Pretty a, ToData a, UnsafeFromData a) => Pretty (Interval a) Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Interval

Methods

pretty :: Interval a -> Doc ann #

prettyList :: [Interval a] -> Doc ann #

(Pretty a, ToData a, UnsafeFromData a) => Pretty (LowerBound a) Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Interval

Methods

pretty :: LowerBound a -> Doc ann #

prettyList :: [LowerBound a] -> Doc ann #

(Pretty a, ToData a, UnsafeFromData a) => Pretty (UpperBound a) Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Interval

Methods

pretty :: UpperBound a -> Doc ann #

prettyList :: [UpperBound a] -> Doc ann #

Pretty a => Pretty (Extended a) Source # 
Instance details

Defined in PlutusLedgerApi.V1.Interval

Methods

pretty :: Extended a -> Doc ann #

prettyList :: [Extended a] -> Doc ann #

Pretty a => Pretty (Interval a) Source # 
Instance details

Defined in PlutusLedgerApi.V1.Interval

Methods

pretty :: Interval a -> Doc ann #

prettyList :: [Interval a] -> Doc ann #

Pretty a => Pretty (LowerBound a) Source # 
Instance details

Defined in PlutusLedgerApi.V1.Interval

Methods

pretty :: LowerBound a -> Doc ann #

prettyList :: [LowerBound a] -> Doc ann #

Pretty a => Pretty (UpperBound a) Source # 
Instance details

Defined in PlutusLedgerApi.V1.Interval

Methods

pretty :: UpperBound a -> Doc ann #

prettyList :: [UpperBound a] -> Doc ann #

Show a => Pretty (PrettyShow a) Source # 
Instance details

Defined in Prettyprinter.Extras

Methods

pretty :: PrettyShow a -> Doc ann #

prettyList :: [PrettyShow a] -> Doc ann #

Pretty a => Pretty (Maybe a) # 
Instance details

Defined in Prettyprinter.Internal

Methods

pretty :: Maybe a -> Doc ann #

prettyList :: [Maybe a] -> Doc ann #

Pretty a => Pretty [a] # 
Instance details

Defined in Prettyprinter.Internal

Methods

pretty :: [a] -> Doc ann #

prettyList :: [[a]] -> Doc ann #

Pretty (Some Era) Source # 
Instance details

Defined in Cardano.Api.Experimental.Era

Methods

pretty :: Some Era -> Doc ann #

prettyList :: [Some Era] -> Doc ann #

(Pretty a, Pretty b) => Pretty (Either a b) Source # 
Instance details

Defined in PlutusPrelude

Methods

pretty :: Either a b -> Doc ann #

prettyList :: [Either a b] -> Doc ann #

(PrettyClassic tyname, Pretty ann) => Pretty (TyVarDecl tyname ann) # 
Instance details

Defined in PlutusIR.Core.Instance.Pretty

Methods

pretty :: TyVarDecl tyname ann -> Doc ann0 #

prettyList :: [TyVarDecl tyname ann] -> Doc ann0 #

(Pretty structural, Pretty operational) => Pretty (EvaluationError structural operational) Source # 
Instance details

Defined in PlutusCore.Evaluation.Error

Methods

pretty :: EvaluationError structural operational -> Doc ann #

prettyList :: [EvaluationError structural operational] -> Doc ann #

(Pretty err, Pretty cause) => Pretty (ErrorWithCause err cause) Source # 
Instance details

Defined in PlutusCore.Evaluation.ErrorWithCause

Methods

pretty :: ErrorWithCause err cause -> Doc ann #

prettyList :: [ErrorWithCause err cause] -> Doc ann #

(Closed uni, Everywhere uni PrettyConst) => Pretty (ValueOf uni a) Source # 
Instance details

Defined in PlutusCore.Pretty.PrettyConst

Methods

pretty :: ValueOf uni a -> Doc ann #

prettyList :: [ValueOf uni a] -> Doc ann #

(Foldable f, Pretty a) => Pretty (PrettyFoldable f a) Source # 
Instance details

Defined in Prettyprinter.Extras

Methods

pretty :: PrettyFoldable f a -> Doc ann #

prettyList :: [PrettyFoldable f a] -> Doc ann #

(Pretty k, Pretty v) => Pretty (Map k v) Source # 
Instance details

Defined in PlutusTx.AssocMap

Methods

pretty :: Map k v -> Doc ann #

prettyList :: [Map k v] -> Doc ann #

DefaultPrettyBy config a => Pretty (AttachDefaultPrettyConfig config a) # 
Instance details

Defined in Text.PrettyBy.Internal

Methods

pretty :: AttachDefaultPrettyConfig config a -> Doc ann #

prettyList :: [AttachDefaultPrettyConfig config a] -> Doc ann #

PrettyBy config a => Pretty (AttachPrettyConfig config a) # 
Instance details

Defined in Text.PrettyBy.Internal

Methods

pretty :: AttachPrettyConfig config a -> Doc ann #

prettyList :: [AttachPrettyConfig config a] -> Doc ann #

(Closed uni, Everywhere uni PrettyConst) => Pretty (Some (ValueOf uni)) Source # 
Instance details

Defined in PlutusCore.Pretty.PrettyConst

Methods

pretty :: Some (ValueOf uni) -> Doc ann #

prettyList :: [Some (ValueOf uni)] -> Doc ann #

(Pretty a1, Pretty a2) => Pretty (a1, a2) # 
Instance details

Defined in Prettyprinter.Internal

Methods

pretty :: (a1, a2) -> Doc ann #

prettyList :: [(a1, a2)] -> Doc ann #

Pretty a => Pretty (Const a b) # 
Instance details

Defined in Prettyprinter.Internal

Methods

pretty :: Const a b -> Doc ann #

prettyList :: [Const a b] -> Doc ann #

(PrettyClassic tyname, PrettyParens (SomeTypeIn uni), Pretty ann) => Pretty (Type tyname uni ann) Source # 
Instance details

Defined in PlutusCore.Core.Instance.Pretty.Default

Methods

pretty :: Type tyname uni ann -> Doc ann0 #

prettyList :: [Type tyname uni ann] -> Doc ann0 #

Pretty (CekState uni fun ann) Source # 
Instance details

Defined in UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal

Methods

pretty :: CekState uni fun ann -> Doc ann0 #

prettyList :: [CekState uni fun ann] -> Doc ann0 #

(PrettyUni uni, Pretty fun, Pretty ann) => Pretty (Error uni fun ann) # 
Instance details

Defined in PlutusIR.Error

Methods

pretty :: Error uni fun ann -> Doc ann0 #

prettyList :: [Error uni fun ann] -> Doc ann0 #

(KnownSymbol a, Pretty b) => Pretty (Tagged a b) Source # 
Instance details

Defined in Prettyprinter.Extras

Methods

pretty :: Tagged a b -> Doc ann #

prettyList :: [Tagged a b] -> Doc ann #

(Pretty a1, Pretty a2, Pretty a3) => Pretty (a1, a2, a3) # 
Instance details

Defined in Prettyprinter.Internal

Methods

pretty :: (a1, a2, a3) -> Doc ann #

prettyList :: [(a1, a2, a3)] -> Doc ann #

(PrettyClassic tyname, PrettyClassic name, PrettyParens (SomeTypeIn uni), Pretty ann) => Pretty (VarDecl tyname name uni ann) # 
Instance details

Defined in PlutusIR.Core.Instance.Pretty

Methods

pretty :: VarDecl tyname name uni ann -> Doc ann0 #

prettyList :: [VarDecl tyname name uni ann] -> Doc ann0 #

(PrettyClassic name, PrettyUni uni, Pretty fun, Pretty ann) => Pretty (Program name uni fun ann) Source # 
Instance details

Defined in UntypedPlutusCore.Core.Instance.Pretty.Default

Methods

pretty :: Program name uni fun ann -> Doc ann0 #

prettyList :: [Program name uni fun ann] -> Doc ann0 #

(PrettyClassic name, PrettyUni uni, Pretty fun, Pretty ann) => Pretty (Term name uni fun ann) Source # 
Instance details

Defined in UntypedPlutusCore.Core.Instance.Pretty.Default

Methods

pretty :: Term name uni fun ann -> Doc ann0 #

prettyList :: [Term name uni fun ann] -> Doc ann0 #

(PrettyClassic tyname, PrettyClassic name, PrettyUni uni, Pretty ann) => Pretty (Datatype tyname name uni ann) # 
Instance details

Defined in PlutusIR.Core.Instance.Pretty

Methods

pretty :: Datatype tyname name uni ann -> Doc ann0 #

prettyList :: [Datatype tyname name uni ann] -> Doc ann0 #

(PrettyClassic tyname, PrettyClassic name, PrettyUni uni, Pretty fun, Pretty ann) => Pretty (Program tyname name uni fun ann) Source # 
Instance details

Defined in PlutusCore.Core.Instance.Pretty.Default

Methods

pretty :: Program tyname name uni fun ann -> Doc ann0 #

prettyList :: [Program tyname name uni fun ann] -> Doc ann0 #

(PrettyClassic tyname, PrettyClassic name, PrettyUni uni, Pretty fun, Pretty ann) => Pretty (Term tyname name uni fun ann) Source # 
Instance details

Defined in PlutusCore.Core.Instance.Pretty.Default

Methods

pretty :: Term tyname name uni fun ann -> Doc ann0 #

prettyList :: [Term tyname name uni fun ann] -> Doc ann0 #

(PrettyClassic tyname, PrettyClassic name, PrettyUni uni, Pretty fun, Pretty ann) => Pretty (Binding tyname name uni fun ann) # 
Instance details

Defined in PlutusIR.Core.Instance.Pretty

Methods

pretty :: Binding tyname name uni fun ann -> Doc ann0 #

prettyList :: [Binding tyname name uni fun ann] -> Doc ann0 #

(PrettyClassic tyname, PrettyClassic name, PrettyUni uni, Pretty fun, Pretty ann) => Pretty (Program tyname name uni fun ann) # 
Instance details

Defined in PlutusIR.Core.Instance.Pretty

Methods

pretty :: Program tyname name uni fun ann -> Doc ann0 #

prettyList :: [Program tyname name uni fun ann] -> Doc ann0 #

(PrettyClassic tyname, PrettyClassic name, PrettyUni uni, Pretty fun, Pretty ann) => Pretty (Term tyname name uni fun ann) # 
Instance details

Defined in PlutusIR.Core.Instance.Pretty

Methods

pretty :: Term tyname name uni fun ann -> Doc ann0 #

prettyList :: [Term tyname name uni fun ann] -> Doc ann0 #

newtype ShowOf a Source #

Constructors

ShowOf a 

Instances

Instances details
Show a => ToJSON (ShowOf a) Source # 
Instance details

Defined in Cardano.Api.Pretty.Internal.ShowOf

Methods

toJSON :: ShowOf a -> Value #

toEncoding :: ShowOf a -> Encoding #

toJSONList :: [ShowOf a] -> Value #

toEncodingList :: [ShowOf a] -> Encoding #

omitField :: ShowOf a -> Bool #

Show a => ToJSONKey (ShowOf a) Source # 
Instance details

Defined in Cardano.Api.Pretty.Internal.ShowOf

Methods

toJSONKey :: ToJSONKeyFunction (ShowOf a)

toJSONKeyList :: ToJSONKeyFunction [ShowOf a]

Show a => Show (ShowOf a) Source # 
Instance details

Defined in Cardano.Api.Pretty.Internal.ShowOf

Show a => Pretty (ShowOf a) Source # 
Instance details

Defined in Cardano.Api.Pretty.Internal.ShowOf

Methods

pretty :: ShowOf a -> Doc ann #

prettyList :: [ShowOf a] -> Doc ann #

docToLazyText :: Doc AnsiStyle -> Text Source #

docToText :: Doc AnsiStyle -> Text Source #

docToString :: Doc AnsiStyle -> String Source #

prettyShow :: Pretty a => a -> String Source #

Render a Pretty to a String

renderBuildable :: Buildable a => a -> Text Source #

textShow :: Show a => a -> Text Source #

pshow :: Show a => a -> Doc ann Source #

Short hand for viaShow.

prettyException :: Exception a => a -> Doc ann Source #

Short hand for pretty . displayException

hsep :: [Doc ann] -> Doc ann #

vsep :: [Doc ann] -> Doc ann #

(<+>) :: Doc ann -> Doc ann -> Doc ann #

black :: Doc AnsiStyle -> Doc AnsiStyle Source #

red :: Doc AnsiStyle -> Doc AnsiStyle Source #

green :: Doc AnsiStyle -> Doc AnsiStyle Source #

yellow :: Doc AnsiStyle -> Doc AnsiStyle Source #

blue :: Doc AnsiStyle -> Doc AnsiStyle Source #

magenta :: Doc AnsiStyle -> Doc AnsiStyle Source #

cyan :: Doc AnsiStyle -> Doc AnsiStyle Source #

white :: Doc AnsiStyle -> Doc AnsiStyle Source #

Useful reexports

data Text Source #

A space efficient, packed, unboxed Unicode text type.

Instances

Instances details
FromJSON Text # 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON :: Value -> Parser Text #

parseJSONList :: Value -> Parser [Text] #

omittedField :: Maybe Text #

FromJSONKey Text # 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

fromJSONKey :: FromJSONKeyFunction Text

fromJSONKeyList :: FromJSONKeyFunction [Text]

ToJSON Text # 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSON :: Text -> Value #

toEncoding :: Text -> Encoding #

toJSONList :: [Text] -> Value #

toEncodingList :: [Text] -> Encoding #

omitField :: Text -> Bool #

ToJSONKey Text # 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSONKey :: ToJSONKeyFunction Text

toJSONKeyList :: ToJSONKeyFunction [Text]

Chunk Text # 
Instance details

Defined in Data.Attoparsec.Internal.Types

Associated Types

type ChunkElem Text 
Instance details

Defined in Data.Attoparsec.Internal.Types

type ChunkElem Text = Char

Methods

nullChunk :: Text -> Bool

pappendChunk :: State Text -> Text -> State Text

atBufferEnd :: Text -> State Text -> Pos

bufferElemAt :: Text -> Pos -> State Text -> Maybe (ChunkElem Text, Int)

chunkElemToChar :: Text -> ChunkElem Text -> Char

PrintfArg Text Source #

Since: text-1.2.2.0

Instance details

Defined in Data.Text

Binary Text Source #

Since: text-1.2.1.0

Instance details

Defined in Data.Text

FromCBOR Text Source # 
Instance details

Defined in Cardano.Binary.FromCBOR

ToCBOR Text Source # 
Instance details

Defined in Cardano.Binary.ToCBOR

Methods

toCBOR :: Text -> Encoding Source #

encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy Text -> Size Source #

encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Text] -> Size Source #

DecCBOR Text Source # 
Instance details

Defined in Cardano.Ledger.Binary.Decoding.DecCBOR

EncCBOR Text Source # 
Instance details

Defined in Cardano.Ledger.Binary.Encoding.EncCBOR

NFData Text Source # 
Instance details

Defined in Data.Text

Methods

rnf :: Text -> () Source #

Buildable Text # 
Instance details

Defined in Formatting.Buildable

Methods

build :: Text -> Builder

FromBuilder Text # 
Instance details

Defined in Formatting.FromBuilder

Methods

fromBuilder :: Builder -> Text

Monoid Text Source # 
Instance details

Defined in Data.Text

Semigroup Text Source #

Beware: stimes will crash if the given number does not fit into an Int.

Since: text-1.2.2.0

Instance details

Defined in Data.Text

Eq Text Source # 
Instance details

Defined in Data.Text

Methods

(==) :: Text -> Text -> Bool Source #

(/=) :: Text -> Text -> Bool Source #

Ord Text Source # 
Instance details

Defined in Data.Text

Data Text Source #

This instance preserves data abstraction at the cost of inefficiency. We omit reflection services for the sake of data abstraction.

This instance was created by copying the updated behavior of Data.Set.Set and Data.Map.Map. If you feel a mistake has been made, please feel free to submit improvements.

The original discussion is archived here: could we get a Data instance for Data.Text.Text?

The followup discussion that changed the behavior of Set and Map is archived here: Proposal: Allow gunfold for Data.Map, ...

Instance details

Defined in Data.Text

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Text -> c Text Source #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Text Source #

toConstr :: Text -> Constr Source #

dataTypeOf :: Text -> DataType Source #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Text) Source #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Text) Source #

gmapT :: (forall b. Data b => b -> b) -> Text -> Text Source #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Text -> r Source #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Text -> r Source #

gmapQ :: (forall d. Data d => d -> u) -> Text -> [u] Source #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Text -> u Source #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Text -> m Text Source #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Text -> m Text Source #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Text -> m Text Source #

IsString Text Source #

Performs replacement on invalid scalar values:

>>> :set -XOverloadedStrings
>>> "\55555" :: Text
"\65533"
Instance details

Defined in Data.Text

IsList Text Source #

Performs replacement on invalid scalar values:

>>> :set -XOverloadedLists
>>> ['\55555'] :: Text
"\65533"

Since: text-1.2.0.0

Instance details

Defined in Data.Text

Associated Types

type Item Text 
Instance details

Defined in Data.Text

type Item Text = Char
Read Text Source # 
Instance details

Defined in Data.Text

Show Text Source # 
Instance details

Defined in Data.Text.Show

Hashable Text # 
Instance details

Defined in Data.Hashable.Class

Methods

hashWithSalt :: Int -> Text -> Int

hash :: Text -> Int

Ixed Text # 
Instance details

Defined in Control.Lens.At

Methods

ix :: Index Text -> Traversal' Text (IxValue Text)

Stream Text # 
Instance details

Defined in Text.Megaparsec.Stream

Associated Types

type Token Text 
Instance details

Defined in Text.Megaparsec.Stream

type Token Text = Token (ShareInput Text)
type Tokens Text 
Instance details

Defined in Text.Megaparsec.Stream

type Tokens Text = Tokens (ShareInput Text)

Methods

tokenToChunk :: Proxy Text -> Token Text -> Tokens Text

tokensToChunk :: Proxy Text -> [Token Text] -> Tokens Text

chunkToTokens :: Proxy Text -> Tokens Text -> [Token Text]

chunkLength :: Proxy Text -> Tokens Text -> Int

chunkEmpty :: Proxy Text -> Tokens Text -> Bool

take1_ :: Text -> Maybe (Token Text, Text)

takeN_ :: Int -> Text -> Maybe (Tokens Text, Text)

takeWhile_ :: (Token Text -> Bool) -> Text -> (Tokens Text, Text)

TraversableStream Text # 
Instance details

Defined in Text.Megaparsec.Stream

Methods

reachOffset :: Int -> PosState Text -> (Maybe String, PosState Text)

reachOffsetNoLine :: Int -> PosState Text -> PosState Text

VisualStream Text # 
Instance details

Defined in Text.Megaparsec.Stream

Methods

showTokens :: Proxy Text -> NonEmpty (Token Text) -> String

tokensLength :: Proxy Text -> NonEmpty (Token Text) -> Int

MemPack Text # 
Instance details

Defined in Data.MemPack

Methods

typeName :: String #

packedByteCount :: Text -> Int #

packM :: Text -> Pack s () #

unpackM :: Buffer b => Unpack s b Text #

MonoZip Text # 
Instance details

Defined in Data.Containers

Methods

ozipWith :: (Element Text -> Element Text -> Element Text) -> Text -> Text -> Text

ozip :: Text -> Text -> [(Element Text, Element Text)]

ounzip :: [(Element Text, Element Text)] -> (Text, Text)

GrowingAppend Text # 
Instance details

Defined in Data.MonoTraversable

MonoFoldable Text # 
Instance details

Defined in Data.MonoTraversable

Methods

ofoldMap :: Monoid m => (Element Text -> m) -> Text -> m

ofoldr :: (Element Text -> b -> b) -> b -> Text -> b

ofoldl' :: (a -> Element Text -> a) -> a -> Text -> a

otoList :: Text -> [Element Text]

oall :: (Element Text -> Bool) -> Text -> Bool

oany :: (Element Text -> Bool) -> Text -> Bool

onull :: Text -> Bool

olength :: Text -> Int

olength64 :: Text -> Int64

ocompareLength :: Integral i => Text -> i -> Ordering

otraverse_ :: Applicative f => (Element Text -> f b) -> Text -> f ()

ofor_ :: Applicative f => Text -> (Element Text -> f b) -> f ()

omapM_ :: Applicative m => (Element Text -> m ()) -> Text -> m ()

oforM_ :: Applicative m => Text -> (Element Text -> m ()) -> m ()

ofoldlM :: Monad m => (a -> Element Text -> m a) -> a -> Text -> m a

ofoldMap1Ex :: Semigroup m => (Element Text -> m) -> Text -> m

ofoldr1Ex :: (Element Text -> Element Text -> Element Text) -> Text -> Element Text

ofoldl1Ex' :: (Element Text -> Element Text -> Element Text) -> Text -> Element Text

headEx :: Text -> Element Text

lastEx :: Text -> Element Text

unsafeHead :: Text -> Element Text

unsafeLast :: Text -> Element Text

maximumByEx :: (Element Text -> Element Text -> Ordering) -> Text -> Element Text

minimumByEx :: (Element Text -> Element Text -> Ordering) -> Text -> Element Text

oelem :: Element Text -> Text -> Bool

onotElem :: Element Text -> Text -> Bool

MonoFunctor Text # 
Instance details

Defined in Data.MonoTraversable

Methods

omap :: (Element Text -> Element Text) -> Text -> Text

MonoPointed Text # 
Instance details

Defined in Data.MonoTraversable

Methods

opoint :: Element Text -> Text

MonoTraversable Text # 
Instance details

Defined in Data.MonoTraversable

Methods

otraverse :: Applicative f => (Element Text -> f (Element Text)) -> Text -> f Text

omapM :: Applicative m => (Element Text -> m (Element Text)) -> Text -> m Text

IsSequence Text # 
Instance details

Defined in Data.Sequences

Methods

fromList :: [Element Text] -> Text

lengthIndex :: Text -> Index Text

break :: (Element Text -> Bool) -> Text -> (Text, Text)

span :: (Element Text -> Bool) -> Text -> (Text, Text)

dropWhile :: (Element Text -> Bool) -> Text -> Text

takeWhile :: (Element Text -> Bool) -> Text -> Text

splitAt :: Index Text -> Text -> (Text, Text)

unsafeSplitAt :: Index Text -> Text -> (Text, Text)

take :: Index Text -> Text -> Text

unsafeTake :: Index Text -> Text -> Text

drop :: Index Text -> Text -> Text

unsafeDrop :: Index Text -> Text -> Text

dropEnd :: Index Text -> Text -> Text

partition :: (Element Text -> Bool) -> Text -> (Text, Text)

uncons :: Text -> Maybe (Element Text, Text)

unsnoc :: Text -> Maybe (Text, Element Text)

filter :: (Element Text -> Bool) -> Text -> Text

filterM :: Monad m => (Element Text -> m Bool) -> Text -> m Text

replicate :: Index Text -> Element Text -> Text

replicateM :: Monad m => Index Text -> m (Element Text) -> m Text

groupBy :: (Element Text -> Element Text -> Bool) -> Text -> [Text]

groupAllOn :: Eq b => (Element Text -> b) -> Text -> [Text]

subsequences :: Text -> [Text]

permutations :: Text -> [Text]

tailEx :: Text -> Text

tailMay :: Text -> Maybe Text

initEx :: Text -> Text

initMay :: Text -> Maybe Text

unsafeTail :: Text -> Text

unsafeInit :: Text -> Text

index :: Text -> Index Text -> Maybe (Element Text)

indexEx :: Text -> Index Text -> Element Text

unsafeIndex :: Text -> Index Text -> Element Text

splitWhen :: (Element Text -> Bool) -> Text -> [Text]

tails :: Text -> [Text]

inits :: Text -> [Text]

initTails :: Text -> [(Text, Text)]

SemiSequence Text # 
Instance details

Defined in Data.Sequences

Associated Types

type Index Text 
Instance details

Defined in Data.Sequences

type Index Text = Int

Methods

intersperse :: Element Text -> Text -> Text

reverse :: Text -> Text

find :: (Element Text -> Bool) -> Text -> Maybe (Element Text)

sortBy :: (Element Text -> Element Text -> Ordering) -> Text -> Text

cons :: Element Text -> Text -> Text

snoc :: Text -> Element Text -> Text

Textual Text # 
Instance details

Defined in Data.Sequences

Methods

words :: Text -> [Text]

unwords :: (Element seq ~ Text, MonoFoldable seq) => seq -> Text

lines :: Text -> [Text]

unlines :: (Element seq ~ Text, MonoFoldable seq) => seq -> Text

toLower :: Text -> Text

toUpper :: Text -> Text

toCaseFold :: Text -> Text

breakWord :: Text -> (Text, Text)

breakLine :: Text -> (Text, Text)

NoThunks Text # 
Instance details

Defined in NoThunks.Class

Methods

noThunks :: Context -> Text -> IO (Maybe ThunkInfo) #

wNoThunks :: Context -> Text -> IO (Maybe ThunkInfo) #

showTypeOf :: Proxy Text -> String #

Condense Text Source # 
Instance details

Defined in Ouroboros.Consensus.Util.Condense

Methods

condense :: Text -> String Source #

ExMemoryUsage Text Source # 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemoryUsage

Flat Text # 
Instance details

Defined in PlutusCore.Flat.Instances.Text

Methods

encode :: Text -> Encoding

decode :: Get Text

size :: Text -> NumBits -> NumBits

HasToBuiltin Text Source # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

Associated Types

type ToBuiltin Text 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

Pretty Text # 
Instance details

Defined in Prettyprinter.Internal

Methods

pretty :: Text -> Doc ann #

prettyList :: [Text] -> Doc ann #

Render Text # 
Instance details

Defined in Text.PrettyBy.Default

Methods

render :: Doc ann -> Text #

Serialise Text # 
Instance details

Defined in Codec.Serialise.Class

Pretty Text # 
Instance details

Defined in Text.PrettyPrint.Annotated.WL

Methods

pretty :: Text -> Doc b

prettyList :: [Text] -> Doc b

ToYaml Text # 
Instance details

Defined in Data.Yaml.Builder

Methods

toYaml :: Text -> YamlBuilder

FromYaml Text # 
Instance details

Defined in Data.Yaml.Parser

Methods

fromYaml :: YamlValue -> YamlParser Text

Lift Text Source #

Since: text-1.2.4.0

Instance details

Defined in Data.Text

Methods

lift :: Quote m => Text -> m Exp Source #

liftTyped :: forall (m :: Type -> Type). Quote m => Text -> Code m Text Source #

LazySequence Text Text # 
Instance details

Defined in Data.Sequences

Utf8 Text ByteString # 
Instance details

Defined in Data.Sequences

DefaultPrettyBy config Text # 
Instance details

Defined in Text.PrettyBy.Internal

Methods

defaultPrettyBy :: config -> Text -> Doc ann

defaultPrettyListBy :: config -> [Text] -> Doc ann

NonDefaultPrettyBy ConstConfig Text 
Instance details

Defined in PlutusCore.Pretty.PrettyConst

PrettyDefaultBy config Text => PrettyBy config Text # 
Instance details

Defined in Text.PrettyBy.Internal

Methods

prettyBy :: config -> Text -> Doc ann #

prettyListBy :: config -> [Text] -> Doc ann #

Monad m => Stream Text m Char Source # 
Instance details

Defined in Text.Parsec.Prim

Methods

uncons :: Text -> m (Maybe (Char, Text)) Source #

KnownBuiltinTypeIn DefaultUni term Text => MakeKnownIn DefaultUni term Text Source # 
Instance details

Defined in PlutusCore.Default.Universe

Methods

makeKnown :: Text -> BuiltinResult term Source #

KnownBuiltinTypeIn DefaultUni term Text => ReadKnownIn DefaultUni term Text Source # 
Instance details

Defined in PlutusCore.Default.Universe

Methods

readKnown :: term -> ReadKnownM Text Source #

Contains DefaultUni Text Source # 
Instance details

Defined in PlutusCore.Default.Universe

KnownBuiltinTypeAst tyname DefaultUni Text => KnownTypeAst tyname DefaultUni Text Source # 
Instance details

Defined in PlutusCore.Default.Universe

Methods

typeAst :: Type tyname DefaultUni () Source #

a ~ Text => IsString (Parser a) # 
Instance details

Defined in Data.Attoparsec.Text.Internal

Methods

fromString :: String -> Parser a Source #

Stream (NoShareInput Text) # 
Instance details

Defined in Text.Megaparsec.Stream

Associated Types

type Token (NoShareInput Text) 
Instance details

Defined in Text.Megaparsec.Stream

type Token (NoShareInput Text) = Char
type Tokens (NoShareInput Text) 
Instance details

Defined in Text.Megaparsec.Stream

type Tokens (NoShareInput Text) = Text

Methods

tokenToChunk :: Proxy (NoShareInput Text) -> Token (NoShareInput Text) -> Tokens (NoShareInput Text)

tokensToChunk :: Proxy (NoShareInput Text) -> [Token (NoShareInput Text)] -> Tokens (NoShareInput Text)

chunkToTokens :: Proxy (NoShareInput Text) -> Tokens (NoShareInput Text) -> [Token (NoShareInput Text)]

chunkLength :: Proxy (NoShareInput Text) -> Tokens (NoShareInput Text) -> Int

chunkEmpty :: Proxy (NoShareInput Text) -> Tokens (NoShareInput Text) -> Bool

take1_ :: NoShareInput Text -> Maybe (Token (NoShareInput Text), NoShareInput Text)

takeN_ :: Int -> NoShareInput Text -> Maybe (Tokens (NoShareInput Text), NoShareInput Text)

takeWhile_ :: (Token (NoShareInput Text) -> Bool) -> NoShareInput Text -> (Tokens (NoShareInput Text), NoShareInput Text)

Stream (ShareInput Text) # 
Instance details

Defined in Text.Megaparsec.Stream

Associated Types

type Token (ShareInput Text) 
Instance details

Defined in Text.Megaparsec.Stream

type Token (ShareInput Text) = Char
type Tokens (ShareInput Text) 
Instance details

Defined in Text.Megaparsec.Stream

type Tokens (ShareInput Text) = Text

Methods

tokenToChunk :: Proxy (ShareInput Text) -> Token (ShareInput Text) -> Tokens (ShareInput Text)

tokensToChunk :: Proxy (ShareInput Text) -> [Token (ShareInput Text)] -> Tokens (ShareInput Text)

chunkToTokens :: Proxy (ShareInput Text) -> Tokens (ShareInput Text) -> [Token (ShareInput Text)]

chunkLength :: Proxy (ShareInput Text) -> Tokens (ShareInput Text) -> Int

chunkEmpty :: Proxy (ShareInput Text) -> Tokens (ShareInput Text) -> Bool

take1_ :: ShareInput Text -> Maybe (Token (ShareInput Text), ShareInput Text)

takeN_ :: Int -> ShareInput Text -> Maybe (Tokens (ShareInput Text), ShareInput Text)

takeWhile_ :: (Token (ShareInput Text) -> Bool) -> ShareInput Text -> (Tokens (ShareInput Text), ShareInput Text)

HasInfo (DirectCodec m) Text 
Instance details

Defined in Cardano.KESAgent.Serialization.DirectCodec

Methods

info :: Proxy (DirectCodec m) -> Proxy Text -> FieldInfo (DirectCodec m)

(MonadThrow m, MonadST m) => Serializable (DirectCodec m) Text 
Instance details

Defined in Cardano.KESAgent.Serialization.DirectCodec

Methods

encode :: Proxy (DirectCodec m) -> Text -> MonadEncode (DirectCodec m) ()

decode :: Proxy (DirectCodec m) -> MonadDecode (DirectCodec m) Text

type ChunkElem Text # 
Instance details

Defined in Data.Attoparsec.Internal.Types

type ChunkElem Text = Char
type State Text # 
Instance details

Defined in Data.Attoparsec.Internal.Types

type State Text = Buffer
type Item Text Source # 
Instance details

Defined in Data.Text

type Item Text = Char
type Index Text # 
Instance details

Defined in Control.Lens.At

type Index Text = Int
type IxValue Text # 
Instance details

Defined in Control.Lens.At

type IxValue Text = Char
type Token Text # 
Instance details

Defined in Text.Megaparsec.Stream

type Token Text = Token (ShareInput Text)
type Tokens Text # 
Instance details

Defined in Text.Megaparsec.Stream

type Tokens Text = Tokens (ShareInput Text)
type Element Text # 
Instance details

Defined in Data.MonoTraversable

type Element Text = Char
type Index Text # 
Instance details

Defined in Data.Sequences

type Index Text = Int
type ToBuiltin Text Source # 
Instance details

Defined in PlutusTx.Builtins.HasBuiltin

type IsBuiltin DefaultUni Text Source # 
Instance details

Defined in PlutusCore.Default.Universe

type ToBinds DefaultUni acc Text Source # 
Instance details

Defined in PlutusCore.Default.Universe

type ToHoles DefaultUni hole Text Source # 
Instance details

Defined in PlutusCore.Default.Universe

type Token (NoShareInput Text) # 
Instance details

Defined in Text.Megaparsec.Stream

type Token (NoShareInput Text) = Char
type Token (ShareInput Text) # 
Instance details

Defined in Text.Megaparsec.Stream

type Token (ShareInput Text) = Char
type Tokens (NoShareInput Text) # 
Instance details

Defined in Text.Megaparsec.Stream

type Tokens (NoShareInput Text) = Text
type Tokens (ShareInput Text) # 
Instance details

Defined in Text.Megaparsec.Stream

type Tokens (ShareInput Text) = Text

Orphan instances

Pretty Url Source # 
Instance details

Methods

pretty :: Url -> Doc ann #

prettyList :: [Url] -> Doc ann #