Safe Haskell	Safe-Inferred
Language	Haskell2010

Prettyprinter.Extras

Contents

Orphan instances

Synopsis

newtype PrettyShow a = PrettyShow {
- unPrettyShow ∷ a
}
class Pretty a where
- pretty ∷ a → Doc ann
- prettyList ∷ [a] → Doc ann
newtype PrettyFoldable f a = PrettyFoldable {
- unPrettyFoldable ∷ f a
}
newtype Tagged (s ∷ k) b = Tagged b

Documentation

newtype PrettyShow a Source #

Newtype wrapper for deriving Pretty via a Show instance

Constructors

PrettyShow
Fields unPrettyShow ∷ a

Instances

Instances details

Show a ⇒ Pretty (PrettyShow a) Source #
Instance details Defined in Prettyprinter.Extras Methods pretty ∷ PrettyShow a → Doc ann Source # prettyList ∷ [PrettyShow a] → Doc ann Source #

class Pretty a where Source #

Overloaded conversion to Doc.

Laws:

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 pretty ∷ Void → Doc ann Source # prettyList ∷ [Void] → Doc ann Source #
Pretty Int16
Instance details Defined in Prettyprinter.Internal Methods pretty ∷ Int16 → Doc ann Source # prettyList ∷ [Int16] → Doc ann Source #
Pretty Int32
Instance details Defined in Prettyprinter.Internal Methods pretty ∷ Int32 → Doc ann Source # prettyList ∷ [Int32] → Doc ann Source #
Pretty Int64
Instance details Defined in Prettyprinter.Internal Methods pretty ∷ Int64 → Doc ann Source # prettyList ∷ [Int64] → Doc ann Source #
Pretty Int8
Instance details Defined in Prettyprinter.Internal Methods pretty ∷ Int8 → Doc ann Source # prettyList ∷ [Int8] → Doc ann Source #
Pretty Word16
Instance details Defined in Prettyprinter.Internal Methods pretty ∷ Word16 → Doc ann Source # prettyList ∷ [Word16] → Doc ann Source #
Pretty Word32
Instance details Defined in Prettyprinter.Internal Methods pretty ∷ Word32 → Doc ann Source # prettyList ∷ [Word32] → Doc ann Source #
Pretty Word64
Instance details Defined in Prettyprinter.Internal Methods pretty ∷ Word64 → Doc ann Source # prettyList ∷ [Word64] → Doc ann Source #
Pretty Word8
Instance details Defined in Prettyprinter.Internal Methods pretty ∷ Word8 → Doc ann Source # prettyList ∷ [Word8] → Doc ann Source #
Pretty DeserialiseFailureInfo
Instance details Defined in Codec.Extras.SerialiseViaFlat Methods pretty ∷ DeserialiseFailureInfo → Doc ann Source # prettyList ∷ [DeserialiseFailureInfo] → Doc ann Source #
Pretty DeserialiseFailureReason
Instance details Defined in Codec.Extras.SerialiseViaFlat Methods pretty ∷ DeserialiseFailureReason → Doc ann Source # prettyList ∷ [DeserialiseFailureReason] → Doc ann Source #
Pretty Ann
Instance details Defined in PlutusCore.Annotation Methods pretty ∷ Ann → Doc ann Source # prettyList ∷ [Ann] → Doc ann Source #
Pretty SrcSpan
Instance details Defined in PlutusCore.Annotation Methods pretty ∷ SrcSpan → Doc ann Source # prettyList ∷ [SrcSpan] → Doc ann Source #
Pretty SrcSpans
Instance details Defined in PlutusCore.Annotation Methods pretty ∷ SrcSpans → Doc ann Source # prettyList ∷ [SrcSpans] → Doc ann Source #
Pretty BuiltinError
Instance details Defined in PlutusCore.Builtin.Result Methods pretty ∷ BuiltinError → Doc ann Source # prettyList ∷ [BuiltinError] → Doc ann Source #
Pretty UnliftingError
Instance details Defined in PlutusCore.Builtin.Result Methods pretty ∷ UnliftingError → Doc ann Source # prettyList ∷ [UnliftingError] → Doc ann Source #
Pretty UnliftingEvaluationError
Instance details Defined in PlutusCore.Builtin.Result Methods pretty ∷ UnliftingEvaluationError → Doc ann Source # prettyList ∷ [UnliftingEvaluationError] → Doc ann Source #
Pretty Element
Instance details Defined in PlutusCore.Crypto.BLS12_381.G1 Methods pretty ∷ Element → Doc ann Source # prettyList ∷ [Element] → Doc ann Source #
Pretty Element
Instance details Defined in PlutusCore.Crypto.BLS12_381.G2 Methods pretty ∷ Element → Doc ann Source # prettyList ∷ [Element] → Doc ann Source #
Pretty MlResult
Instance details Defined in PlutusCore.Crypto.BLS12_381.Pairing Methods pretty ∷ MlResult → Doc ann Source # prettyList ∷ [MlResult] → Doc ann Source #
Pretty Data
Instance details Defined in PlutusCore.Data Methods pretty ∷ Data → Doc ann Source # prettyList ∷ [Data] → Doc ann Source #
Pretty FreeVariableError
Instance details Defined in PlutusCore.DeBruijn.Internal Methods pretty ∷ FreeVariableError → Doc ann Source # prettyList ∷ [FreeVariableError] → Doc ann Source #
Pretty Index
Instance details Defined in PlutusCore.DeBruijn.Internal Methods pretty ∷ Index → Doc ann Source # prettyList ∷ [Index] → Doc ann Source #
Pretty DefaultFun
Instance details Defined in PlutusCore.Default.Builtins Methods pretty ∷ DefaultFun → Doc ann Source # prettyList ∷ [DefaultFun] → Doc ann Source #
Pretty ParserError
Instance details Defined in PlutusCore.Error Methods pretty ∷ ParserError → Doc ann Source # prettyList ∷ [ParserError] → Doc ann Source #
Pretty ParserErrorBundle
Instance details Defined in PlutusCore.Error Methods pretty ∷ ParserErrorBundle → Doc ann Source # prettyList ∷ [ParserErrorBundle] → Doc ann Source #
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 Methods pretty ∷ CostModelApplyError → Doc ann Source # prettyList ∷ [CostModelApplyError] → Doc ann Source #
Pretty CostModelApplyWarn
Instance details Defined in PlutusCore.Evaluation.Machine.CostModelInterface Methods pretty ∷ CostModelApplyWarn → Doc ann Source # prettyList ∷ [CostModelApplyWarn] → Doc ann Source #
Pretty ExBudget
Instance details Defined in PlutusCore.Evaluation.Machine.ExBudget Methods pretty ∷ ExBudget → Doc ann Source # prettyList ∷ [ExBudget] → Doc ann Source #
Pretty ExRestrictingBudget
Instance details Defined in PlutusCore.Evaluation.Machine.ExBudget Methods pretty ∷ ExRestrictingBudget → Doc ann Source # prettyList ∷ [ExRestrictingBudget] → Doc ann Source #
Pretty ExCPU
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods pretty ∷ ExCPU → Doc ann Source # prettyList ∷ [ExCPU] → Doc ann Source #
Pretty ExMemory
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods pretty ∷ ExMemory → Doc ann Source # prettyList ∷ [ExMemory] → Doc ann Source #
Pretty Unique
Instance details Defined in PlutusCore.Name.Unique Methods pretty ∷ Unique → Doc ann Source # prettyList ∷ [Unique] → Doc ann Source #
Pretty Version
Instance details Defined in PlutusCore.Version Methods pretty ∷ Version → Doc ann Source # prettyList ∷ [Version] → Doc ann Source #
Pretty CountingSt
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode Methods pretty ∷ CountingSt → Doc ann Source # prettyList ∷ [CountingSt] → Doc ann Source #
Pretty RestrictingSt
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode Methods pretty ∷ RestrictingSt → Doc ann Source # prettyList ∷ [RestrictingSt] → Doc ann Source #
Pretty CekUserError
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.Internal Methods pretty ∷ CekUserError → Doc ann Source # prettyList ∷ [CekUserError] → Doc ann Source #
Pretty DatatypeComponent
Instance details Defined in PlutusIR.Compiler.Provenance Methods pretty ∷ DatatypeComponent → Doc ann Source # prettyList ∷ [DatatypeComponent] → Doc ann Source #
Pretty GeneratedKind
Instance details Defined in PlutusIR.Compiler.Provenance Methods pretty ∷ GeneratedKind → Doc ann Source # prettyList ∷ [GeneratedKind] → Doc ann Source #
Pretty EvaluationError Source #
Instance details Defined in PlutusLedgerApi.Common.Eval Methods pretty ∷ EvaluationError → Doc ann Source # prettyList ∷ [EvaluationError] → Doc ann Source #
Pretty MajorProtocolVersion Source #
Instance details Defined in PlutusLedgerApi.Common.ProtocolVersions Methods pretty ∷ MajorProtocolVersion → Doc ann Source # prettyList ∷ [MajorProtocolVersion] → Doc ann Source #
Pretty ScriptDecodeError Source #
Instance details Defined in PlutusLedgerApi.Common.SerialisedScript Methods pretty ∷ ScriptDecodeError → Doc ann Source # prettyList ∷ [ScriptDecodeError] → Doc ann Source #
Pretty PlutusLedgerLanguage Source #
Instance details Defined in PlutusLedgerApi.Common.Versions Methods pretty ∷ PlutusLedgerLanguage → Doc ann Source # prettyList ∷ [PlutusLedgerLanguage] → Doc ann Source #
Pretty Address Source #
Instance details Defined in PlutusLedgerApi.V1.Address Methods pretty ∷ Address → Doc ann Source # prettyList ∷ [Address] → Doc ann Source #
Pretty LedgerBytes Source #
Instance details Defined in PlutusLedgerApi.V1.Bytes Methods pretty ∷ LedgerBytes → Doc ann Source # prettyList ∷ [LedgerBytes] → Doc ann Source #
Pretty ScriptContext Source #
Instance details Defined in PlutusLedgerApi.V1.Contexts Methods pretty ∷ ScriptContext → Doc ann Source # prettyList ∷ [ScriptContext] → Doc ann Source #
Pretty ScriptPurpose Source #
Instance details Defined in PlutusLedgerApi.V1.Contexts Methods pretty ∷ ScriptPurpose → Doc ann Source # prettyList ∷ [ScriptPurpose] → Doc ann Source #
Pretty TxInInfo Source #
Instance details Defined in PlutusLedgerApi.V1.Contexts Methods pretty ∷ TxInInfo → Doc ann Source # prettyList ∷ [TxInInfo] → Doc ann Source #
Pretty TxInfo Source #
Instance details Defined in PlutusLedgerApi.V1.Contexts Methods pretty ∷ TxInfo → Doc ann Source # prettyList ∷ [TxInfo] → Doc ann Source #
Pretty Credential Source #
Instance details Defined in PlutusLedgerApi.V1.Credential Methods pretty ∷ Credential → Doc ann Source # prettyList ∷ [Credential] → Doc ann Source #
Pretty StakingCredential Source #
Instance details Defined in PlutusLedgerApi.V1.Credential Methods pretty ∷ StakingCredential → Doc ann Source # prettyList ∷ [StakingCredential] → Doc ann Source #
Pretty PubKeyHash Source #	using hex encoding
Instance details Defined in PlutusLedgerApi.V1.Crypto Methods pretty ∷ PubKeyHash → Doc ann Source # prettyList ∷ [PubKeyHash] → Doc ann Source #
Pretty DCert Source #
Instance details Defined in PlutusLedgerApi.V1.DCert Methods pretty ∷ DCert → Doc ann Source # prettyList ∷ [DCert] → Doc ann Source #
Pretty Address Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Address Methods pretty ∷ Address → Doc ann Source # prettyList ∷ [Address] → Doc ann Source #
Pretty ScriptContext Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Contexts Methods pretty ∷ ScriptContext → Doc ann Source # prettyList ∷ [ScriptContext] → Doc ann Source #
Pretty ScriptPurpose Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Contexts Methods pretty ∷ ScriptPurpose → Doc ann Source # prettyList ∷ [ScriptPurpose] → Doc ann Source #
Pretty TxInInfo Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Contexts Methods pretty ∷ TxInInfo → Doc ann Source # prettyList ∷ [TxInInfo] → Doc ann Source #
Pretty TxInfo Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Contexts Methods pretty ∷ TxInfo → Doc ann Source # prettyList ∷ [TxInfo] → Doc ann Source #
Pretty Credential Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Credential Methods pretty ∷ Credential → Doc ann Source # prettyList ∷ [Credential] → Doc ann Source #
Pretty StakingCredential Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Credential Methods pretty ∷ StakingCredential → Doc ann Source # prettyList ∷ [StakingCredential] → Doc ann Source #
Pretty DCert Source #
Instance details Defined in PlutusLedgerApi.V1.Data.DCert Methods pretty ∷ DCert → Doc ann Source # prettyList ∷ [DCert] → Doc ann Source #
Pretty POSIXTime Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Time Methods pretty ∷ POSIXTime → Doc ann Source # prettyList ∷ [POSIXTime] → Doc ann Source #
Pretty TxId Source #	using hex encoding
Instance details Defined in PlutusLedgerApi.V1.Data.Tx Methods pretty ∷ TxId → Doc ann Source # prettyList ∷ [TxId] → Doc ann Source #
Pretty TxOut Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Tx Methods pretty ∷ TxOut → Doc ann Source # prettyList ∷ [TxOut] → Doc ann Source #
Pretty TxOutRef Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Tx Methods pretty ∷ TxOutRef → Doc ann Source # prettyList ∷ [TxOutRef] → Doc ann Source #
Pretty AssetClass Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value Methods pretty ∷ AssetClass → Doc ann Source # prettyList ∷ [AssetClass] → Doc ann Source #
Pretty CurrencySymbol Source #	using hex encoding
Instance details Defined in PlutusLedgerApi.V1.Data.Value Methods pretty ∷ CurrencySymbol → Doc ann Source # prettyList ∷ [CurrencySymbol] → Doc ann Source #
Pretty Lovelace Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value Methods pretty ∷ Lovelace → Doc ann Source # prettyList ∷ [Lovelace] → Doc ann Source #
Pretty TokenName Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value Methods pretty ∷ TokenName → Doc ann Source # prettyList ∷ [TokenName] → Doc ann Source #
Pretty Value Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Value Methods pretty ∷ Value → Doc ann Source # prettyList ∷ [Value] → Doc ann Source #
Pretty Context Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods pretty ∷ Context → Doc ann Source # prettyList ∷ [Context] → Doc ann Source #
Pretty Datum Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods pretty ∷ Datum → Doc ann Source # prettyList ∷ [Datum] → Doc ann Source #
Pretty DatumHash Source #	using hex encoding
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods pretty ∷ DatumHash → Doc ann Source # prettyList ∷ [DatumHash] → Doc ann Source #
Pretty Redeemer Source #
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods pretty ∷ Redeemer → Doc ann Source # prettyList ∷ [Redeemer] → Doc ann Source #
Pretty RedeemerHash Source #	using hex encoding
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods pretty ∷ RedeemerHash → Doc ann Source # prettyList ∷ [RedeemerHash] → Doc ann Source #
Pretty ScriptHash Source #	using hex encoding
Instance details Defined in PlutusLedgerApi.V1.Scripts Methods pretty ∷ ScriptHash → Doc ann Source # prettyList ∷ [ScriptHash] → Doc ann Source #
Pretty POSIXTime Source #
Instance details Defined in PlutusLedgerApi.V1.Time Methods pretty ∷ POSIXTime → Doc ann Source # prettyList ∷ [POSIXTime] → Doc ann Source #
Pretty TxId Source #	using hex encoding
Instance details Defined in PlutusLedgerApi.V1.Tx Methods pretty ∷ TxId → Doc ann Source # prettyList ∷ [TxId] → Doc ann Source #
Pretty TxOut Source #
Instance details Defined in PlutusLedgerApi.V1.Tx Methods pretty ∷ TxOut → Doc ann Source # prettyList ∷ [TxOut] → Doc ann Source #
Pretty TxOutRef Source #
Instance details Defined in PlutusLedgerApi.V1.Tx Methods pretty ∷ TxOutRef → Doc ann Source # prettyList ∷ [TxOutRef] → Doc ann Source #
Pretty AssetClass Source #
Instance details Defined in PlutusLedgerApi.V1.Value Methods pretty ∷ AssetClass → Doc ann Source # prettyList ∷ [AssetClass] → Doc ann Source #
Pretty CurrencySymbol Source #	using hex encoding
Instance details Defined in PlutusLedgerApi.V1.Value Methods pretty ∷ CurrencySymbol → Doc ann Source # prettyList ∷ [CurrencySymbol] → Doc ann Source #
Pretty Lovelace Source #
Instance details Defined in PlutusLedgerApi.V1.Value Methods pretty ∷ Lovelace → Doc ann Source # prettyList ∷ [Lovelace] → Doc ann Source #
Pretty TokenName Source #
Instance details Defined in PlutusLedgerApi.V1.Value Methods pretty ∷ TokenName → Doc ann Source # prettyList ∷ [TokenName] → Doc ann Source #
Pretty Value Source #
Instance details Defined in PlutusLedgerApi.V1.Value Methods pretty ∷ Value → Doc ann Source # prettyList ∷ [Value] → Doc ann Source #
Pretty ScriptContext Source #
Instance details Defined in PlutusLedgerApi.V2.Contexts Methods pretty ∷ ScriptContext → Doc ann Source # prettyList ∷ [ScriptContext] → Doc ann Source #
Pretty TxInInfo Source #
Instance details Defined in PlutusLedgerApi.V2.Contexts Methods pretty ∷ TxInInfo → Doc ann Source # prettyList ∷ [TxInInfo] → Doc ann Source #
Pretty TxInfo Source #
Instance details Defined in PlutusLedgerApi.V2.Contexts Methods pretty ∷ TxInfo → Doc ann Source # prettyList ∷ [TxInfo] → Doc ann Source #
Pretty ScriptContext Source #
Instance details Defined in PlutusLedgerApi.V2.Data.Contexts Methods pretty ∷ ScriptContext → Doc ann Source # prettyList ∷ [ScriptContext] → Doc ann Source #
Pretty TxInInfo Source #
Instance details Defined in PlutusLedgerApi.V2.Data.Contexts Methods pretty ∷ TxInInfo → Doc ann Source # prettyList ∷ [TxInInfo] → Doc ann Source #
Pretty TxInfo Source #
Instance details Defined in PlutusLedgerApi.V2.Data.Contexts Methods pretty ∷ TxInfo → Doc ann Source # prettyList ∷ [TxInfo] → Doc ann Source #
Pretty OutputDatum Source #
Instance details Defined in PlutusLedgerApi.V2.Data.Tx Methods pretty ∷ OutputDatum → Doc ann Source # prettyList ∷ [OutputDatum] → Doc ann Source #
Pretty TxOut Source #
Instance details Defined in PlutusLedgerApi.V2.Data.Tx Methods pretty ∷ TxOut → Doc ann Source # prettyList ∷ [TxOut] → Doc ann Source #
Pretty OutputDatum Source #
Instance details Defined in PlutusLedgerApi.V2.Tx Methods pretty ∷ OutputDatum → Doc ann Source # prettyList ∷ [OutputDatum] → Doc ann Source #
Pretty TxOut Source #
Instance details Defined in PlutusLedgerApi.V2.Tx Methods pretty ∷ TxOut → Doc ann Source # prettyList ∷ [TxOut] → Doc ann Source #
Pretty ChangedParameters Source #
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods pretty ∷ ChangedParameters → Doc ann Source # prettyList ∷ [ChangedParameters] → Doc ann Source #
Pretty ColdCommitteeCredential Source #
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods pretty ∷ ColdCommitteeCredential → Doc ann Source # prettyList ∷ [ColdCommitteeCredential] → Doc ann Source #
Pretty Committee Source #
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods pretty ∷ Committee → Doc ann Source # prettyList ∷ [Committee] → Doc ann Source #
Pretty Constitution Source #
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods pretty ∷ Constitution → Doc ann Source # prettyList ∷ [Constitution] → Doc ann Source #
Pretty DRep Source #
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods pretty ∷ DRep → Doc ann Source # prettyList ∷ [DRep] → Doc ann Source #
Pretty DRepCredential Source #
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods pretty ∷ DRepCredential → Doc ann Source # prettyList ∷ [DRepCredential] → Doc ann Source #
Pretty Delegatee Source #
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods pretty ∷ Delegatee → Doc ann Source # prettyList ∷ [Delegatee] → Doc ann Source #
Pretty GovernanceAction Source #
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods pretty ∷ GovernanceAction → Doc ann Source # prettyList ∷ [GovernanceAction] → Doc ann Source #
Pretty GovernanceActionId Source #
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods pretty ∷ GovernanceActionId → Doc ann Source # prettyList ∷ [GovernanceActionId] → Doc ann Source #
Pretty HotCommitteeCredential Source #
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods pretty ∷ HotCommitteeCredential → Doc ann Source # prettyList ∷ [HotCommitteeCredential] → Doc ann Source #
Pretty ProposalProcedure Source #
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods pretty ∷ ProposalProcedure → Doc ann Source # prettyList ∷ [ProposalProcedure] → Doc ann Source #
Pretty ProtocolVersion Source #
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods pretty ∷ ProtocolVersion → Doc ann Source # prettyList ∷ [ProtocolVersion] → Doc ann Source #
Pretty ScriptContext Source #
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods pretty ∷ ScriptContext → Doc ann Source # prettyList ∷ [ScriptContext] → Doc ann Source #
Pretty ScriptInfo Source #
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods pretty ∷ ScriptInfo → Doc ann Source # prettyList ∷ [ScriptInfo] → Doc ann Source #
Pretty ScriptPurpose Source #
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods pretty ∷ ScriptPurpose → Doc ann Source # prettyList ∷ [ScriptPurpose] → Doc ann Source #
Pretty TxCert Source #
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods pretty ∷ TxCert → Doc ann Source # prettyList ∷ [TxCert] → Doc ann Source #
Pretty TxInInfo Source #
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods pretty ∷ TxInInfo → Doc ann Source # prettyList ∷ [TxInInfo] → Doc ann Source #
Pretty TxInfo Source #
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods pretty ∷ TxInfo → Doc ann Source # prettyList ∷ [TxInfo] → Doc ann Source #
Pretty Vote Source #
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods pretty ∷ Vote → Doc ann Source # prettyList ∷ [Vote] → Doc ann Source #
Pretty Voter Source #
Instance details Defined in PlutusLedgerApi.V3.Contexts Methods pretty ∷ Voter → Doc ann Source # prettyList ∷ [Voter] → Doc ann Source #
Pretty ChangedParameters Source #
Instance details Defined in PlutusLedgerApi.V3.Data.Contexts Methods pretty ∷ ChangedParameters → Doc ann Source # prettyList ∷ [ChangedParameters] → Doc ann Source #
Pretty ColdCommitteeCredential Source #
Instance details Defined in PlutusLedgerApi.V3.Data.Contexts Methods pretty ∷ ColdCommitteeCredential → Doc ann Source # prettyList ∷ [ColdCommitteeCredential] → Doc ann Source #
Pretty Committee Source #
Instance details Defined in PlutusLedgerApi.V3.Data.Contexts Methods pretty ∷ Committee → Doc ann Source # prettyList ∷ [Committee] → Doc ann Source #
Pretty Constitution Source #
Instance details Defined in PlutusLedgerApi.V3.Data.Contexts Methods pretty ∷ Constitution → Doc ann Source # prettyList ∷ [Constitution] → Doc ann Source #
Pretty DRep Source #
Instance details Defined in PlutusLedgerApi.V3.Data.Contexts Methods pretty ∷ DRep → Doc ann Source # prettyList ∷ [DRep] → Doc ann Source #
Pretty DRepCredential Source #
Instance details Defined in PlutusLedgerApi.V3.Data.Contexts Methods pretty ∷ DRepCredential → Doc ann Source # prettyList ∷ [DRepCredential] → Doc ann Source #
Pretty Delegatee Source #
Instance details Defined in PlutusLedgerApi.V3.Data.Contexts Methods pretty ∷ Delegatee → Doc ann Source # prettyList ∷ [Delegatee] → Doc ann Source #
Pretty GovernanceAction Source #
Instance details Defined in PlutusLedgerApi.V3.Data.Contexts Methods pretty ∷ GovernanceAction → Doc ann Source # prettyList ∷ [GovernanceAction] → Doc ann Source #
Pretty GovernanceActionId Source #
Instance details Defined in PlutusLedgerApi.V3.Data.Contexts Methods pretty ∷ GovernanceActionId → Doc ann Source # prettyList ∷ [GovernanceActionId] → Doc ann Source #
Pretty HotCommitteeCredential Source #
Instance details Defined in PlutusLedgerApi.V3.Data.Contexts Methods pretty ∷ HotCommitteeCredential → Doc ann Source # prettyList ∷ [HotCommitteeCredential] → Doc ann Source #
Pretty ProposalProcedure Source #
Instance details Defined in PlutusLedgerApi.V3.Data.Contexts Methods pretty ∷ ProposalProcedure → Doc ann Source # prettyList ∷ [ProposalProcedure] → Doc ann Source #
Pretty ProtocolVersion Source #
Instance details Defined in PlutusLedgerApi.V3.Data.Contexts Methods pretty ∷ ProtocolVersion → Doc ann Source # prettyList ∷ [ProtocolVersion] → Doc ann Source #
Pretty ScriptContext Source #
Instance details Defined in PlutusLedgerApi.V3.Data.Contexts Methods pretty ∷ ScriptContext → Doc ann Source # prettyList ∷ [ScriptContext] → Doc ann Source #
Pretty ScriptInfo Source #
Instance details Defined in PlutusLedgerApi.V3.Data.Contexts Methods pretty ∷ ScriptInfo → Doc ann Source # prettyList ∷ [ScriptInfo] → Doc ann Source #
Pretty ScriptPurpose Source #
Instance details Defined in PlutusLedgerApi.V3.Data.Contexts Methods pretty ∷ ScriptPurpose → Doc ann Source # prettyList ∷ [ScriptPurpose] → Doc ann Source #
Pretty TxCert Source #
Instance details Defined in PlutusLedgerApi.V3.Data.Contexts Methods pretty ∷ TxCert → Doc ann Source # prettyList ∷ [TxCert] → Doc ann Source #
Pretty TxInInfo Source #
Instance details Defined in PlutusLedgerApi.V3.Data.Contexts Methods pretty ∷ TxInInfo → Doc ann Source # prettyList ∷ [TxInInfo] → Doc ann Source #
Pretty TxInfo Source #
Instance details Defined in PlutusLedgerApi.V3.Data.Contexts Methods pretty ∷ TxInfo → Doc ann Source # prettyList ∷ [TxInfo] → Doc ann Source #
Pretty Vote Source #
Instance details Defined in PlutusLedgerApi.V3.Data.Contexts Methods pretty ∷ Vote → Doc ann Source # prettyList ∷ [Vote] → Doc ann Source #
Pretty Voter Source #
Instance details Defined in PlutusLedgerApi.V3.Data.Contexts Methods pretty ∷ Voter → Doc ann Source # prettyList ∷ [Voter] → Doc ann Source #
Pretty TxId Source #	using hex encoding
Instance details Defined in PlutusLedgerApi.V3.Data.Tx Methods pretty ∷ TxId → Doc ann Source # prettyList ∷ [TxId] → Doc ann Source #
Pretty TxOutRef Source #
Instance details Defined in PlutusLedgerApi.V3.Data.Tx Methods pretty ∷ TxOutRef → Doc ann Source # prettyList ∷ [TxOutRef] → Doc ann Source #
Pretty MintValue Source #
Instance details Defined in PlutusLedgerApi.V3.MintValue Methods pretty ∷ MintValue → Doc ann Source # prettyList ∷ [MintValue] → Doc ann Source #
Pretty TxId Source #	using hex encoding
Instance details Defined in PlutusLedgerApi.V3.Tx Methods pretty ∷ TxId → Doc ann Source # prettyList ∷ [TxId] → Doc ann Source #
Pretty TxOutRef Source #
Instance details Defined in PlutusLedgerApi.V3.Tx Methods pretty ∷ TxOutRef → Doc ann Source # prettyList ∷ [TxOutRef] → Doc ann Source #
Pretty BuiltinByteStringHex
Instance details Defined in PlutusTx.Builtins.HasOpaque Methods pretty ∷ BuiltinByteStringHex → Doc ann Source # prettyList ∷ [BuiltinByteStringHex] → Doc ann Source #
Pretty BuiltinByteStringUtf8
Instance details Defined in PlutusTx.Builtins.HasOpaque Methods pretty ∷ BuiltinByteStringUtf8 → Doc ann Source # prettyList ∷ [BuiltinByteStringUtf8] → Doc ann Source #
Pretty BuiltinBLS12_381_G1_Element
Instance details Defined in PlutusTx.Builtins.Internal Methods pretty ∷ BuiltinBLS12_381_G1_Element → Doc ann Source # prettyList ∷ [BuiltinBLS12_381_G1_Element] → Doc ann Source #
Pretty BuiltinBLS12_381_G2_Element
Instance details Defined in PlutusTx.Builtins.Internal Methods pretty ∷ BuiltinBLS12_381_G2_Element → Doc ann Source # prettyList ∷ [BuiltinBLS12_381_G2_Element] → Doc ann Source #
Pretty BuiltinBLS12_381_MlResult
Instance details Defined in PlutusTx.Builtins.Internal Methods pretty ∷ BuiltinBLS12_381_MlResult → Doc ann Source # prettyList ∷ [BuiltinBLS12_381_MlResult] → Doc ann Source #
Pretty BuiltinByteString
Instance details Defined in PlutusTx.Builtins.Internal Methods pretty ∷ BuiltinByteString → Doc ann Source # prettyList ∷ [BuiltinByteString] → Doc ann Source #
Pretty BuiltinData
Instance details Defined in PlutusTx.Builtins.Internal Methods pretty ∷ BuiltinData → Doc ann Source # prettyList ∷ [BuiltinData] → Doc ann Source #
Pretty CovLoc
Instance details Defined in PlutusTx.Coverage Methods pretty ∷ CovLoc → Doc ann Source # prettyList ∷ [CovLoc] → Doc ann Source #
Pretty CoverageAnnotation
Instance details Defined in PlutusTx.Coverage Methods pretty ∷ CoverageAnnotation → Doc ann Source # prettyList ∷ [CoverageAnnotation] → Doc ann Source #
Pretty CoverageMetadata
Instance details Defined in PlutusTx.Coverage Methods pretty ∷ CoverageMetadata → Doc ann Source # prettyList ∷ [CoverageMetadata] → Doc ann Source #
Pretty CoverageReport
Instance details Defined in PlutusTx.Coverage Methods pretty ∷ CoverageReport → Doc ann Source # prettyList ∷ [CoverageReport] → Doc ann Source #
Pretty Metadata
Instance details Defined in PlutusTx.Coverage Methods pretty ∷ Metadata → Doc ann Source # prettyList ∷ [Metadata] → Doc ann Source #
Pretty LiftError
Instance details Defined in PlutusTx.Lift.TH Methods pretty ∷ LiftError → Doc ann Source # prettyList ∷ [LiftError] → Doc ann Source #
Pretty Rational
Instance details Defined in PlutusTx.Ratio Methods pretty ∷ Rational → Doc 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 pretty ∷ Text → Doc ann Source # prettyList ∷ [Text] → Doc ann Source #
Pretty Text	(lazy `Doc` instance, identical to the strict version)
Instance details Defined in Prettyprinter.Internal Methods pretty ∷ Text → Doc ann Source # prettyList ∷ [Text] → Doc ann Source #
Pretty Integer	`>>>` `pretty (2^123 :: Integer)`10633823966279326983230456482242756608
Instance details Defined in Prettyprinter.Internal Methods pretty ∷ Integer → Doc ann Source # prettyList ∷ [Integer] → Doc ann Source #
Pretty Natural
Instance details Defined in Prettyprinter.Internal Methods pretty ∷ Natural → Doc 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 pretty ∷ Bool → Doc 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 pretty ∷ Char → Doc ann Source # prettyList ∷ [Char] → Doc ann Source #
Pretty Double	`>>>` `pretty (exp 1 :: Double)`2.71828182845904...
Instance details Defined in Prettyprinter.Internal Methods pretty ∷ Double → Doc ann Source # prettyList ∷ [Double] → Doc ann Source #
Pretty Float	`>>>` `pretty (pi :: Float)`3.1415927
Instance details Defined in Prettyprinter.Internal Methods pretty ∷ Float → Doc ann Source # prettyList ∷ [Float] → Doc ann Source #
Pretty Int	`>>>` `pretty (123 :: Int)`123
Instance details Defined in Prettyprinter.Internal Methods pretty ∷ Int → Doc ann Source # prettyList ∷ [Int] → Doc ann Source #
Pretty Word
Instance details Defined in Prettyprinter.Internal Methods pretty ∷ Word → Doc ann Source # prettyList ∷ [Word] → Doc ann Source #
Pretty a ⇒ Pretty (Identity a)	`>>>` `pretty (Identity 1)`1
Instance details Defined in Prettyprinter.Internal Methods pretty ∷ Identity a → Doc ann Source # prettyList ∷ [Identity a] → Doc ann Source #
Pretty a ⇒ Pretty (NonEmpty a)
Instance details Defined in Prettyprinter.Internal Methods pretty ∷ NonEmpty a → Doc ann Source # prettyList ∷ [NonEmpty a] → Doc ann Source #
Pretty a ⇒ Pretty (HeadSpine a)	`>>>` `import Text.Pretty``>>>` `pretty (HeadOnly 'z')`z `>>>` `pretty (HeadSpine 'f' (SpineCons 'x' $ SpineLast 'y'))`f `applyN` [x, y]
Instance details Defined in PlutusCore.Builtin.KnownType Methods pretty ∷ HeadSpine a → Doc ann Source # prettyList ∷ [HeadSpine a] → Doc ann Source #
Pretty a ⇒ Pretty (Spine a)	`>>>` `import Text.Pretty``>>>` `pretty (SpineCons 'a' $ SpineLast 'b')`[a, b]
Instance details Defined in PlutusCore.Builtin.KnownType Methods pretty ∷ Spine a → Doc ann Source # prettyList ∷ [Spine a] → Doc ann Source #
Pretty (BuiltinSemanticsVariant DefaultFun)
Instance details Defined in PlutusCore.Default.Builtins Methods pretty ∷ BuiltinSemanticsVariant DefaultFun → Doc ann Source # prettyList ∷ [BuiltinSemanticsVariant DefaultFun] → Doc ann Source #
Pretty a ⇒ Pretty (Normalized a)
Instance details Defined in PlutusCore.Core.Type Methods pretty ∷ Normalized 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 pretty ∷ DefaultUni a → Doc ann Source # prettyList ∷ [DefaultUni a] → Doc ann Source #
Pretty ann ⇒ Pretty (UniqueError ann)
Instance details Defined in PlutusCore.Error Methods pretty ∷ UniqueError ann → Doc ann0 Source # prettyList ∷ [UniqueError ann] → Doc ann0 Source #
PrettyClassic a ⇒ Pretty (EvaluationResult a)
Instance details Defined in PlutusCore.Evaluation.Result Methods pretty ∷ EvaluationResult a → Doc ann Source # prettyList ∷ [EvaluationResult a] → Doc ann Source #
PrettyReadable a ⇒ Pretty (AsReadable a)
Instance details Defined in PlutusCore.Pretty.Readable Methods pretty ∷ AsReadable a → Doc ann Source # prettyList ∷ [AsReadable a] → Doc ann Source #
Pretty (SomeTypeIn DefaultUni)
Instance details Defined in PlutusCore.Default.Universe Methods pretty ∷ SomeTypeIn DefaultUni → Doc ann Source # prettyList ∷ [SomeTypeIn DefaultUni] → Doc ann Source #
(Show fun, Ord fun) ⇒ Pretty (CekExTally fun)
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode Methods pretty ∷ CekExTally 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 pretty ∷ TallyingSt 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 pretty ∷ ExBudgetCategory fun → Doc ann Source # prettyList ∷ [ExBudgetCategory fun] → Doc ann Source #
Pretty a ⇒ Pretty (Provenance a)
Instance details Defined in PlutusIR.Compiler.Provenance Methods pretty ∷ Provenance a → Doc ann Source # prettyList ∷ [Provenance a] → Doc ann Source #
(Pretty a, ToData a, UnsafeFromData a) ⇒ Pretty (Extended a) Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Interval Methods pretty ∷ Extended a → Doc ann Source # prettyList ∷ [Extended a] → Doc ann Source #
(Pretty a, ToData a, UnsafeFromData a) ⇒ Pretty (Interval a) Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Interval Methods pretty ∷ Interval a → Doc ann Source # prettyList ∷ [Interval a] → Doc ann Source #
(Pretty a, ToData a, UnsafeFromData a) ⇒ Pretty (LowerBound a) Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Interval Methods pretty ∷ LowerBound a → Doc ann Source # prettyList ∷ [LowerBound a] → Doc ann Source #
(Pretty a, ToData a, UnsafeFromData a) ⇒ Pretty (UpperBound a) Source #
Instance details Defined in PlutusLedgerApi.V1.Data.Interval Methods pretty ∷ UpperBound a → Doc ann Source # prettyList ∷ [UpperBound a] → Doc ann Source #
Pretty a ⇒ Pretty (Extended a) Source #
Instance details Defined in PlutusLedgerApi.V1.Interval Methods pretty ∷ Extended a → Doc ann Source # prettyList ∷ [Extended a] → Doc ann Source #
Pretty a ⇒ Pretty (Interval a) Source #
Instance details Defined in PlutusLedgerApi.V1.Interval Methods pretty ∷ Interval a → Doc ann Source # prettyList ∷ [Interval a] → Doc ann Source #
Pretty a ⇒ Pretty (LowerBound a) Source #
Instance details Defined in PlutusLedgerApi.V1.Interval Methods pretty ∷ LowerBound a → Doc ann Source # prettyList ∷ [LowerBound a] → Doc ann Source #
Pretty a ⇒ Pretty (UpperBound a) Source #
Instance details Defined in PlutusLedgerApi.V1.Interval Methods pretty ∷ UpperBound a → Doc ann Source # prettyList ∷ [UpperBound a] → Doc ann Source #
Show a ⇒ Pretty (PrettyShow a) Source #
Instance details Defined in Prettyprinter.Extras Methods pretty ∷ PrettyShow a → Doc ann Source # prettyList ∷ [PrettyShow a] → Doc ann Source #
(UnsafeFromData a, Pretty a) ⇒ Pretty (List a)
Instance details Defined in PlutusTx.Data.List Methods pretty ∷ List a → Doc ann Source # prettyList ∷ [List a] → Doc ann Source #
Pretty a ⇒ Pretty (Maybe a)	Ignore `Nothing`s, 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 pretty ∷ Maybe 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 pretty ∷ EvaluationError 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 pretty ∷ ErrorWithCause 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 pretty ∷ PrettyFoldable 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 pretty ∷ Map 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 pretty ∷ Map 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 pretty ∷ AttachDefaultPrettyConfig 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 pretty ∷ AttachPrettyConfig 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 pretty ∷ Const 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 pretty ∷ Error 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 pretty ∷ Tagged 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 unPrettyFoldable ∷ f a

Instances

Instances details

(Foldable f, Pretty a) ⇒ Pretty (PrettyFoldable f a) Source #
Instance details Defined in Prettyprinter.Extras Methods pretty ∷ PrettyFoldable 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 ∷ Type → Type)
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 (Tagged ∷ Type → Type → Type)
Instance details Defined in Data.Aeson.Types.FromJSON Methods liftParseJSON2 ∷ Maybe a → (Value → Parser a) → (Value → Parser [a]) → Maybe b → (Value → Parser b) → (Value → Parser [b]) → Value → Parser (Tagged a b) liftParseJSONList2 ∷ Maybe a → (Value → Parser a) → (Value → Parser [a]) → Maybe b → (Value → Parser b) → (Value → Parser [b]) → Value → Parser [Tagged a b] liftOmittedField2 ∷ Maybe a → Maybe b → Maybe (Tagged a b)
ToJSON2 (Tagged ∷ Type → Type → Type)
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 (Tagged ∷ Type → Type → Type)
Instance details Defined in Data.Tagged Methods bifold ∷ Monoid m ⇒ Tagged m m → m Source # bifoldMap ∷ Monoid 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 (Tagged ∷ Type → Type → Type)
Instance details Defined in Data.Tagged Methods bifold1 ∷ Semigroup m ⇒ Tagged m m → m Source # bifoldMap1 ∷ Semigroup m ⇒ (a → m) → (b → m) → Tagged a b → m Source #
Bifunctor (Tagged ∷ Type → Type → Type)
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 (Tagged ∷ Type → Type → Type)
Instance details Defined in Data.Tagged Methods bitraverse ∷ Applicative f ⇒ (a → f c) → (b → f d) → Tagged a b → f (Tagged c d) Source #
Eq2 (Tagged ∷ Type → Type → Type)
Instance details Defined in Data.Tagged Methods liftEq2 ∷ (a → b → Bool) → (c → d → Bool) → Tagged a c → Tagged b d → Bool Source #
Ord2 (Tagged ∷ Type → Type → Type)
Instance details Defined in Data.Tagged Methods liftCompare2 ∷ (a → b → Ordering) → (c → d → Ordering) → Tagged a c → Tagged b d → Ordering Source #
Read2 (Tagged ∷ Type → Type → Type)
Instance details Defined in Data.Tagged Methods liftReadsPrec2 ∷ (Int → ReadS a) → ReadS [a] → (Int → ReadS b) → ReadS [b] → Int → ReadS (Tagged a b) Source # liftReadList2 ∷ (Int → ReadS a) → ReadS [a] → (Int → ReadS b) → ReadS [b] → ReadS [Tagged a b] Source # liftReadPrec2 ∷ ReadPrec a → ReadPrec [a] → ReadPrec b → ReadPrec [b] → ReadPrec (Tagged a b) Source # liftReadListPrec2 ∷ ReadPrec a → ReadPrec [a] → ReadPrec b → ReadPrec [b] → ReadPrec [Tagged a b] Source #
Show2 (Tagged ∷ Type → Type → Type)
Instance details Defined in Data.Tagged Methods liftShowsPrec2 ∷ (Int → a → ShowS) → ([a] → ShowS) → (Int → b → ShowS) → ([b] → ShowS) → Int → Tagged a b → ShowS Source # liftShowList2 ∷ (Int → a → ShowS) → ([a] → ShowS) → (Int → b → ShowS) → ([b] → ShowS) → [Tagged a b] → ShowS Source #
Choice (Tagged ∷ Type → Type → Type)
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 (Tagged ∷ Type → Type → Type)
Instance details Defined in Data.Profunctor.Rep Associated Types type Corep Tagged ∷ Type → Type Source # Methods cotabulate ∷ (Corep Tagged d → c) → Tagged d c Source #
Profunctor (Tagged ∷ Type → Type → Type)
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 (Tagged ∷ Type → Type → Type)
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) Source # bisequence1 ∷ Apply 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 index ∷ Tagged t a → Rep (Tagged t) → a
FromJSON1 (Tagged a)
Instance details Defined in Data.Aeson.Types.FromJSON Methods liftParseJSON ∷ Maybe a0 → (Value → Parser a0) → (Value → Parser [a0]) → Value → Parser (Tagged a a0) liftParseJSONList ∷ Maybe a0 → (Value → Parser a0) → (Value → Parser [a0]) → Value → Parser [Tagged a a0] liftOmittedField ∷ Maybe 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 fold ∷ Monoid m ⇒ Tagged s m → m Source # foldMap ∷ Monoid 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 # toList ∷ Tagged s a → [a] Source # null ∷ Tagged s a → Bool Source # length ∷ Tagged s a → Int Source # elem ∷ Eq a ⇒ a → Tagged s a → Bool Source # maximum ∷ Ord a ⇒ Tagged s a → a Source # minimum ∷ Ord a ⇒ Tagged s a → a Source # sum ∷ Num a ⇒ Tagged s a → a Source # product ∷ Num a ⇒ Tagged s a → a Source #
Foldable1 (Tagged a)
Instance details Defined in Data.Tagged Methods fold1 ∷ Semigroup m ⇒ Tagged a m → m Source # foldMap1 ∷ Semigroup m ⇒ (a0 → m) → Tagged a a0 → m Source # foldMap1' ∷ Semigroup m ⇒ (a0 → m) → Tagged a a0 → m Source # toNonEmpty ∷ Tagged a a0 → NonEmpty a0 Source # maximum ∷ Ord a0 ⇒ Tagged a a0 → a0 Source # minimum ∷ Ord a0 ⇒ Tagged a a0 → a0 Source # head ∷ Tagged a a0 → a0 Source # last ∷ Tagged 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 ∷ (Int → ReadS a) → ReadS [a] → Int → ReadS (Tagged s a) Source # liftReadList ∷ (Int → ReadS a) → ReadS [a] → ReadS [Tagged s a] Source # liftReadPrec ∷ ReadPrec a → ReadPrec [a] → ReadPrec (Tagged s a) Source # liftReadListPrec ∷ ReadPrec a → ReadPrec [a] → ReadPrec [Tagged s a] Source #
Show1 (Tagged s)
Instance details Defined in Data.Tagged Methods liftShowsPrec ∷ (Int → a → ShowS) → ([a] → ShowS) → Int → Tagged 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 traverse ∷ Applicative f ⇒ (a → f b) → Tagged s a → f (Tagged s b) Source # sequenceA ∷ Applicative f ⇒ Tagged s (f a) → f (Tagged s a) Source # mapM ∷ Monad m ⇒ (a → m b) → Tagged s a → m (Tagged s b) Source # sequence ∷ Monad 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) Source # sequence1 ∷ Apply 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] omittedField ∷ Maybe (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 toJSON ∷ Tagged a b → Value toEncoding ∷ Tagged a b → Encoding toJSONList ∷ [Tagged a b] → Value toEncodingList ∷ [Tagged a b] → Encoding omitField ∷ Tagged 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 # toConstr ∷ Tagged s b → Constr Source # dataTypeOf ∷ Tagged s b → DataType Source # dataCast1 ∷ Typeable t ⇒ (∀ d. Data d ⇒ c (t d)) → Maybe (c (Tagged s b)) Source # dataCast2 ∷ Typeable 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 # gmapQi ∷ Int → (∀ d. Data d ⇒ d → u) → Tagged s b → u Source # gmapM ∷ Monad m ⇒ (∀ d. Data d ⇒ d → m d) → Tagged s b → m (Tagged s b) Source # gmapMp ∷ MonadPlus m ⇒ (∀ d. Data d ⇒ d → m d) → Tagged s b → m (Tagged s b) Source # gmapMo ∷ MonadPlus 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 fromString ∷ String → Tagged s a Source #
Storable a ⇒ Storable (Tagged s a)
Instance details Defined in Data.Tagged Methods sizeOf ∷ Tagged s a → Int Source # alignment ∷ Tagged s a → Int Source # peekElemOff ∷ Ptr (Tagged s a) → Int → IO (Tagged s a) Source # pokeElemOff ∷ Ptr (Tagged s a) → Int → Tagged s a → IO () Source # peekByteOff ∷ Ptr b → Int → IO (Tagged s a) Source # pokeByteOff ∷ Ptr b → Int → Tagged s a → IO () Source # peek ∷ Ptr (Tagged s a) → IO (Tagged s a) Source # poke ∷ Ptr (Tagged s a) → Tagged s a → IO () Source #
(Semigroup a, Monoid a) ⇒ Monoid (Tagged s a)
Instance details Defined in Data.Tagged Methods mempty ∷ Tagged s a Source # mappend ∷ Tagged 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 # sconcat ∷ NonEmpty (Tagged s a) → Tagged s a Source # stimes ∷ Integral 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 # xor ∷ Tagged s a → Tagged s a → Tagged s a Source # complement ∷ Tagged s a → Tagged s a Source # shift ∷ Tagged s a → Int → Tagged s a Source # rotate ∷ Tagged s a → Int → Tagged s a Source # zeroBits ∷ Tagged s a Source # bit ∷ Int → Tagged s a Source # setBit ∷ Tagged s a → Int → Tagged s a Source # clearBit ∷ Tagged s a → Int → Tagged s a Source # complementBit ∷ Tagged s a → Int → Tagged s a Source # testBit ∷ Tagged s a → Int → Bool Source # bitSizeMaybe ∷ Tagged s a → Maybe Int Source # bitSize ∷ Tagged s a → Int Source # isSigned ∷ Tagged s a → Bool Source # shiftL ∷ Tagged s a → Int → Tagged s a Source # unsafeShiftL ∷ Tagged s a → Int → Tagged s a Source # shiftR ∷ Tagged s a → Int → Tagged s a Source # unsafeShiftR ∷ Tagged s a → Int → Tagged s a Source # rotateL ∷ Tagged s a → Int → Tagged s a Source # rotateR ∷ Tagged s a → Int → Tagged s a Source # popCount ∷ Tagged s a → Int Source #
FiniteBits a ⇒ FiniteBits (Tagged s a)
Instance details Defined in Data.Tagged Methods finiteBitSize ∷ Tagged s a → Int Source # countLeadingZeros ∷ Tagged s a → Int Source # countTrailingZeros ∷ Tagged s a → Int Source #
Bounded b ⇒ Bounded (Tagged s b)
Instance details Defined in Data.Tagged Methods minBound ∷ Tagged s b Source # maxBound ∷ Tagged s b Source #
Enum a ⇒ Enum (Tagged s a)
Instance details Defined in Data.Tagged Methods succ ∷ Tagged s a → Tagged s a Source # pred ∷ Tagged s a → Tagged s a Source # toEnum ∷ Int → Tagged s a Source # fromEnum ∷ Tagged s a → Int Source # enumFrom ∷ Tagged s a → [Tagged s a] Source # enumFromThen ∷ Tagged s a → Tagged s a → [Tagged s a] Source # enumFromTo ∷ Tagged s a → Tagged s a → [Tagged s a] Source # enumFromThenTo ∷ Tagged 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 pi ∷ Tagged s a Source # exp ∷ Tagged s a → Tagged s a Source # log ∷ Tagged s a → Tagged s a Source # sqrt ∷ Tagged s a → Tagged s a Source # (**) ∷ Tagged s a → Tagged s a → Tagged s a Source # logBase ∷ Tagged s a → Tagged s a → Tagged s a Source # sin ∷ Tagged s a → Tagged s a Source # cos ∷ Tagged s a → Tagged s a Source # tan ∷ Tagged s a → Tagged s a Source # asin ∷ Tagged s a → Tagged s a Source # acos ∷ Tagged s a → Tagged s a Source # atan ∷ Tagged s a → Tagged s a Source # sinh ∷ Tagged s a → Tagged s a Source # cosh ∷ Tagged s a → Tagged s a Source # tanh ∷ Tagged s a → Tagged s a Source # asinh ∷ Tagged s a → Tagged s a Source # acosh ∷ Tagged s a → Tagged s a Source # atanh ∷ Tagged s a → Tagged s a Source # log1p ∷ Tagged s a → Tagged s a Source # expm1 ∷ Tagged s a → Tagged s a Source # log1pexp ∷ Tagged s a → Tagged s a Source # log1mexp ∷ Tagged s a → Tagged s a Source #
RealFloat a ⇒ RealFloat (Tagged s a)
Instance details Defined in Data.Tagged Methods floatRadix ∷ Tagged s a → Integer Source # floatDigits ∷ Tagged s a → Int Source # floatRange ∷ Tagged s a → (Int, Int) Source # decodeFloat ∷ Tagged s a → (Integer, Int) Source # encodeFloat ∷ Integer → Int → Tagged s a Source # exponent ∷ Tagged s a → Int Source # significand ∷ Tagged s a → Tagged s a Source # scaleFloat ∷ Int → Tagged s a → Tagged s a Source # isNaN ∷ Tagged s a → Bool Source # isInfinite ∷ Tagged s a → Bool Source # isDenormalized ∷ Tagged s a → Bool Source # isNegativeZero ∷ Tagged s a → Bool Source # isIEEE ∷ Tagged s a → Bool Source # atan2 ∷ Tagged 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) ∷ Type → Type Source # Methods from ∷ Tagged s b → Rep (Tagged s b) x Source # to ∷ Rep (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 # negate ∷ Tagged s a → Tagged s a Source # abs ∷ Tagged s a → Tagged s a Source # signum ∷ Tagged s a → Tagged s a Source # fromInteger ∷ Integer → Tagged s a Source #
Read b ⇒ Read (Tagged s b)
Instance details Defined in Data.Tagged Methods readsPrec ∷ Int → ReadS (Tagged s b) Source # readList ∷ ReadS [Tagged s b] Source # readPrec ∷ ReadPrec (Tagged s b) Source # readListPrec ∷ ReadPrec [Tagged s b] Source #
Fractional a ⇒ Fractional (Tagged s a)
Instance details Defined in Data.Tagged Methods (/) ∷ Tagged s a → Tagged s a → Tagged s a Source # recip ∷ Tagged s a → Tagged s a Source # fromRational ∷ Rational → Tagged s a Source #
Integral a ⇒ Integral (Tagged s a)
Instance details Defined in Data.Tagged Methods quot ∷ Tagged s a → Tagged s a → Tagged s a Source # rem ∷ Tagged s a → Tagged s a → Tagged s a Source # div ∷ Tagged s a → Tagged s a → Tagged s a Source # mod ∷ Tagged s a → Tagged s a → Tagged s a Source # quotRem ∷ Tagged s a → Tagged s a → (Tagged s a, Tagged s a) Source # divMod ∷ Tagged s a → Tagged s a → (Tagged s a, Tagged s a) Source # toInteger ∷ Tagged s a → Integer Source #
Real a ⇒ Real (Tagged s a)
Instance details Defined in Data.Tagged Methods toRational ∷ Tagged s a → Rational Source #
RealFrac a ⇒ RealFrac (Tagged s a)
Instance details Defined in Data.Tagged Methods properFraction ∷ Integral b ⇒ Tagged s a → (b, Tagged s a) Source # truncate ∷ Integral b ⇒ Tagged s a → b Source # round ∷ Integral b ⇒ Tagged s a → b Source # ceiling ∷ Integral b ⇒ Tagged s a → b Source # floor ∷ Integral b ⇒ Tagged s a → b Source #
Show b ⇒ Show (Tagged s b)
Instance details Defined in Data.Tagged Methods showsPrec ∷ Int → Tagged s b → ShowS Source # show ∷ Tagged s b → String Source # showList ∷ [Tagged s b] → ShowS Source #
NFData b ⇒ NFData (Tagged s b)
Instance details Defined in Data.Tagged Methods rnf ∷ Tagged 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 compare ∷ Tagged 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 # max ∷ Tagged s b → Tagged s b → Tagged s b Source # min ∷ Tagged 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 pretty ∷ Tagged 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 ∷ Type → Type)
Instance details Defined in Data.Tagged type Rep1 (Tagged s ∷ Type → Type) = 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 (Tagged ∷ Type → Type → Type)
Instance details Defined in Data.Profunctor.Rep type Corep (Tagged ∷ Type → Type → Type) = Proxy ∷ Type → Type
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 pretty ∷ Tagged a b → Doc ann Source # prettyList ∷ [Tagged a b] → Doc ann Source #