plutus-ledger-api-1.30.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 #

prettyList ∷ [PrettyShow a] → Doc ann #

class Pretty a where #

Minimal complete definition

pretty

Methods

pretty ∷ a → Doc ann #

prettyList ∷ [a] → Doc ann #

Instances

Instances details
Pretty Void 
Instance details

Defined in Prettyprinter.Internal

Methods

prettyVoidDoc ann #

prettyList ∷ [Void] → Doc ann #

Pretty Int16 
Instance details

Defined in Prettyprinter.Internal

Methods

prettyInt16Doc ann #

prettyList ∷ [Int16] → Doc ann #

Pretty Int32 
Instance details

Defined in Prettyprinter.Internal

Methods

prettyInt32Doc ann #

prettyList ∷ [Int32] → Doc ann #

Pretty Int64 
Instance details

Defined in Prettyprinter.Internal

Methods

prettyInt64Doc ann #

prettyList ∷ [Int64] → Doc ann #

Pretty Int8 
Instance details

Defined in Prettyprinter.Internal

Methods

prettyInt8Doc ann #

prettyList ∷ [Int8] → Doc ann #

Pretty Word16 
Instance details

Defined in Prettyprinter.Internal

Methods

prettyWord16Doc ann #

prettyList ∷ [Word16] → Doc ann #

Pretty Word32 
Instance details

Defined in Prettyprinter.Internal

Methods

prettyWord32Doc ann #

prettyList ∷ [Word32] → Doc ann #

Pretty Word64 
Instance details

Defined in Prettyprinter.Internal

Methods

prettyWord64Doc ann #

prettyList ∷ [Word64] → Doc ann #

Pretty Word8 
Instance details

Defined in Prettyprinter.Internal

Methods

prettyWord8Doc ann #

prettyList ∷ [Word8] → Doc ann #

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 #

prettyList ∷ [Ann] → Doc ann #

Pretty SrcSpan 
Instance details

Defined in PlutusCore.Annotation

Methods

prettySrcSpanDoc ann #

prettyList ∷ [SrcSpan] → Doc ann #

Pretty SrcSpans 
Instance details

Defined in PlutusCore.Annotation

Methods

prettySrcSpansDoc ann #

prettyList ∷ [SrcSpans] → Doc ann #

Pretty BuiltinError 
Instance details

Defined in PlutusCore.Builtin.Result

Methods

prettyBuiltinErrorDoc ann #

prettyList ∷ [BuiltinError] → Doc ann #

Pretty UnliftingError 
Instance details

Defined in PlutusCore.Builtin.Result

Methods

prettyUnliftingErrorDoc ann #

prettyList ∷ [UnliftingError] → Doc ann #

Pretty UnliftingEvaluationError 
Instance details

Defined in PlutusCore.Builtin.Result

Pretty Element 
Instance details

Defined in PlutusCore.Crypto.BLS12_381.G1

Methods

prettyElementDoc ann #

prettyList ∷ [Element] → Doc ann #

Pretty Element 
Instance details

Defined in PlutusCore.Crypto.BLS12_381.G2

Methods

prettyElementDoc ann #

prettyList ∷ [Element] → Doc ann #

Pretty MlResult 
Instance details

Defined in PlutusCore.Crypto.BLS12_381.Pairing

Methods

prettyMlResultDoc ann #

prettyList ∷ [MlResult] → Doc ann #

Pretty Data 
Instance details

Defined in PlutusCore.Data

Methods

prettyDataDoc ann #

prettyList ∷ [Data] → Doc ann #

Pretty FreeVariableError 
Instance details

Defined in PlutusCore.DeBruijn.Internal

Methods

prettyFreeVariableErrorDoc ann #

prettyList ∷ [FreeVariableError] → Doc ann #

Pretty Index 
Instance details

Defined in PlutusCore.DeBruijn.Internal

Methods

prettyIndexDoc ann #

prettyList ∷ [Index] → Doc ann #

Pretty DefaultFun 
Instance details

Defined in PlutusCore.Default.Builtins

Methods

prettyDefaultFunDoc ann #

prettyList ∷ [DefaultFun] → Doc ann #

Pretty ParserError 
Instance details

Defined in PlutusCore.Error

Methods

prettyParserErrorDoc ann #

prettyList ∷ [ParserError] → Doc ann #

Pretty ParserErrorBundle 
Instance details

Defined in PlutusCore.Error

Methods

prettyParserErrorBundleDoc ann #

prettyList ∷ [ParserErrorBundle] → Doc ann #

Pretty CkUserError 
Instance details

Defined in PlutusCore.Evaluation.Machine.Ck

Methods

pretty ∷ CkUserError → Doc ann #

prettyList ∷ [CkUserError] → Doc ann #

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 #

prettyList ∷ [ExBudget] → Doc ann #

Pretty ExRestrictingBudget 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExBudget

Pretty ExCPU 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

prettyExCPUDoc ann #

prettyList ∷ [ExCPU] → Doc ann #

Pretty ExMemory 
Instance details

Defined in PlutusCore.Evaluation.Machine.ExMemory

Methods

prettyExMemoryDoc ann #

prettyList ∷ [ExMemory] → Doc ann #

Pretty Unique 
Instance details

Defined in PlutusCore.Name.Unique

Methods

prettyUniqueDoc ann #

prettyList ∷ [Unique] → Doc ann #

Pretty Version 
Instance details

Defined in PlutusCore.Version

Methods

prettyVersionDoc ann #

prettyList ∷ [Version] → Doc ann #

Pretty CountingSt 
Instance details

Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode

Methods

prettyCountingStDoc ann #

prettyList ∷ [CountingSt] → Doc ann #

Pretty RestrictingSt 
Instance details

Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode

Methods

prettyRestrictingStDoc ann #

prettyList ∷ [RestrictingSt] → Doc ann #

Pretty CekUserError 
Instance details

Defined in UntypedPlutusCore.Evaluation.Machine.Cek.Internal

Methods

prettyCekUserErrorDoc ann #

prettyList ∷ [CekUserError] → Doc ann #

Pretty DatatypeComponent 
Instance details

Defined in PlutusIR.Compiler.Provenance

Methods

prettyDatatypeComponentDoc ann #

prettyList ∷ [DatatypeComponent] → Doc ann #

Pretty GeneratedKind 
Instance details

Defined in PlutusIR.Compiler.Provenance

Methods

prettyGeneratedKindDoc ann #

prettyList ∷ [GeneratedKind] → Doc ann #

Pretty EvaluationError Source # 
Instance details

Defined in PlutusLedgerApi.Common.Eval

Methods

prettyEvaluationErrorDoc ann #

prettyList ∷ [EvaluationError] → Doc ann #

Pretty MajorProtocolVersion Source # 
Instance details

Defined in PlutusLedgerApi.Common.ProtocolVersions

Pretty ScriptDecodeError Source # 
Instance details

Defined in PlutusLedgerApi.Common.SerialisedScript

Methods

prettyScriptDecodeErrorDoc ann #

prettyList ∷ [ScriptDecodeError] → Doc ann #

Pretty PlutusLedgerLanguage Source # 
Instance details

Defined in PlutusLedgerApi.Common.Versions

Pretty Address Source # 
Instance details

Defined in PlutusLedgerApi.V1.Address

Methods

prettyAddressDoc ann #

prettyList ∷ [Address] → Doc ann #

Pretty LedgerBytes Source # 
Instance details

Defined in PlutusLedgerApi.V1.Bytes

Methods

prettyLedgerBytesDoc ann #

prettyList ∷ [LedgerBytes] → Doc ann #

Pretty ScriptContext Source # 
Instance details

Defined in PlutusLedgerApi.V1.Contexts

Methods

prettyScriptContextDoc ann #

prettyList ∷ [ScriptContext] → Doc ann #

Pretty ScriptPurpose Source # 
Instance details

Defined in PlutusLedgerApi.V1.Contexts

Methods

prettyScriptPurposeDoc ann #

prettyList ∷ [ScriptPurpose] → Doc ann #

Pretty TxInInfo Source # 
Instance details

Defined in PlutusLedgerApi.V1.Contexts

Methods

prettyTxInInfoDoc ann #

prettyList ∷ [TxInInfo] → Doc ann #

Pretty TxInfo Source # 
Instance details

Defined in PlutusLedgerApi.V1.Contexts

Methods

prettyTxInfoDoc ann #

prettyList ∷ [TxInfo] → Doc ann #

Pretty Credential Source # 
Instance details

Defined in PlutusLedgerApi.V1.Credential

Methods

prettyCredentialDoc ann #

prettyList ∷ [Credential] → Doc ann #

Pretty StakingCredential Source # 
Instance details

Defined in PlutusLedgerApi.V1.Credential

Methods

prettyStakingCredentialDoc ann #

prettyList ∷ [StakingCredential] → Doc ann #

Pretty PubKeyHash Source #

using hex encoding

Instance details

Defined in PlutusLedgerApi.V1.Crypto

Methods

prettyPubKeyHashDoc ann #

prettyList ∷ [PubKeyHash] → Doc ann #

Pretty DCert Source # 
Instance details

Defined in PlutusLedgerApi.V1.DCert

Methods

prettyDCertDoc ann #

prettyList ∷ [DCert] → Doc ann #

Pretty AssetClass Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Value

Methods

prettyAssetClassDoc ann #

prettyList ∷ [AssetClass] → Doc ann #

Pretty CurrencySymbol Source #

using hex encoding

Instance details

Defined in PlutusLedgerApi.V1.Data.Value

Methods

prettyCurrencySymbolDoc ann #

prettyList ∷ [CurrencySymbol] → Doc ann #

Pretty Lovelace Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Value

Methods

prettyLovelaceDoc ann #

prettyList ∷ [Lovelace] → Doc ann #

Pretty TokenName Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Value

Methods

prettyTokenNameDoc ann #

prettyList ∷ [TokenName] → Doc ann #

Pretty Value Source # 
Instance details

Defined in PlutusLedgerApi.V1.Data.Value

Methods

prettyValueDoc ann #

prettyList ∷ [Value] → Doc ann #

Pretty Context Source # 
Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

prettyContextDoc ann #

prettyList ∷ [Context] → Doc ann #

Pretty Datum Source # 
Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

prettyDatumDoc ann #

prettyList ∷ [Datum] → Doc ann #

Pretty DatumHash Source #

using hex encoding

Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

prettyDatumHashDoc ann #

prettyList ∷ [DatumHash] → Doc ann #

Pretty Redeemer Source # 
Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

prettyRedeemerDoc ann #

prettyList ∷ [Redeemer] → Doc ann #

Pretty RedeemerHash Source #

using hex encoding

Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

prettyRedeemerHashDoc ann #

prettyList ∷ [RedeemerHash] → Doc ann #

Pretty ScriptHash Source #

using hex encoding

Instance details

Defined in PlutusLedgerApi.V1.Scripts

Methods

prettyScriptHashDoc ann #

prettyList ∷ [ScriptHash] → Doc ann #

Pretty POSIXTime Source # 
Instance details

Defined in PlutusLedgerApi.V1.Time

Methods

prettyPOSIXTimeDoc ann #

prettyList ∷ [POSIXTime] → Doc ann #

Pretty TxId Source #

using hex encoding

Instance details

Defined in PlutusLedgerApi.V1.Tx

Methods

prettyTxIdDoc ann #

prettyList ∷ [TxId] → Doc ann #

Pretty TxOut Source # 
Instance details

Defined in PlutusLedgerApi.V1.Tx

Methods

prettyTxOutDoc ann #

prettyList ∷ [TxOut] → Doc ann #

Pretty TxOutRef Source # 
Instance details

Defined in PlutusLedgerApi.V1.Tx

Methods

prettyTxOutRefDoc ann #

prettyList ∷ [TxOutRef] → Doc ann #

Pretty AssetClass Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Methods

prettyAssetClassDoc ann #

prettyList ∷ [AssetClass] → Doc ann #

Pretty CurrencySymbol Source #

using hex encoding

Instance details

Defined in PlutusLedgerApi.V1.Value

Methods

prettyCurrencySymbolDoc ann #

prettyList ∷ [CurrencySymbol] → Doc ann #

Pretty Lovelace Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Methods

prettyLovelaceDoc ann #

prettyList ∷ [Lovelace] → Doc ann #

Pretty TokenName Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Methods

prettyTokenNameDoc ann #

prettyList ∷ [TokenName] → Doc ann #

Pretty Value Source # 
Instance details

Defined in PlutusLedgerApi.V1.Value

Methods

prettyValueDoc ann #

prettyList ∷ [Value] → Doc ann #

Pretty ScriptContext Source # 
Instance details

Defined in PlutusLedgerApi.V2.Contexts

Methods

prettyScriptContextDoc ann #

prettyList ∷ [ScriptContext] → Doc ann #

Pretty TxInInfo Source # 
Instance details

Defined in PlutusLedgerApi.V2.Contexts

Methods

prettyTxInInfoDoc ann #

prettyList ∷ [TxInInfo] → Doc ann #

Pretty TxInfo Source # 
Instance details

Defined in PlutusLedgerApi.V2.Contexts

Methods

prettyTxInfoDoc ann #

prettyList ∷ [TxInfo] → Doc ann #

Pretty OutputDatum Source # 
Instance details

Defined in PlutusLedgerApi.V2.Tx

Methods

prettyOutputDatumDoc ann #

prettyList ∷ [OutputDatum] → Doc ann #

Pretty TxOut Source # 
Instance details

Defined in PlutusLedgerApi.V2.Tx

Methods

prettyTxOutDoc ann #

prettyList ∷ [TxOut] → Doc ann #

Pretty ChangedParameters Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

prettyChangedParametersDoc ann #

prettyList ∷ [ChangedParameters] → Doc ann #

Pretty ColdCommitteeCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Pretty Committee Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

prettyCommitteeDoc ann #

prettyList ∷ [Committee] → Doc ann #

Pretty Constitution Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

prettyConstitutionDoc ann #

prettyList ∷ [Constitution] → Doc ann #

Pretty DRep Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

prettyDRepDoc ann #

prettyList ∷ [DRep] → Doc ann #

Pretty DRepCredential Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

prettyDRepCredentialDoc ann #

prettyList ∷ [DRepCredential] → Doc ann #

Pretty Delegatee Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

prettyDelegateeDoc ann #

prettyList ∷ [Delegatee] → Doc ann #

Pretty GovernanceAction Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

prettyGovernanceActionDoc ann #

prettyList ∷ [GovernanceAction] → Doc ann #

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

Methods

prettyProposalProcedureDoc ann #

prettyList ∷ [ProposalProcedure] → Doc ann #

Pretty ProtocolVersion Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

prettyProtocolVersionDoc ann #

prettyList ∷ [ProtocolVersion] → Doc ann #

Pretty ScriptContext Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

prettyScriptContextDoc ann #

prettyList ∷ [ScriptContext] → Doc ann #

Pretty ScriptInfo Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

prettyScriptInfoDoc ann #

prettyList ∷ [ScriptInfo] → Doc ann #

Pretty ScriptPurpose Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

prettyScriptPurposeDoc ann #

prettyList ∷ [ScriptPurpose] → Doc ann #

Pretty TxCert Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

prettyTxCertDoc ann #

prettyList ∷ [TxCert] → Doc ann #

Pretty TxInInfo Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

prettyTxInInfoDoc ann #

prettyList ∷ [TxInInfo] → Doc ann #

Pretty TxInfo Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

prettyTxInfoDoc ann #

prettyList ∷ [TxInfo] → Doc ann #

Pretty Vote Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

prettyVoteDoc ann #

prettyList ∷ [Vote] → Doc ann #

Pretty Voter Source # 
Instance details

Defined in PlutusLedgerApi.V3.Contexts

Methods

prettyVoterDoc ann #

prettyList ∷ [Voter] → Doc ann #

Pretty TxId Source #

using hex encoding

Instance details

Defined in PlutusLedgerApi.V3.Tx

Methods

prettyTxIdDoc ann #

prettyList ∷ [TxId] → Doc ann #

Pretty TxOutRef Source # 
Instance details

Defined in PlutusLedgerApi.V3.Tx

Methods

prettyTxOutRefDoc ann #

prettyList ∷ [TxOutRef] → Doc ann #

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

Methods

prettyBuiltinByteStringDoc ann #

prettyList ∷ [BuiltinByteString] → Doc ann #

Pretty BuiltinData 
Instance details

Defined in PlutusTx.Builtins.Internal

Methods

prettyBuiltinDataDoc ann #

prettyList ∷ [BuiltinData] → Doc ann #

Pretty CovLoc 
Instance details

Defined in PlutusTx.Coverage

Methods

prettyCovLocDoc ann #

prettyList ∷ [CovLoc] → Doc ann #

Pretty CoverageAnnotation 
Instance details

Defined in PlutusTx.Coverage

Pretty CoverageMetadata 
Instance details

Defined in PlutusTx.Coverage

Methods

prettyCoverageMetadataDoc ann #

prettyList ∷ [CoverageMetadata] → Doc ann #

Pretty CoverageReport 
Instance details

Defined in PlutusTx.Coverage

Methods

prettyCoverageReportDoc ann #

prettyList ∷ [CoverageReport] → Doc ann #

Pretty Metadata 
Instance details

Defined in PlutusTx.Coverage

Methods

prettyMetadataDoc ann #

prettyList ∷ [Metadata] → Doc ann #

Pretty LiftError 
Instance details

Defined in PlutusTx.Lift.TH

Methods

prettyLiftErrorDoc ann #

prettyList ∷ [LiftError] → Doc ann #

Pretty Rational 
Instance details

Defined in PlutusTx.Ratio

Methods

prettyRationalDoc 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

prettyIntegerDoc ann #

prettyList ∷ [Integer] → Doc ann #

Pretty Natural 
Instance details

Defined in Prettyprinter.Internal

Methods

prettyNaturalDoc 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

prettyBoolDoc ann #

prettyList ∷ [Bool] → Doc ann #

Pretty Char 
Instance details

Defined in Prettyprinter.Internal

Methods

prettyCharDoc ann #

prettyList ∷ [Char] → Doc ann #

Pretty Double 
Instance details

Defined in Prettyprinter.Internal

Methods

prettyDoubleDoc ann #

prettyList ∷ [Double] → Doc ann #

Pretty Float 
Instance details

Defined in Prettyprinter.Internal

Methods

prettyFloatDoc ann #

prettyList ∷ [Float] → Doc ann #

Pretty Int 
Instance details

Defined in Prettyprinter.Internal

Methods

prettyIntDoc ann #

prettyList ∷ [Int] → Doc ann #

Pretty Word 
Instance details

Defined in Prettyprinter.Internal

Methods

prettyWordDoc ann #

prettyList ∷ [Word] → Doc ann #

Pretty a ⇒ Pretty (Identity a) 
Instance details

Defined in Prettyprinter.Internal

Methods

prettyIdentity a → Doc ann #

prettyList ∷ [Identity a] → Doc ann #

Pretty a ⇒ Pretty (NonEmpty a) 
Instance details

Defined in Prettyprinter.Internal

Methods

prettyNonEmpty a → Doc ann #

prettyList ∷ [NonEmpty a] → Doc ann #

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 #

prettyList ∷ [Normalized a] → Doc ann #

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 #

prettyList ∷ [DefaultUni a] → Doc ann #

Pretty ann ⇒ Pretty (UniqueError ann) 
Instance details

Defined in PlutusCore.Error

Methods

prettyUniqueError ann → Doc ann0 #

prettyList ∷ [UniqueError ann] → Doc ann0 #

PrettyClassic a ⇒ Pretty (EvaluationResult a) 
Instance details

Defined in PlutusCore.Evaluation.Result

Methods

prettyEvaluationResult a → Doc ann #

prettyList ∷ [EvaluationResult a] → Doc ann #

PrettyReadable a ⇒ Pretty (AsReadable a) 
Instance details

Defined in PlutusCore.Pretty.Readable

Methods

prettyAsReadable a → Doc ann #

prettyList ∷ [AsReadable a] → Doc ann #

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 #

prettyList ∷ [CekExTally fun] → Doc ann #

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

Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode

Methods

prettyTallyingSt fun → Doc ann #

prettyList ∷ [TallyingSt fun] → Doc ann #

Show fun ⇒ Pretty (ExBudgetCategory fun) 
Instance details

Defined in UntypedPlutusCore.Evaluation.Machine.Cek.Internal

Methods

prettyExBudgetCategory fun → Doc ann #

prettyList ∷ [ExBudgetCategory fun] → Doc ann #

Pretty a ⇒ Pretty (Provenance a) 
Instance details

Defined in PlutusIR.Compiler.Provenance

Methods

prettyProvenance a → Doc ann #

prettyList ∷ [Provenance a] → Doc ann #

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

Defined in PlutusLedgerApi.V1.Interval

Methods

prettyExtended a → Doc ann #

prettyList ∷ [Extended a] → Doc ann #

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

Defined in PlutusLedgerApi.V1.Interval

Methods

prettyInterval a → Doc ann #

prettyList ∷ [Interval a] → Doc ann #

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

Defined in PlutusLedgerApi.V1.Interval

Methods

prettyLowerBound a → Doc ann #

prettyList ∷ [LowerBound a] → Doc ann #

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

Defined in PlutusLedgerApi.V1.Interval

Methods

prettyUpperBound a → Doc ann #

prettyList ∷ [UpperBound a] → Doc ann #

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

Defined in Prettyprinter.Extras

Methods

prettyPrettyShow a → Doc ann #

prettyList ∷ [PrettyShow a] → Doc ann #

Pretty a ⇒ Pretty (Maybe a) 
Instance details

Defined in Prettyprinter.Internal

Methods

prettyMaybe 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 operational, Pretty structural) ⇒ Pretty (EvaluationError operational structural) 
Instance details

Defined in PlutusCore.Evaluation.Error

Methods

prettyEvaluationError operational structural → Doc ann #

prettyList ∷ [EvaluationError operational structural] → Doc ann #

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

Defined in PlutusCore.Evaluation.ErrorWithCause

Methods

prettyErrorWithCause err cause → Doc ann #

prettyList ∷ [ErrorWithCause err cause] → Doc ann #

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

Defined in Prettyprinter.Extras

Methods

prettyPrettyFoldable f a → Doc ann #

prettyList ∷ [PrettyFoldable f a] → Doc ann #

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

Defined in PlutusTx.AssocMap

Methods

prettyMap 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

prettyAttachDefaultPrettyConfig config a → Doc ann #

prettyList ∷ [AttachDefaultPrettyConfig config a] → Doc ann #

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 #

prettyList ∷ [AttachPrettyConfig config a] → 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

prettyConst a b → Doc ann #

prettyList ∷ [Const a b] → Doc ann #

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

Defined in PlutusIR.Error

Methods

prettyError 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

prettyTagged 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 #

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 #

prettyList ∷ [PrettyFoldable f a] → Doc ann #

newtype Tagged (s ∷ k) b #

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)

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

Corepresentable (TaggedTypeTypeType) 
Instance details

Defined in Data.Profunctor.Rep

Associated Types

type Corep TaggedTypeType

Methods

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

Profunctor (TaggedTypeTypeType) 
Instance details

Defined in Data.Profunctor.Unsafe

Methods

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

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

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

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

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

Bitraversable1 (TaggedTypeTypeType) 
Instance details

Defined in Data.Semigroup.Traversable.Class

Methods

bitraverse1 ∷ Apply f ⇒ (a → f b) → (c → f d) → Tagged a c → f (Tagged b d)

bisequence1 ∷ Apply f ⇒ Tagged (f a) (f b) → f (Tagged a b)

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

traverse1 ∷ Apply f ⇒ (a0 → f b) → Tagged a a0 → f (Tagged a b)

sequence1 ∷ Apply f ⇒ Tagged a (f b) → f (Tagged a b)

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 #

prettyList ∷ [Tagged a b] → Doc ann #

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-K2K8OZLBj4L85yELyobjyr" '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-K2K8OZLBj4L85yELyobjyr" '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 #

prettyList ∷ [Tagged a b] → Doc ann #