plutus-ledger-api-1.36.0.0: Interface to the Plutus ledger for the Cardano ledger.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Prettyprinter.Extras

Synopsis

Documentation

newtype PrettyShow a Source #

Newtype wrapper for deriving Pretty via a Show instance

Constructors

PrettyShow 

Fields

Instances

Instances details
Show a ⇒ Pretty (PrettyShow a) Source # 
Instance details

Defined in Prettyprinter.Extras

Methods

prettyPrettyShow a → Doc ann Source #

prettyList ∷ [PrettyShow a] → Doc ann Source #

class Pretty a where Source #

Overloaded conversion to Doc.

Laws:

  1. output should be pretty. :-)

Minimal complete definition

pretty

Methods

pretty ∷ a → Doc ann Source #

>>> pretty 1 <+> pretty "hello" <+> pretty 1.234
1 hello 1.234

prettyList ∷ [a] → Doc ann Source #

prettyList is only used to define the instance Pretty a => Pretty [a]. In normal circumstances only the pretty function is used.

>>> prettyList [1, 23, 456]
[1, 23, 456]

Instances

Instances details
Pretty Void

Finding a good example for printing something that does not exist is hard, so here is an example of printing a list full of nothing.

>>> pretty ([] :: [Void])
[]
Instance details

Defined in Prettyprinter.Internal

Methods

prettyVoidDoc ann Source #

prettyList ∷ [Void] → Doc ann Source #

Pretty Int16 
Instance details

Defined in Prettyprinter.Internal

Methods

prettyInt16Doc ann Source #

prettyList ∷ [Int16] → Doc ann Source #

Pretty Int32 
Instance details

Defined in Prettyprinter.Internal

Methods

prettyInt32Doc ann Source #

prettyList ∷ [Int32] → Doc ann Source #

Pretty Int64 
Instance details

Defined in Prettyprinter.Internal

Methods

prettyInt64Doc ann Source #

prettyList ∷ [Int64] → Doc ann Source #

Pretty Int8 
Instance details

Defined in Prettyprinter.Internal

Methods

prettyInt8Doc ann Source #

prettyList ∷ [Int8] → Doc ann Source #

Pretty Word16 
Instance details

Defined in Prettyprinter.Internal

Methods

prettyWord16Doc ann Source #

prettyList ∷ [Word16] → Doc ann Source #

Pretty Word32 
Instance details

Defined in Prettyprinter.Internal

Methods

prettyWord32Doc ann Source #

prettyList ∷ [Word32] → Doc ann Source #

Pretty Word64 
Instance details

Defined in Prettyprinter.Internal

Methods

prettyWord64Doc ann Source #

prettyList ∷ [Word64] → Doc ann Source #

Pretty Word8 
Instance details

Defined in Prettyprinter.Internal

Methods

prettyWord8Doc ann Source #

prettyList ∷ [Word8] → Doc ann Source #

Pretty DeserialiseFailureInfo 
Instance details

Defined in Codec.Extras.SerialiseViaFlat

Pretty DeserialiseFailureReason 
Instance details

Defined in Codec.Extras.SerialiseViaFlat

Pretty Ann 
Instance details

Defined in PlutusCore.Annotation

Methods

prettyAnnDoc ann Source #

prettyList ∷ [Ann] → Doc ann Source #

Pretty SrcSpan 
Instance details

Defined in PlutusCore.Annotation

Methods

prettySrcSpanDoc ann Source #

prettyList ∷ [SrcSpan] → Doc ann Source #

Pretty SrcSpans 
Instance details

Defined in PlutusCore.Annotation

Methods

prettySrcSpansDoc ann Source #

prettyList ∷ [SrcSpans] → Doc ann Source #

Pretty BuiltinError 
Instance details

Defined in PlutusCore.Builtin.Result

Methods

prettyBuiltinErrorDoc ann Source #

prettyList ∷ [BuiltinError] → Doc ann Source #

Pretty UnliftingError 
Instance details

Defined in PlutusCore.Builtin.Result

Pretty UnliftingEvaluationError 
Instance details

Defined in PlutusCore.Builtin.Result

Pretty Element 
Instance details

Defined in PlutusCore.Crypto.BLS12_381.G1

Methods

prettyElementDoc ann Source #

prettyList ∷ [Element] → Doc ann Source #

Pretty Element 
Instance details

Defined in PlutusCore.Crypto.BLS12_381.G2

Methods

prettyElementDoc ann Source #

prettyList ∷ [Element] → Doc ann Source #

Pretty MlResult 
Instance details

Defined in PlutusCore.Crypto.BLS12_381.Pairing

Methods

prettyMlResultDoc ann Source #

prettyList ∷ [MlResult] → Doc ann Source #

Pretty Data 
Instance details

Defined in PlutusCore.Data

Methods

prettyDataDoc ann Source #

prettyList ∷ [Data] → Doc ann Source #

Pretty FreeVariableError 
Instance details

Defined in PlutusCore.DeBruijn.Internal

Pretty Index 
Instance details

Defined in PlutusCore.DeBruijn.Internal

Methods

prettyIndexDoc ann Source #

prettyList ∷ [Index] → Doc ann Source #

Pretty DefaultFun 
Instance details

Defined in PlutusCore.Default.Builtins

Methods

prettyDefaultFunDoc ann Source #

prettyList ∷ [DefaultFun] → Doc ann Source #

Pretty ParserError 
Instance details

Defined in PlutusCore.Error

Methods

prettyParserErrorDoc ann Source #

prettyList ∷ [ParserError] → Doc ann Source #

Pretty ParserErrorBundle 
Instance details

Defined in PlutusCore.Error

Pretty CkUserError 
Instance details

Defined in PlutusCore.Evaluation.Machine.Ck

Methods

pretty ∷ CkUserError → Doc ann Source #

prettyList ∷ [CkUserError] → Doc ann Source #

Pretty CostModelApplyError 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostModelInterface

Pretty CostModelApplyWarn 
Instance details

Defined in PlutusCore.Evaluation.Machine.CostModelInterface

Pretty ExBudget 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExBudget

Methods

prettyExBudgetDoc ann Source #

prettyList ∷ [ExBudget] → Doc ann Source #

Pretty ExRestrictingBudget 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExBudget

Pretty ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

prettyExCPUDoc ann Source #

prettyList ∷ [ExCPU] → Doc ann Source #

Pretty ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

prettyExMemoryDoc ann Source #

prettyList ∷ [ExMemory] → Doc ann Source #

Pretty Unique 
Instance details

Defined in PlutusCore.Name.Unique

Methods

prettyUniqueDoc ann Source #

prettyList ∷ [Unique] → Doc ann Source #

Pretty Version 
Instance details

Defined in PlutusCore.Version

Methods

prettyVersionDoc ann Source #

prettyList ∷ [Version] → Doc ann Source #

Pretty CountingSt 
Instance details

Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode

Methods

prettyCountingStDoc ann Source #

prettyList ∷ [CountingSt] → Doc ann Source #

Pretty RestrictingSt 
Instance details

Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode

Pretty CekUserError 
Instance details

Defined in UntypedPlutusCore.Evaluation.Machine.Cek.Internal

Methods

prettyCekUserErrorDoc ann Source #

prettyList ∷ [CekUserError] → Doc ann Source #

Pretty DatatypeComponent 
Instance details

Defined in PlutusIR.Compiler.Provenance

Pretty GeneratedKind 
Instance details

Defined in PlutusIR.Compiler.Provenance

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

prettyAddressDoc ann Source #

prettyList ∷ [Address] → Doc ann Source #

Pretty LedgerBytes Source # 
Instance details

Defined in PlutusLedgerApi.V1.Bytes

Methods

prettyLedgerBytesDoc ann Source #

prettyList ∷ [LedgerBytes] → Doc ann Source #

Pretty ScriptContext Source # 
Instance details

Defined in PlutusLedgerApi.V1.Contexts

Pretty ScriptPurpose Source # 
Instance details

Defined in PlutusLedgerApi.V1.Contexts

Pretty TxInInfo Source # 
Instance details

Defined in PlutusLedgerApi.V1.Contexts

Methods

prettyTxInInfoDoc ann Source #

prettyList ∷ [TxInInfo] → Doc ann Source #

Pretty TxInfo Source # 
Instance details

Defined in PlutusLedgerApi.V1.Contexts

Methods

prettyTxInfoDoc ann Source #

prettyList ∷ [TxInfo] → Doc ann Source #

Pretty Credential Source # 
Instance details

Defined in PlutusLedgerApi.V1.Credential

Methods

prettyCredentialDoc ann Source #

prettyList ∷ [Credential] → Doc ann Source #

Pretty StakingCredential Source # 
Instance details

Defined in PlutusLedgerApi.V1.Credential

Pretty PubKeyHash Source #

using hex encoding

Instance details

Defined in PlutusLedgerApi.V1.Crypto

Methods

prettyPubKeyHashDoc ann Source #

prettyList ∷ [PubKeyHash] → Doc ann Source #

Pretty DCert Source # 
Instance details

Defined in PlutusLedgerApi.V1.DCert

Methods

prettyDCertDoc ann Source #

prettyList ∷ [DCert] → Doc ann Source #

Pretty ScriptContext Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Contexts

Pretty ScriptPurpose Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Contexts

Pretty TxInInfo Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Contexts

Methods

prettyTxInInfoDoc ann Source #

prettyList ∷ [TxInInfo] → Doc ann Source #

Pretty TxInfo Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Contexts

Methods

prettyTxInfoDoc ann Source #

prettyList ∷ [TxInfo] → Doc ann Source #

Pretty TxId Source #

using hex encoding

Instance details

Defined in PlutusLedgerApi.V1.Data.Tx

Methods

prettyTxIdDoc ann Source #

prettyList ∷ [TxId] → Doc ann Source #

Pretty TxOut Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Tx

Methods

prettyTxOutDoc ann Source #

prettyList ∷ [TxOut] → Doc ann Source #

Pretty TxOutRef Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Tx

Methods

prettyTxOutRefDoc ann Source #

prettyList ∷ [TxOutRef] → Doc ann Source #

Pretty AssetClass Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Value

Methods

prettyAssetClassDoc ann Source #

prettyList ∷ [AssetClass] → Doc ann Source #

Pretty CurrencySymbol Source #

using hex encoding

Instance details

Defined in PlutusLedgerApi.V1.Data.Value

Pretty Lovelace Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Value

Methods

prettyLovelaceDoc ann Source #

prettyList ∷ [Lovelace] → Doc ann Source #

Pretty TokenName Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Value

Methods

prettyTokenNameDoc ann Source #

prettyList ∷ [TokenName] → Doc ann Source #

Pretty Value Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Value

Methods

prettyValueDoc ann Source #

prettyList ∷ [Value] → Doc ann Source #

Pretty Context Source # 
Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

prettyContextDoc ann Source #

prettyList ∷ [Context] → Doc ann Source #

Pretty Datum Source # 
Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

prettyDatumDoc ann Source #

prettyList ∷ [Datum] → Doc ann Source #

Pretty DatumHash Source #

using hex encoding

Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

prettyDatumHashDoc ann Source #

prettyList ∷ [DatumHash] → Doc ann Source #

Pretty Redeemer Source # 
Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

prettyRedeemerDoc ann Source #

prettyList ∷ [Redeemer] → Doc ann Source #

Pretty RedeemerHash Source #

using hex encoding

Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

prettyRedeemerHashDoc ann Source #

prettyList ∷ [RedeemerHash] → Doc ann Source #

Pretty ScriptHash Source #

using hex encoding

Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

prettyScriptHashDoc ann Source #

prettyList ∷ [ScriptHash] → Doc ann Source #

Pretty POSIXTime Source # 
Instance details

Defined in PlutusLedgerApi.V1.Time

Methods

prettyPOSIXTimeDoc ann Source #

prettyList ∷ [POSIXTime] → Doc ann Source #

Pretty TxId Source #

using hex encoding

Instance details

Defined in PlutusLedgerApi.V1.Tx

Methods

prettyTxIdDoc ann Source #

prettyList ∷ [TxId] → Doc ann Source #

Pretty TxOut Source # 
Instance details

Defined in PlutusLedgerApi.V1.Tx

Methods

prettyTxOutDoc ann Source #

prettyList ∷ [TxOut] → Doc ann Source #

Pretty TxOutRef Source # 
Instance details

Defined in PlutusLedgerApi.V1.Tx

Methods

prettyTxOutRefDoc ann Source #

prettyList ∷ [TxOutRef] → Doc ann Source #

Pretty AssetClass Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Methods

prettyAssetClassDoc ann Source #

prettyList ∷ [AssetClass] → Doc ann Source #

Pretty CurrencySymbol Source #

using hex encoding

Instance details

Defined in PlutusLedgerApi.V1.Value

Pretty Lovelace Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Methods

prettyLovelaceDoc ann Source #

prettyList ∷ [Lovelace] → Doc ann Source #

Pretty TokenName Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Methods

prettyTokenNameDoc ann Source #

prettyList ∷ [TokenName] → Doc ann Source #

Pretty Value Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Methods

prettyValueDoc ann Source #

prettyList ∷ [Value] → Doc ann Source #

Pretty ScriptContext Source # 
Instance details

Defined in PlutusLedgerApi.V2.Contexts

Pretty TxInInfo Source # 
Instance details

Defined in PlutusLedgerApi.V2.Contexts

Methods

prettyTxInInfoDoc ann Source #

prettyList ∷ [TxInInfo] → Doc ann Source #

Pretty TxInfo Source # 
Instance details

Defined in PlutusLedgerApi.V2.Contexts

Methods

prettyTxInfoDoc ann Source #

prettyList ∷ [TxInfo] → Doc ann Source #

Pretty ScriptContext Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Contexts

Pretty TxInInfo Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Contexts

Methods

prettyTxInInfoDoc ann Source #

prettyList ∷ [TxInInfo] → Doc ann Source #

Pretty TxInfo Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Contexts

Methods

prettyTxInfoDoc ann Source #

prettyList ∷ [TxInfo] → Doc ann Source #

Pretty OutputDatum Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Tx

Methods

prettyOutputDatumDoc ann Source #

prettyList ∷ [OutputDatum] → Doc ann Source #

Pretty TxOut Source # 
Instance details

Defined in PlutusLedgerApi.V2.Data.Tx

Methods

prettyTxOutDoc ann Source #

prettyList ∷ [TxOut] → Doc ann Source #

Pretty OutputDatum Source # 
Instance details

Defined in PlutusLedgerApi.V2.Tx

Methods

prettyOutputDatumDoc ann Source #

prettyList ∷ [OutputDatum] → Doc ann Source #

Pretty TxOut Source # 
Instance details

Defined in PlutusLedgerApi.V2.Tx

Methods

prettyTxOutDoc ann Source #

prettyList ∷ [TxOut] → Doc ann Source #

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

prettyCommitteeDoc ann Source #

prettyList ∷ [Committee] → Doc ann Source #

Pretty Constitution Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

prettyConstitutionDoc ann Source #

prettyList ∷ [Constitution] → Doc ann Source #

Pretty DRep Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

prettyDRepDoc ann Source #

prettyList ∷ [DRep] → Doc ann Source #

Pretty DRepCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Pretty Delegatee Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

prettyDelegateeDoc ann Source #

prettyList ∷ [Delegatee] → Doc ann Source #

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

Pretty ScriptInfo Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

prettyScriptInfoDoc ann Source #

prettyList ∷ [ScriptInfo] → Doc ann Source #

Pretty ScriptPurpose Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Pretty TxCert Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

prettyTxCertDoc ann Source #

prettyList ∷ [TxCert] → Doc ann Source #

Pretty TxInInfo Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

prettyTxInInfoDoc ann Source #

prettyList ∷ [TxInInfo] → Doc ann Source #

Pretty TxInfo Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

prettyTxInfoDoc ann Source #

prettyList ∷ [TxInfo] → Doc ann Source #

Pretty Vote Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

prettyVoteDoc ann Source #

prettyList ∷ [Vote] → Doc ann Source #

Pretty Voter Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

prettyVoterDoc ann Source #

prettyList ∷ [Voter] → Doc ann Source #

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

prettyCommitteeDoc ann Source #

prettyList ∷ [Committee] → Doc ann Source #

Pretty Constitution Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

prettyConstitutionDoc ann Source #

prettyList ∷ [Constitution] → Doc ann Source #

Pretty DRep Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

prettyDRepDoc ann Source #

prettyList ∷ [DRep] → Doc ann Source #

Pretty DRepCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Pretty Delegatee Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

prettyDelegateeDoc ann Source #

prettyList ∷ [Delegatee] → Doc ann Source #

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

Pretty ScriptInfo Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

prettyScriptInfoDoc ann Source #

prettyList ∷ [ScriptInfo] → Doc ann Source #

Pretty ScriptPurpose Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Pretty TxCert Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

prettyTxCertDoc ann Source #

prettyList ∷ [TxCert] → Doc ann Source #

Pretty TxInInfo Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

prettyTxInInfoDoc ann Source #

prettyList ∷ [TxInInfo] → Doc ann Source #

Pretty TxInfo Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

prettyTxInfoDoc ann Source #

prettyList ∷ [TxInfo] → Doc ann Source #

Pretty Vote Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

prettyVoteDoc ann Source #

prettyList ∷ [Vote] → Doc ann Source #

Pretty Voter Source # 
Instance details

Defined in PlutusLedgerApi.V3.Data.Contexts

Methods

prettyVoterDoc ann Source #

prettyList ∷ [Voter] → Doc ann Source #

Pretty TxId Source #

using hex encoding

Instance details

Defined in PlutusLedgerApi.V3.Tx

Methods

prettyTxIdDoc ann Source #

prettyList ∷ [TxId] → Doc ann Source #

Pretty TxOutRef Source # 
Instance details

Defined in PlutusLedgerApi.V3.Tx

Methods

prettyTxOutRefDoc ann Source #

prettyList ∷ [TxOutRef] → Doc ann Source #

Pretty BuiltinBLS12_381_G1_Element 
Instance details

Defined in PlutusTx.Builtins.Internal

Pretty BuiltinBLS12_381_G2_Element 
Instance details

Defined in PlutusTx.Builtins.Internal

Pretty BuiltinBLS12_381_MlResult 
Instance details

Defined in PlutusTx.Builtins.Internal

Pretty BuiltinByteString 
Instance details

Defined in PlutusTx.Builtins.Internal

Pretty BuiltinData 
Instance details

Defined in PlutusTx.Builtins.Internal

Methods

prettyBuiltinDataDoc ann Source #

prettyList ∷ [BuiltinData] → Doc ann Source #

Pretty CovLoc 
Instance details

Defined in PlutusTx.Coverage

Methods

prettyCovLocDoc ann Source #

prettyList ∷ [CovLoc] → Doc ann Source #

Pretty CoverageAnnotation 
Instance details

Defined in PlutusTx.Coverage

Pretty CoverageMetadata 
Instance details

Defined in PlutusTx.Coverage

Pretty CoverageReport 
Instance details

Defined in PlutusTx.Coverage

Pretty Metadata 
Instance details

Defined in PlutusTx.Coverage

Methods

prettyMetadataDoc ann Source #

prettyList ∷ [Metadata] → Doc ann Source #

Pretty LiftError 
Instance details

Defined in PlutusTx.Lift.TH

Methods

prettyLiftErrorDoc ann Source #

prettyList ∷ [LiftError] → Doc ann Source #

Pretty Rational 
Instance details

Defined in PlutusTx.Ratio

Methods

prettyRationalDoc ann Source #

prettyList ∷ [Rational] → Doc ann Source #

Pretty Text

Automatically converts all newlines to line.

>>> pretty ("hello\nworld" :: Text)
hello
world

Note that line can be undone by group:

>>> group (pretty ("hello\nworld" :: Text))
hello world

Manually use hardline if you definitely want newlines.

Instance details

Defined in Prettyprinter.Internal

Methods

prettyTextDoc ann Source #

prettyList ∷ [Text] → Doc ann Source #

Pretty Text

(lazy Doc instance, identical to the strict version)

Instance details

Defined in Prettyprinter.Internal

Methods

prettyTextDoc ann Source #

prettyList ∷ [Text] → Doc ann Source #

Pretty Integer
>>> pretty (2^123 :: Integer)
10633823966279326983230456482242756608
Instance details

Defined in Prettyprinter.Internal

Methods

prettyIntegerDoc ann Source #

prettyList ∷ [Integer] → Doc ann Source #

Pretty Natural 
Instance details

Defined in Prettyprinter.Internal

Methods

prettyNaturalDoc ann Source #

prettyList ∷ [Natural] → Doc ann Source #

Pretty ()
>>> pretty ()
()

The argument is not used:

>>> pretty (error "Strict?" :: ())
()
Instance details

Defined in Prettyprinter.Internal

Methods

pretty ∷ () → Doc ann Source #

prettyList ∷ [()] → Doc ann Source #

Pretty Bool
>>> pretty True
True
Instance details

Defined in Prettyprinter.Internal

Methods

prettyBoolDoc ann Source #

prettyList ∷ [Bool] → Doc ann Source #

Pretty Char

Instead of (pretty 'n'), consider using line as a more readable alternative.

>>> pretty 'f' <> pretty 'o' <> pretty 'o'
foo
>>> pretty ("string" :: String)
string
Instance details

Defined in Prettyprinter.Internal

Methods

prettyCharDoc ann Source #

prettyList ∷ [Char] → Doc ann Source #

Pretty Double
>>> pretty (exp 1 :: Double)
2.71828182845904...
Instance details

Defined in Prettyprinter.Internal

Methods

prettyDoubleDoc ann Source #

prettyList ∷ [Double] → Doc ann Source #

Pretty Float
>>> pretty (pi :: Float)
3.1415927
Instance details

Defined in Prettyprinter.Internal

Methods

prettyFloatDoc ann Source #

prettyList ∷ [Float] → Doc ann Source #

Pretty Int
>>> pretty (123 :: Int)
123
Instance details

Defined in Prettyprinter.Internal

Methods

prettyIntDoc ann Source #

prettyList ∷ [Int] → Doc ann Source #

Pretty Word 
Instance details

Defined in Prettyprinter.Internal

Methods

prettyWordDoc ann Source #

prettyList ∷ [Word] → Doc ann Source #

Pretty a ⇒ Pretty (Identity a)
>>> pretty (Identity 1)
1
Instance details

Defined in Prettyprinter.Internal

Methods

prettyIdentity a → Doc ann Source #

prettyList ∷ [Identity a] → Doc ann Source #

Pretty a ⇒ Pretty (NonEmpty a) 
Instance details

Defined in Prettyprinter.Internal

Methods

prettyNonEmpty a → Doc ann Source #

prettyList ∷ [NonEmpty a] → Doc ann Source #

Pretty (BuiltinSemanticsVariant DefaultFun) 
Instance details

Defined in PlutusCore.Default.Builtins

Pretty a ⇒ Pretty (Normalized a) 
Instance details

Defined in PlutusCore.Core.Type

Methods

prettyNormalized a → Doc ann Source #

prettyList ∷ [Normalized a] → Doc ann Source #

Pretty (DefaultUni a)

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

prettyDefaultUni a → Doc ann Source #

prettyList ∷ [DefaultUni a] → Doc ann Source #

Pretty ann ⇒ Pretty (UniqueError ann) 
Instance details

Defined in PlutusCore.Error

Methods

prettyUniqueError ann → Doc ann0 Source #

prettyList ∷ [UniqueError ann] → Doc ann0 Source #

PrettyClassic a ⇒ Pretty (EvaluationResult a) 
Instance details

Defined in PlutusCore.Evaluation.Result

PrettyReadable a ⇒ Pretty (AsReadable a) 
Instance details

Defined in PlutusCore.Pretty.Readable

Methods

prettyAsReadable a → Doc ann Source #

prettyList ∷ [AsReadable a] → Doc ann Source #

Pretty (SomeTypeIn DefaultUni) 
Instance details

Defined in PlutusCore.Default.Universe

(Show fun, Ord fun) ⇒ Pretty (CekExTally fun) 
Instance details

Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode

Methods

prettyCekExTally fun → Doc ann Source #

prettyList ∷ [CekExTally fun] → Doc ann Source #

(Show fun, Ord fun) ⇒ Pretty (TallyingSt fun) 
Instance details

Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode

Methods

prettyTallyingSt fun → Doc ann Source #

prettyList ∷ [TallyingSt fun] → Doc ann Source #

Show fun ⇒ Pretty (ExBudgetCategory fun) 
Instance details

Defined in UntypedPlutusCore.Evaluation.Machine.Cek.Internal

Methods

prettyExBudgetCategory fun → Doc ann Source #

prettyList ∷ [ExBudgetCategory fun] → Doc ann Source #

Pretty a ⇒ Pretty (Provenance a) 
Instance details

Defined in PlutusIR.Compiler.Provenance

Methods

prettyProvenance a → Doc ann Source #

prettyList ∷ [Provenance a] → Doc ann Source #

Pretty a ⇒ Pretty (Extended a) Source # 
Instance details

Defined in PlutusLedgerApi.V1.Interval

Methods

prettyExtended a → Doc ann Source #

prettyList ∷ [Extended a] → Doc ann Source #

Pretty a ⇒ Pretty (Interval a) Source # 
Instance details

Defined in PlutusLedgerApi.V1.Interval

Methods

prettyInterval a → Doc ann Source #

prettyList ∷ [Interval a] → Doc ann Source #

Pretty a ⇒ Pretty (LowerBound a) Source # 
Instance details

Defined in PlutusLedgerApi.V1.Interval

Methods

prettyLowerBound a → Doc ann Source #

prettyList ∷ [LowerBound a] → Doc ann Source #

Pretty a ⇒ Pretty (UpperBound a) Source # 
Instance details

Defined in PlutusLedgerApi.V1.Interval

Methods

prettyUpperBound a → Doc ann Source #

prettyList ∷ [UpperBound a] → Doc ann Source #

Show a ⇒ Pretty (PrettyShow a) Source # 
Instance details

Defined in Prettyprinter.Extras

Methods

prettyPrettyShow a → Doc ann Source #

prettyList ∷ [PrettyShow a] → Doc ann Source #

Pretty a ⇒ Pretty (Maybe a)

Ignore Nothings, print Just contents.

>>> pretty (Just True)
True
>>> braces (pretty (Nothing :: Maybe Bool))
{}
>>> pretty [Just 1, Nothing, Just 3, Nothing]
[1, 3]
Instance details

Defined in Prettyprinter.Internal

Methods

prettyMaybe a → Doc ann Source #

prettyList ∷ [Maybe a] → Doc ann Source #

Pretty a ⇒ Pretty [a]
>>> pretty [1,2,3]
[1, 2, 3]
Instance details

Defined in Prettyprinter.Internal

Methods

pretty ∷ [a] → Doc ann Source #

prettyList ∷ [[a]] → Doc ann Source #

(Pretty structural, Pretty operational) ⇒ Pretty (EvaluationError structural operational) 
Instance details

Defined in PlutusCore.Evaluation.Error

Methods

prettyEvaluationError structural operational → Doc ann Source #

prettyList ∷ [EvaluationError structural operational] → Doc ann Source #

(Pretty err, Pretty cause) ⇒ Pretty (ErrorWithCause err cause) 
Instance details

Defined in PlutusCore.Evaluation.ErrorWithCause

Methods

prettyErrorWithCause err cause → Doc ann Source #

prettyList ∷ [ErrorWithCause err cause] → Doc ann Source #

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

Defined in Prettyprinter.Extras

Methods

prettyPrettyFoldable f a → Doc ann Source #

prettyList ∷ [PrettyFoldable f a] → Doc ann Source #

(Pretty k, Pretty v) ⇒ Pretty (Map k v) 
Instance details

Defined in PlutusTx.AssocMap

Methods

prettyMap k v → Doc ann Source #

prettyList ∷ [Map k v] → Doc ann Source #

(Pretty k, Pretty a, UnsafeFromData k, UnsafeFromData a) ⇒ Pretty (Map k a) 
Instance details

Defined in PlutusTx.Data.AssocMap

Methods

prettyMap k a → Doc ann Source #

prettyList ∷ [Map k a] → Doc ann Source #

DefaultPrettyBy config a ⇒ Pretty (AttachDefaultPrettyConfig config a) 
Instance details

Defined in Text.PrettyBy.Internal

Methods

prettyAttachDefaultPrettyConfig config a → Doc ann Source #

prettyList ∷ [AttachDefaultPrettyConfig config a] → Doc ann Source #

PrettyBy config a ⇒ Pretty (AttachPrettyConfig config a)
>>> data Cfg = Cfg
>>> data D = D
>>> instance PrettyBy Cfg D where prettyBy Cfg D = "D"
>>> pretty $ AttachPrettyConfig Cfg D
D
Instance details

Defined in Text.PrettyBy.Internal

Methods

prettyAttachPrettyConfig config a → Doc ann Source #

prettyList ∷ [AttachPrettyConfig config a] → Doc ann Source #

(Pretty a1, Pretty a2) ⇒ Pretty (a1, a2)
>>> pretty (123, "hello")
(123, hello)
Instance details

Defined in Prettyprinter.Internal

Methods

pretty ∷ (a1, a2) → Doc ann Source #

prettyList ∷ [(a1, a2)] → Doc ann Source #

Pretty a ⇒ Pretty (Const a b) 
Instance details

Defined in Prettyprinter.Internal

Methods

prettyConst a b → Doc ann Source #

prettyList ∷ [Const a b] → Doc ann Source #

(PrettyUni uni, Pretty fun, Pretty ann) ⇒ Pretty (Error uni fun ann) 
Instance details

Defined in PlutusIR.Error

Methods

prettyError uni fun ann → Doc ann0 Source #

prettyList ∷ [Error uni fun ann] → Doc ann0 Source #

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

Defined in Prettyprinter.Extras

Methods

prettyTagged a b → Doc ann Source #

prettyList ∷ [Tagged a b] → Doc ann Source #

(Pretty a1, Pretty a2, Pretty a3) ⇒ Pretty (a1, a2, a3)
>>> pretty (123, "hello", False)
(123, hello, False)
Instance details

Defined in Prettyprinter.Internal

Methods

pretty ∷ (a1, a2, a3) → Doc ann Source #

prettyList ∷ [(a1, a2, a3)] → Doc ann Source #

newtype PrettyFoldable f a Source #

Newtype wrapper for deriving Pretty for a Foldable container by calling toList.

Constructors

PrettyFoldable 

Fields

Instances

Instances details
(Foldable f, Pretty a) ⇒ Pretty (PrettyFoldable f a) Source # 
Instance details

Defined in Prettyprinter.Extras

Methods

prettyPrettyFoldable f a → Doc ann Source #

prettyList ∷ [PrettyFoldable f a] → Doc ann Source #

newtype Tagged (s ∷ k) b Source #

A Tagged s b value is a value b with an attached phantom type s. This can be used in place of the more traditional but less safe idiom of passing in an undefined value with the type, because unlike an (s -> b), a Tagged s b can't try to use the argument s as a real value.

Moreover, you don't have to rely on the compiler to inline away the extra argument, because the newtype is "free"

Tagged has kind k -> * -> * if the compiler supports PolyKinds, therefore there is an extra k showing in the instance haddocks that may cause confusion.

Constructors

Tagged b 

Instances

Instances details
Generic1 (Tagged s ∷ TypeType) 
Instance details

Defined in Data.Tagged

Associated Types

type Rep1 (Tagged s) ∷ k → Type Source #

Methods

from1 ∷ ∀ (a ∷ k). Tagged s a → Rep1 (Tagged s) a Source #

to1 ∷ ∀ (a ∷ k). Rep1 (Tagged s) a → Tagged s a Source #

FromJSON2 (TaggedTypeTypeType) 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

liftParseJSON2Maybe a → (Value → Parser a) → (Value → Parser [a]) → Maybe b → (Value → Parser b) → (Value → Parser [b]) → Value → Parser (Tagged a b)

liftParseJSONList2Maybe a → (Value → Parser a) → (Value → Parser [a]) → Maybe b → (Value → Parser b) → (Value → Parser [b]) → Value → Parser [Tagged a b]

liftOmittedField2Maybe a → Maybe b → Maybe (Tagged a b)

ToJSON2 (TaggedTypeTypeType) 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

liftToJSON2 ∷ (a → Bool) → (a → Value) → ([a] → Value) → (b → Bool) → (b → Value) → ([b] → Value) → Tagged a b → Value

liftToJSONList2 ∷ (a → Bool) → (a → Value) → ([a] → Value) → (b → Bool) → (b → Value) → ([b] → Value) → [Tagged a b] → Value

liftToEncoding2 ∷ (a → Bool) → (a → Encoding) → ([a] → Encoding) → (b → Bool) → (b → Encoding) → ([b] → Encoding) → Tagged a b → Encoding

liftToEncodingList2 ∷ (a → Bool) → (a → Encoding) → ([a] → Encoding) → (b → Bool) → (b → Encoding) → ([b] → Encoding) → [Tagged a b] → Encoding

liftOmitField2 ∷ (a → Bool) → (b → Bool) → Tagged a b → Bool

Bifoldable (TaggedTypeTypeType) 
Instance details

Defined in Data.Tagged

Methods

bifoldMonoid m ⇒ Tagged m m → m Source #

bifoldMapMonoid m ⇒ (a → m) → (b → m) → Tagged a b → m Source #

bifoldr ∷ (a → c → c) → (b → c → c) → c → Tagged a b → c Source #

bifoldl ∷ (c → a → c) → (c → b → c) → c → Tagged a b → c Source #

Bifoldable1 (TaggedTypeTypeType) 
Instance details

Defined in Data.Tagged

Methods

bifold1Semigroup m ⇒ Tagged m m → m Source #

bifoldMap1Semigroup m ⇒ (a → m) → (b → m) → Tagged a b → m Source #

Bifunctor (TaggedTypeTypeType) 
Instance details

Defined in Data.Tagged

Methods

bimap ∷ (a → b) → (c → d) → Tagged a c → Tagged b d Source #

first ∷ (a → b) → Tagged a c → Tagged b c Source #

second ∷ (b → c) → Tagged a b → Tagged a c Source #

Bitraversable (TaggedTypeTypeType) 
Instance details

Defined in Data.Tagged

Methods

bitraverseApplicative f ⇒ (a → f c) → (b → f d) → Tagged a b → f (Tagged c d) Source #

Eq2 (TaggedTypeTypeType) 
Instance details

Defined in Data.Tagged

Methods

liftEq2 ∷ (a → b → Bool) → (c → d → Bool) → Tagged a c → Tagged b d → Bool Source #

Ord2 (TaggedTypeTypeType) 
Instance details

Defined in Data.Tagged

Methods

liftCompare2 ∷ (a → b → Ordering) → (c → d → Ordering) → Tagged a c → Tagged b d → Ordering Source #

Read2 (TaggedTypeTypeType) 
Instance details

Defined in Data.Tagged

Methods

liftReadsPrec2 ∷ (IntReadS a) → ReadS [a] → (IntReadS b) → ReadS [b] → IntReadS (Tagged a b) Source #

liftReadList2 ∷ (IntReadS a) → ReadS [a] → (IntReadS b) → ReadS [b] → ReadS [Tagged a b] Source #

liftReadPrec2ReadPrec a → ReadPrec [a] → ReadPrec b → ReadPrec [b] → ReadPrec (Tagged a b) Source #

liftReadListPrec2ReadPrec a → ReadPrec [a] → ReadPrec b → ReadPrec [b] → ReadPrec [Tagged a b] Source #

Show2 (TaggedTypeTypeType) 
Instance details

Defined in Data.Tagged

Methods

liftShowsPrec2 ∷ (Int → a → ShowS) → ([a] → ShowS) → (Int → b → ShowS) → ([b] → ShowS) → IntTagged a b → ShowS Source #

liftShowList2 ∷ (Int → a → ShowS) → ([a] → ShowS) → (Int → b → ShowS) → ([b] → ShowS) → [Tagged a b] → ShowS Source #

Choice (TaggedTypeTypeType) 
Instance details

Defined in Data.Profunctor.Choice

Methods

left'Tagged a b → Tagged (Either a c) (Either b c) Source #

right'Tagged a b → Tagged (Either c a) (Either c b) Source #

Corepresentable (TaggedTypeTypeType) 
Instance details

Defined in Data.Profunctor.Rep

Associated Types

type Corep TaggedTypeType Source #

Methods

cotabulate ∷ (Corep Tagged d → c) → Tagged d c Source #

Profunctor (TaggedTypeTypeType) 
Instance details

Defined in Data.Profunctor.Unsafe

Methods

dimap ∷ (a → b) → (c → d) → Tagged b c → Tagged a d Source #

lmap ∷ (a → b) → Tagged b c → Tagged a c Source #

rmap ∷ (b → c) → Tagged a b → Tagged a c Source #

(#.) ∷ ∀ a b c q. Coercible c b ⇒ q b c → Tagged a b → Tagged a c Source #

(.#) ∷ ∀ a b c q. Coercible b a ⇒ Tagged b c → q a b → Tagged a c Source #

Bitraversable1 (TaggedTypeTypeType) 
Instance details

Defined in Data.Semigroup.Traversable.Class

Methods

bitraverse1Apply f ⇒ (a → f b) → (c → f d) → Tagged a c → f (Tagged b d) Source #

bisequence1Apply f ⇒ Tagged (f a) (f b) → f (Tagged a b) Source #

Representable (Tagged t) 
Instance details

Defined in Data.Functor.Rep

Associated Types

type Rep (Tagged t)

Methods

tabulate ∷ (Rep (Tagged t) → a) → Tagged t a

indexTagged t a → Rep (Tagged t) → a

FromJSON1 (Tagged a) 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

liftParseJSONMaybe a0 → (Value → Parser a0) → (Value → Parser [a0]) → Value → Parser (Tagged a a0)

liftParseJSONListMaybe a0 → (Value → Parser a0) → (Value → Parser [a0]) → Value → Parser [Tagged a a0]

liftOmittedFieldMaybe a0 → Maybe (Tagged a a0)

ToJSON1 (Tagged a) 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

liftToJSON ∷ (a0 → Bool) → (a0 → Value) → ([a0] → Value) → Tagged a a0 → Value

liftToJSONList ∷ (a0 → Bool) → (a0 → Value) → ([a0] → Value) → [Tagged a a0] → Value

liftToEncoding ∷ (a0 → Bool) → (a0 → Encoding) → ([a0] → Encoding) → Tagged a a0 → Encoding

liftToEncodingList ∷ (a0 → Bool) → (a0 → Encoding) → ([a0] → Encoding) → [Tagged a a0] → Encoding

liftOmitField ∷ (a0 → Bool) → Tagged a a0 → Bool

Foldable (Tagged s) 
Instance details

Defined in Data.Tagged

Methods

foldMonoid m ⇒ Tagged s m → m Source #

foldMapMonoid m ⇒ (a → m) → Tagged s a → m Source #

foldMap'Monoid m ⇒ (a → m) → Tagged s a → m Source #

foldr ∷ (a → b → b) → b → Tagged s a → b Source #

foldr' ∷ (a → b → b) → b → Tagged s a → b Source #

foldl ∷ (b → a → b) → b → Tagged s a → b Source #

foldl' ∷ (b → a → b) → b → Tagged s a → b Source #

foldr1 ∷ (a → a → a) → Tagged s a → a Source #

foldl1 ∷ (a → a → a) → Tagged s a → a Source #

toListTagged s a → [a] Source #

nullTagged s a → Bool Source #

lengthTagged s a → Int Source #

elemEq a ⇒ a → Tagged s a → Bool Source #

maximumOrd a ⇒ Tagged s a → a Source #

minimumOrd a ⇒ Tagged s a → a Source #

sumNum a ⇒ Tagged s a → a Source #

productNum a ⇒ Tagged s a → a Source #

Foldable1 (Tagged a) 
Instance details

Defined in Data.Tagged

Methods

fold1Semigroup m ⇒ Tagged a m → m Source #

foldMap1Semigroup m ⇒ (a0 → m) → Tagged a a0 → m Source #

foldMap1'Semigroup m ⇒ (a0 → m) → Tagged a a0 → m Source #

toNonEmptyTagged a a0 → NonEmpty a0 Source #

maximumOrd a0 ⇒ Tagged a a0 → a0 Source #

minimumOrd a0 ⇒ Tagged a a0 → a0 Source #

headTagged a a0 → a0 Source #

lastTagged a a0 → a0 Source #

foldrMap1 ∷ (a0 → b) → (a0 → b → b) → Tagged a a0 → b Source #

foldlMap1' ∷ (a0 → b) → (b → a0 → b) → Tagged a a0 → b Source #

foldlMap1 ∷ (a0 → b) → (b → a0 → b) → Tagged a a0 → b Source #

foldrMap1' ∷ (a0 → b) → (a0 → b → b) → Tagged a a0 → b Source #

Eq1 (Tagged s) 
Instance details

Defined in Data.Tagged

Methods

liftEq ∷ (a → b → Bool) → Tagged s a → Tagged s b → Bool Source #

Ord1 (Tagged s) 
Instance details

Defined in Data.Tagged

Methods

liftCompare ∷ (a → b → Ordering) → Tagged s a → Tagged s b → Ordering Source #

Read1 (Tagged s) 
Instance details

Defined in Data.Tagged

Methods

liftReadsPrec ∷ (IntReadS a) → ReadS [a] → IntReadS (Tagged s a) Source #

liftReadList ∷ (IntReadS a) → ReadS [a] → ReadS [Tagged s a] Source #

liftReadPrecReadPrec a → ReadPrec [a] → ReadPrec (Tagged s a) Source #

liftReadListPrecReadPrec a → ReadPrec [a] → ReadPrec [Tagged s a] Source #

Show1 (Tagged s) 
Instance details

Defined in Data.Tagged

Methods

liftShowsPrec ∷ (Int → a → ShowS) → ([a] → ShowS) → IntTagged s a → ShowS Source #

liftShowList ∷ (Int → a → ShowS) → ([a] → ShowS) → [Tagged s a] → ShowS Source #

Traversable (Tagged s) 
Instance details

Defined in Data.Tagged

Methods

traverseApplicative f ⇒ (a → f b) → Tagged s a → f (Tagged s b) Source #

sequenceAApplicative f ⇒ Tagged s (f a) → f (Tagged s a) Source #

mapMMonad m ⇒ (a → m b) → Tagged s a → m (Tagged s b) Source #

sequenceMonad m ⇒ Tagged s (m a) → m (Tagged s a) Source #

Applicative (Tagged s) 
Instance details

Defined in Data.Tagged

Methods

pure ∷ a → Tagged s a Source #

(<*>)Tagged s (a → b) → Tagged s a → Tagged s b Source #

liftA2 ∷ (a → b → c) → Tagged s a → Tagged s b → Tagged s c Source #

(*>)Tagged s a → Tagged s b → Tagged s b Source #

(<*)Tagged s a → Tagged s b → Tagged s a Source #

Functor (Tagged s) 
Instance details

Defined in Data.Tagged

Methods

fmap ∷ (a → b) → Tagged s a → Tagged s b Source #

(<$) ∷ a → Tagged s b → Tagged s a Source #

Monad (Tagged s) 
Instance details

Defined in Data.Tagged

Methods

(>>=)Tagged s a → (a → Tagged s b) → Tagged s b Source #

(>>)Tagged s a → Tagged s b → Tagged s b Source #

return ∷ a → Tagged s a Source #

Traversable1 (Tagged a) 
Instance details

Defined in Data.Semigroup.Traversable.Class

Methods

traverse1Apply f ⇒ (a0 → f b) → Tagged a a0 → f (Tagged a b) Source #

sequence1Apply f ⇒ Tagged a (f b) → f (Tagged a b) Source #

FromJSON b ⇒ FromJSON (Tagged a b) 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

parseJSON ∷ Value → Parser (Tagged a b)

parseJSONList ∷ Value → Parser [Tagged a b]

omittedFieldMaybe (Tagged a b)

FromJSONKey b ⇒ FromJSONKey (Tagged a b) 
Instance details

Defined in Data.Aeson.Types.FromJSON

Methods

fromJSONKey ∷ FromJSONKeyFunction (Tagged a b)

fromJSONKeyList ∷ FromJSONKeyFunction [Tagged a b]

ToJSON b ⇒ ToJSON (Tagged a b) 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSONTagged a b → Value

toEncodingTagged a b → Encoding

toJSONList ∷ [Tagged a b] → Value

toEncodingList ∷ [Tagged a b] → Encoding

omitFieldTagged a b → Bool

ToJSONKey b ⇒ ToJSONKey (Tagged a b) 
Instance details

Defined in Data.Aeson.Types.ToJSON

Methods

toJSONKey ∷ ToJSONKeyFunction (Tagged a b)

toJSONKeyList ∷ ToJSONKeyFunction [Tagged a b]

(Data s, Data b) ⇒ Data (Tagged s b) 
Instance details

Defined in Data.Tagged

Methods

gfoldl ∷ (∀ d b0. Data d ⇒ c (d → b0) → d → c b0) → (∀ g. g → c g) → Tagged s b → c (Tagged s b) Source #

gunfold ∷ (∀ b0 r. Data b0 ⇒ c (b0 → r) → c r) → (∀ r. r → c r) → Constr → c (Tagged s b) Source #

toConstrTagged s b → Constr Source #

dataTypeOfTagged s b → DataType Source #

dataCast1Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c (Tagged s b)) Source #

dataCast2Typeable t ⇒ (∀ d e. (Data d, Data e) ⇒ c (t d e)) → Maybe (c (Tagged s b)) Source #

gmapT ∷ (∀ b0. Data b0 ⇒ b0 → b0) → Tagged s b → Tagged s b Source #

gmapQl ∷ (r → r' → r) → r → (∀ d. Data d ⇒ d → r') → Tagged s b → r Source #

gmapQr ∷ ∀ r r'. (r' → r → r) → r → (∀ d. Data d ⇒ d → r') → Tagged s b → r Source #

gmapQ ∷ (∀ d. Data d ⇒ d → u) → Tagged s b → [u] Source #

gmapQiInt → (∀ d. Data d ⇒ d → u) → Tagged s b → u Source #

gmapMMonad m ⇒ (∀ d. Data d ⇒ d → m d) → Tagged s b → m (Tagged s b) Source #

gmapMpMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Tagged s b → m (Tagged s b) Source #

gmapMoMonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Tagged s b → m (Tagged s b) Source #

IsString a ⇒ IsString (Tagged s a) 
Instance details

Defined in Data.Tagged

Methods

fromStringStringTagged s a Source #

Storable a ⇒ Storable (Tagged s a) 
Instance details

Defined in Data.Tagged

Methods

sizeOfTagged s a → Int Source #

alignmentTagged s a → Int Source #

peekElemOffPtr (Tagged s a) → IntIO (Tagged s a) Source #

pokeElemOffPtr (Tagged s a) → IntTagged s a → IO () Source #

peekByteOffPtr b → IntIO (Tagged s a) Source #

pokeByteOffPtr b → IntTagged s a → IO () Source #

peekPtr (Tagged s a) → IO (Tagged s a) Source #

pokePtr (Tagged s a) → Tagged s a → IO () Source #

(Semigroup a, Monoid a) ⇒ Monoid (Tagged s a) 
Instance details

Defined in Data.Tagged

Methods

memptyTagged s a Source #

mappendTagged s a → Tagged s a → Tagged s a Source #

mconcat ∷ [Tagged s a] → Tagged s a Source #

Semigroup a ⇒ Semigroup (Tagged s a) 
Instance details

Defined in Data.Tagged

Methods

(<>)Tagged s a → Tagged s a → Tagged s a Source #

sconcatNonEmpty (Tagged s a) → Tagged s a Source #

stimesIntegral b ⇒ b → Tagged s a → Tagged s a Source #

Bits a ⇒ Bits (Tagged s a) 
Instance details

Defined in Data.Tagged

Methods

(.&.)Tagged s a → Tagged s a → Tagged s a Source #

(.|.)Tagged s a → Tagged s a → Tagged s a Source #

xorTagged s a → Tagged s a → Tagged s a Source #

complementTagged s a → Tagged s a Source #

shiftTagged s a → IntTagged s a Source #

rotateTagged s a → IntTagged s a Source #

zeroBitsTagged s a Source #

bitIntTagged s a Source #

setBitTagged s a → IntTagged s a Source #

clearBitTagged s a → IntTagged s a Source #

complementBitTagged s a → IntTagged s a Source #

testBitTagged s a → IntBool Source #

bitSizeMaybeTagged s a → Maybe Int Source #

bitSizeTagged s a → Int Source #

isSignedTagged s a → Bool Source #

shiftLTagged s a → IntTagged s a Source #

unsafeShiftLTagged s a → IntTagged s a Source #

shiftRTagged s a → IntTagged s a Source #

unsafeShiftRTagged s a → IntTagged s a Source #

rotateLTagged s a → IntTagged s a Source #

rotateRTagged s a → IntTagged s a Source #

popCountTagged s a → Int Source #

FiniteBits a ⇒ FiniteBits (Tagged s a) 
Instance details

Defined in Data.Tagged

Bounded b ⇒ Bounded (Tagged s b) 
Instance details

Defined in Data.Tagged

Methods

minBoundTagged s b Source #

maxBoundTagged s b Source #

Enum a ⇒ Enum (Tagged s a) 
Instance details

Defined in Data.Tagged

Methods

succTagged s a → Tagged s a Source #

predTagged s a → Tagged s a Source #

toEnumIntTagged s a Source #

fromEnumTagged s a → Int Source #

enumFromTagged s a → [Tagged s a] Source #

enumFromThenTagged s a → Tagged s a → [Tagged s a] Source #

enumFromToTagged s a → Tagged s a → [Tagged s a] Source #

enumFromThenToTagged s a → Tagged s a → Tagged s a → [Tagged s a] Source #

Floating a ⇒ Floating (Tagged s a) 
Instance details

Defined in Data.Tagged

Methods

piTagged s a Source #

expTagged s a → Tagged s a Source #

logTagged s a → Tagged s a Source #

sqrtTagged s a → Tagged s a Source #

(**)Tagged s a → Tagged s a → Tagged s a Source #

logBaseTagged s a → Tagged s a → Tagged s a Source #

sinTagged s a → Tagged s a Source #

cosTagged s a → Tagged s a Source #

tanTagged s a → Tagged s a Source #

asinTagged s a → Tagged s a Source #

acosTagged s a → Tagged s a Source #

atanTagged s a → Tagged s a Source #

sinhTagged s a → Tagged s a Source #

coshTagged s a → Tagged s a Source #

tanhTagged s a → Tagged s a Source #

asinhTagged s a → Tagged s a Source #

acoshTagged s a → Tagged s a Source #

atanhTagged s a → Tagged s a Source #

log1pTagged s a → Tagged s a Source #

expm1Tagged s a → Tagged s a Source #

log1pexpTagged s a → Tagged s a Source #

log1mexpTagged s a → Tagged s a Source #

RealFloat a ⇒ RealFloat (Tagged s a) 
Instance details

Defined in Data.Tagged

Methods

floatRadixTagged s a → Integer Source #

floatDigitsTagged s a → Int Source #

floatRangeTagged s a → (Int, Int) Source #

decodeFloatTagged s a → (Integer, Int) Source #

encodeFloatIntegerIntTagged s a Source #

exponentTagged s a → Int Source #

significandTagged s a → Tagged s a Source #

scaleFloatIntTagged s a → Tagged s a Source #

isNaNTagged s a → Bool Source #

isInfiniteTagged s a → Bool Source #

isDenormalizedTagged s a → Bool Source #

isNegativeZeroTagged s a → Bool Source #

isIEEETagged s a → Bool Source #

atan2Tagged s a → Tagged s a → Tagged s a Source #

Generic (Tagged s b) 
Instance details

Defined in Data.Tagged

Associated Types

type Rep (Tagged s b) ∷ TypeType Source #

Methods

fromTagged s b → Rep (Tagged s b) x Source #

toRep (Tagged s b) x → Tagged s b Source #

Ix b ⇒ Ix (Tagged s b) 
Instance details

Defined in Data.Tagged

Methods

range ∷ (Tagged s b, Tagged s b) → [Tagged s b] Source #

index ∷ (Tagged s b, Tagged s b) → Tagged s b → Int Source #

unsafeIndex ∷ (Tagged s b, Tagged s b) → Tagged s b → Int Source #

inRange ∷ (Tagged s b, Tagged s b) → Tagged s b → Bool Source #

rangeSize ∷ (Tagged s b, Tagged s b) → Int Source #

unsafeRangeSize ∷ (Tagged s b, Tagged s b) → Int Source #

Num a ⇒ Num (Tagged s a) 
Instance details

Defined in Data.Tagged

Methods

(+)Tagged s a → Tagged s a → Tagged s a Source #

(-)Tagged s a → Tagged s a → Tagged s a Source #

(*)Tagged s a → Tagged s a → Tagged s a Source #

negateTagged s a → Tagged s a Source #

absTagged s a → Tagged s a Source #

signumTagged s a → Tagged s a Source #

fromIntegerIntegerTagged s a Source #

Read b ⇒ Read (Tagged s b) 
Instance details

Defined in Data.Tagged

Fractional a ⇒ Fractional (Tagged s a) 
Instance details

Defined in Data.Tagged

Methods

(/)Tagged s a → Tagged s a → Tagged s a Source #

recipTagged s a → Tagged s a Source #

fromRationalRationalTagged s a Source #

Integral a ⇒ Integral (Tagged s a) 
Instance details

Defined in Data.Tagged

Methods

quotTagged s a → Tagged s a → Tagged s a Source #

remTagged s a → Tagged s a → Tagged s a Source #

divTagged s a → Tagged s a → Tagged s a Source #

modTagged s a → Tagged s a → Tagged s a Source #

quotRemTagged s a → Tagged s a → (Tagged s a, Tagged s a) Source #

divModTagged s a → Tagged s a → (Tagged s a, Tagged s a) Source #

toIntegerTagged s a → Integer Source #

Real a ⇒ Real (Tagged s a) 
Instance details

Defined in Data.Tagged

Methods

toRationalTagged s a → Rational Source #

RealFrac a ⇒ RealFrac (Tagged s a) 
Instance details

Defined in Data.Tagged

Methods

properFractionIntegral b ⇒ Tagged s a → (b, Tagged s a) Source #

truncateIntegral b ⇒ Tagged s a → b Source #

roundIntegral b ⇒ Tagged s a → b Source #

ceilingIntegral b ⇒ Tagged s a → b Source #

floorIntegral b ⇒ Tagged s a → b Source #

Show b ⇒ Show (Tagged s b) 
Instance details

Defined in Data.Tagged

Methods

showsPrecIntTagged s b → ShowS Source #

showTagged s b → String Source #

showList ∷ [Tagged s b] → ShowS Source #

NFData b ⇒ NFData (Tagged s b) 
Instance details

Defined in Data.Tagged

Methods

rnfTagged s b → () Source #

Eq b ⇒ Eq (Tagged s b) 
Instance details

Defined in Data.Tagged

Methods

(==)Tagged s b → Tagged s b → Bool Source #

(/=)Tagged s b → Tagged s b → Bool Source #

Ord b ⇒ Ord (Tagged s b) 
Instance details

Defined in Data.Tagged

Methods

compareTagged s b → Tagged s b → Ordering Source #

(<)Tagged s b → Tagged s b → Bool Source #

(<=)Tagged s b → Tagged s b → Bool Source #

(>)Tagged s b → Tagged s b → Bool Source #

(>=)Tagged s b → Tagged s b → Bool Source #

maxTagged s b → Tagged s b → Tagged s b Source #

minTagged s b → Tagged s b → Tagged s b Source #

Wrapped (Tagged s a) 
Instance details

Defined in Control.Lens.Wrapped

Associated Types

type Unwrapped (Tagged s a)

Methods

_Wrapped' ∷ Iso' (Tagged s a) (Unwrapped (Tagged s a))

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

Defined in Prettyprinter.Extras

Methods

prettyTagged a b → Doc ann Source #

prettyList ∷ [Tagged a b] → Doc ann Source #

t ~ Tagged s' a' ⇒ Rewrapped (Tagged s a) t 
Instance details

Defined in Control.Lens.Wrapped

type Rep1 (Tagged s ∷ TypeType) 
Instance details

Defined in Data.Tagged

type Rep1 (Tagged s ∷ TypeType) = D1 ('MetaData "Tagged" "Data.Tagged" "tagged-0.8.8-IppbQKcSSpZFDIm3kyFLi5" 'True) (C1 ('MetaCons "Tagged" 'PrefixI 'True) (S1 ('MetaSel ('Just "unTagged") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) Par1))
type Corep (TaggedTypeTypeType) 
Instance details

Defined in Data.Profunctor.Rep

type Corep (TaggedTypeTypeType) = ProxyTypeType
type Rep (Tagged t) 
Instance details

Defined in Data.Functor.Rep

type Rep (Tagged t) = ()
type Rep (Tagged s b) 
Instance details

Defined in Data.Tagged

type Rep (Tagged s b) = D1 ('MetaData "Tagged" "Data.Tagged" "tagged-0.8.8-IppbQKcSSpZFDIm3kyFLi5" 'True) (C1 ('MetaCons "Tagged" 'PrefixI 'True) (S1 ('MetaSel ('Just "unTagged") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 b)))
type Unwrapped (Tagged s a) 
Instance details

Defined in Control.Lens.Wrapped

type Unwrapped (Tagged s a) = a

Orphan instances

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

Methods

prettyTagged a b → Doc ann Source #

prettyList ∷ [Tagged a b] → Doc ann Source #