Safe Haskell	None
Language	Haskell2010

Prettyprinter.Extras

Contents

Orphan instances

Description

Copied from plutus-ledger-api because not exported

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 # 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 Bool
Instance details Defined in Prettyprinter.Internal Methods pretty :: Bool -> Doc ann # prettyList :: [Bool] -> Doc ann #
Pretty Char
Instance details Defined in Prettyprinter.Internal Methods pretty :: Char -> Doc ann # prettyList :: [Char] -> Doc ann #
Pretty Double
Instance details Defined in Prettyprinter.Internal Methods pretty :: Double -> Doc ann # prettyList :: [Double] -> Doc ann #
Pretty Float
Instance details Defined in Prettyprinter.Internal Methods pretty :: Float -> Doc ann # prettyList :: [Float] -> Doc ann #
Pretty Int
Instance details Defined in Prettyprinter.Internal Methods pretty :: Int -> Doc ann # prettyList :: [Int] -> Doc ann #
Pretty Int8
Instance details Defined in Prettyprinter.Internal Methods pretty :: Int8 -> Doc ann # prettyList :: [Int8] -> Doc ann #
Pretty Int16
Instance details Defined in Prettyprinter.Internal Methods pretty :: Int16 -> Doc ann # prettyList :: [Int16] -> Doc ann #
Pretty Int32
Instance details Defined in Prettyprinter.Internal Methods pretty :: Int32 -> Doc ann # prettyList :: [Int32] -> Doc ann #
Pretty Int64
Instance details Defined in Prettyprinter.Internal Methods pretty :: Int64 -> Doc ann # prettyList :: [Int64] -> Doc ann #
Pretty Integer
Instance details Defined in Prettyprinter.Internal Methods pretty :: Integer -> Doc ann # prettyList :: [Integer] -> Doc ann #
Pretty Natural
Instance details Defined in Prettyprinter.Internal Methods pretty :: Natural -> Doc ann # prettyList :: [Natural] -> Doc ann #
Pretty Word
Instance details Defined in Prettyprinter.Internal Methods pretty :: Word -> Doc ann # prettyList :: [Word] -> Doc ann #
Pretty Word8
Instance details Defined in Prettyprinter.Internal Methods pretty :: Word8 -> Doc ann # prettyList :: [Word8] -> Doc ann #
Pretty Word16
Instance details Defined in Prettyprinter.Internal Methods pretty :: Word16 -> Doc ann # prettyList :: [Word16] -> Doc ann #
Pretty Word32
Instance details Defined in Prettyprinter.Internal Methods pretty :: Word32 -> Doc ann # prettyList :: [Word32] -> Doc ann #
Pretty Word64
Instance details Defined in Prettyprinter.Internal Methods pretty :: Word64 -> Doc ann # prettyList :: [Word64] -> Doc ann #
Pretty ()
Instance details Defined in Prettyprinter.Internal Methods pretty :: () -> Doc ann # prettyList :: [()] -> Doc ann #
Pretty Void
Instance details Defined in Prettyprinter.Internal Methods pretty :: Void -> Doc ann # prettyList :: [Void] -> 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 BuiltinByteString
Instance details Defined in PlutusTx.Builtins.Internal Methods pretty :: BuiltinByteString -> Doc ann # prettyList :: [BuiltinByteString] -> Doc ann #
Pretty BuiltinData
Instance details Defined in PlutusTx.Builtins.Internal Methods pretty :: BuiltinData -> Doc ann # prettyList :: [BuiltinData] -> Doc ann #
Pretty Data
Instance details Defined in PlutusCore.Data Methods pretty :: Data -> Doc ann # prettyList :: [Data] -> Doc ann #
Pretty Unique
Instance details Defined in PlutusCore.Name Methods pretty :: Unique -> Doc ann # prettyList :: [Unique] -> Doc ann #
Pretty Index
Instance details Defined in PlutusCore.DeBruijn.Internal Methods pretty :: Index -> Doc ann # prettyList :: [Index] -> Doc ann #
Pretty ParseError
Instance details Defined in PlutusCore.Error Methods pretty :: ParseError -> Doc ann # prettyList :: [ParseError] -> Doc ann #
Pretty DefaultFun
Instance details Defined in PlutusCore.Default.Builtins Methods pretty :: DefaultFun -> Doc ann # prettyList :: [DefaultFun] -> Doc ann #
Pretty FreeVariableError
Instance details Defined in PlutusCore.DeBruijn.Internal Methods pretty :: FreeVariableError -> Doc ann # prettyList :: [FreeVariableError] -> Doc ann #
Pretty ExMemory
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods pretty :: ExMemory -> Doc ann # prettyList :: [ExMemory] -> Doc ann #
Pretty ExBudget
Instance details Defined in PlutusCore.Evaluation.Machine.ExBudget Methods pretty :: ExBudget -> Doc ann # prettyList :: [ExBudget] -> Doc ann #
Pretty CkUserError
Instance details Defined in PlutusCore.Evaluation.Machine.Ck Methods pretty :: CkUserError -> Doc ann # prettyList :: [CkUserError] -> Doc ann #
Pretty UnliftingError
Instance details Defined in PlutusCore.Evaluation.Machine.Exception Methods pretty :: UnliftingError -> Doc ann # prettyList :: [UnliftingError] -> Doc ann #
Pretty ExRestrictingBudget
Instance details Defined in PlutusCore.Evaluation.Machine.ExBudget Methods pretty :: ExRestrictingBudget -> Doc ann # prettyList :: [ExRestrictingBudget] -> Doc ann #
Pretty ExCPU
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods pretty :: ExCPU -> Doc ann # prettyList :: [ExCPU] -> Doc ann #
Pretty CekUserError
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.Internal Methods pretty :: CekUserError -> Doc ann # prettyList :: [CekUserError] -> Doc ann #
Pretty CovLoc
Instance details Defined in PlutusTx.Coverage Methods pretty :: CovLoc -> Doc ann # prettyList :: [CovLoc] -> Doc ann #
Pretty CoverageAnnotation
Instance details Defined in PlutusTx.Coverage Methods pretty :: CoverageAnnotation -> Doc ann # prettyList :: [CoverageAnnotation] -> Doc ann #
Pretty CoverageMetadata
Instance details Defined in PlutusTx.Coverage Methods pretty :: CoverageMetadata -> Doc ann # prettyList :: [CoverageMetadata] -> Doc ann #
Pretty CoverageReport
Instance details Defined in PlutusTx.Coverage Methods pretty :: CoverageReport -> Doc ann # prettyList :: [CoverageReport] -> Doc ann #
Pretty Metadata
Instance details Defined in PlutusTx.Coverage Methods pretty :: Metadata -> Doc ann # prettyList :: [Metadata] -> Doc ann #
Pretty ScriptContext
Instance details Defined in Plutus.V1.Ledger.Contexts Methods pretty :: ScriptContext -> Doc ann # prettyList :: [ScriptContext] -> Doc ann #
Pretty ScriptPurpose
Instance details Defined in Plutus.V1.Ledger.Contexts Methods pretty :: ScriptPurpose -> Doc ann # prettyList :: [ScriptPurpose] -> Doc ann #
Pretty TxInInfo
Instance details Defined in Plutus.V1.Ledger.Contexts Methods pretty :: TxInInfo -> Doc ann # prettyList :: [TxInInfo] -> Doc ann #
Pretty TxInfo
Instance details Defined in Plutus.V1.Ledger.Contexts Methods pretty :: TxInfo -> Doc ann # prettyList :: [TxInfo] -> Doc ann #
Pretty TxId
Instance details Defined in Plutus.V1.Ledger.Tx Methods pretty :: TxId -> Doc ann # prettyList :: [TxId] -> Doc ann #
Pretty TxOut
Instance details Defined in Plutus.V1.Ledger.Tx Methods pretty :: TxOut -> Doc ann # prettyList :: [TxOut] -> Doc ann #
Pretty TxOutRef
Instance details Defined in Plutus.V1.Ledger.Tx Methods pretty :: TxOutRef -> Doc ann # prettyList :: [TxOutRef] -> Doc ann #
Pretty DCert
Instance details Defined in Plutus.V1.Ledger.DCert Methods pretty :: DCert -> Doc ann # prettyList :: [DCert] -> Doc ann #
Pretty StakingCredential
Instance details Defined in Plutus.V1.Ledger.Credential Methods pretty :: StakingCredential -> Doc ann # prettyList :: [StakingCredential] -> Doc ann #
Pretty POSIXTime
Instance details Defined in Plutus.V1.Ledger.Time Methods pretty :: POSIXTime -> Doc ann # prettyList :: [POSIXTime] -> Doc ann #
Pretty PubKeyHash
Instance details Defined in Plutus.V1.Ledger.Crypto Methods pretty :: PubKeyHash -> Doc ann # prettyList :: [PubKeyHash] -> Doc ann #
Pretty DatumHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods pretty :: DatumHash -> Doc ann # prettyList :: [DatumHash] -> Doc ann #
Pretty Datum
Instance details Defined in Plutus.V1.Ledger.Scripts Methods pretty :: Datum -> Doc ann # prettyList :: [Datum] -> Doc ann #
Pretty CurrencySymbol
Instance details Defined in Plutus.V1.Ledger.Value Methods pretty :: CurrencySymbol -> Doc ann # prettyList :: [CurrencySymbol] -> Doc ann #
Pretty TokenName
Instance details Defined in Plutus.V1.Ledger.Value Methods pretty :: TokenName -> Doc ann # prettyList :: [TokenName] -> Doc ann #
Pretty Value
Instance details Defined in Plutus.V1.Ledger.Value Methods pretty :: Value -> Doc ann # prettyList :: [Value] -> Doc ann #
Pretty ValidatorHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods pretty :: ValidatorHash -> Doc ann # prettyList :: [ValidatorHash] -> Doc ann #
Pretty AssetClass
Instance details Defined in Plutus.V1.Ledger.Value Methods pretty :: AssetClass -> Doc ann # prettyList :: [AssetClass] -> Doc ann #
Pretty MintingPolicyHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods pretty :: MintingPolicyHash -> Doc ann # prettyList :: [MintingPolicyHash] -> Doc ann #
Pretty TxIn
Instance details Defined in Plutus.V1.Ledger.Tx Methods pretty :: TxIn -> Doc ann # prettyList :: [TxIn] -> Doc ann #
Pretty Validator
Instance details Defined in Plutus.V1.Ledger.Scripts Methods pretty :: Validator -> Doc ann # prettyList :: [Validator] -> Doc ann #
Pretty Redeemer
Instance details Defined in Plutus.V1.Ledger.Scripts Methods pretty :: Redeemer -> Doc ann # prettyList :: [Redeemer] -> Doc ann #
Pretty Address
Instance details Defined in Plutus.V1.Ledger.Address Methods pretty :: Address -> Doc ann # prettyList :: [Address] -> Doc ann #
Pretty Credential
Instance details Defined in Plutus.V1.Ledger.Credential Methods pretty :: Credential -> Doc ann # prettyList :: [Credential] -> Doc ann #
Pretty LedgerBytes
Instance details Defined in Plutus.V1.Ledger.Bytes Methods pretty :: LedgerBytes -> Doc ann # prettyList :: [LedgerBytes] -> Doc ann #
Pretty Context
Instance details Defined in Plutus.V1.Ledger.Scripts Methods pretty :: Context -> Doc ann # prettyList :: [Context] -> Doc ann #
Pretty MintingPolicy
Instance details Defined in Plutus.V1.Ledger.Scripts Methods pretty :: MintingPolicy -> Doc ann # prettyList :: [MintingPolicy] -> Doc ann #
Pretty RedeemerHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods pretty :: RedeemerHash -> Doc ann # prettyList :: [RedeemerHash] -> Doc ann #
Pretty ScriptHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods pretty :: ScriptHash -> Doc ann # prettyList :: [ScriptHash] -> Doc ann #
Pretty StakeValidator
Instance details Defined in Plutus.V1.Ledger.Scripts Methods pretty :: StakeValidator -> Doc ann # prettyList :: [StakeValidator] -> Doc ann #
Pretty StakeValidatorHash
Instance details Defined in Plutus.V1.Ledger.Scripts Methods pretty :: StakeValidatorHash -> Doc ann # prettyList :: [StakeValidatorHash] -> Doc ann #
Pretty CountingSt
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode Methods pretty :: CountingSt -> Doc ann # prettyList :: [CountingSt] -> Doc ann #
Pretty RestrictingSt
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode Methods pretty :: RestrictingSt -> Doc ann # prettyList :: [RestrictingSt] -> Doc ann #
Pretty TxId Source #
Instance details Defined in Ledger.Tx.Orphans Methods pretty :: TxId -> Doc ann # prettyList :: [TxId] -> Doc ann #
Pretty TxIn Source #
Instance details Defined in Ledger.Tx.Orphans Methods pretty :: TxIn -> Doc ann # prettyList :: [TxIn] -> Doc ann #
Pretty AssetId Source #
Instance details Defined in Ledger.Value.Orphans Methods pretty :: AssetId -> Doc ann # prettyList :: [AssetId] -> Doc ann #
Pretty Lovelace Source #
Instance details Defined in Ledger.Value.Orphans Methods pretty :: Lovelace -> Doc ann # prettyList :: [Lovelace] -> Doc ann #
Pretty Value Source #
Instance details Defined in Ledger.Value.Orphans Methods pretty :: Value -> Doc ann # prettyList :: [Value] -> Doc ann #
Pretty CostModelApplyError
Instance details Defined in PlutusCore.Evaluation.Machine.CostModelInterface Methods pretty :: CostModelApplyError -> Doc ann # prettyList :: [CostModelApplyError] -> Doc ann #
Pretty EvaluationError
Instance details Defined in Plutus.ApiCommon Methods pretty :: EvaluationError -> Doc ann # prettyList :: [EvaluationError] -> Doc ann #
Pretty TxInfo
Instance details Defined in Plutus.V2.Ledger.Contexts Methods pretty :: TxInfo -> Doc ann # prettyList :: [TxInfo] -> Doc ann #
Pretty ProtocolVersion
Instance details Defined in Plutus.ApiCommon Methods pretty :: ProtocolVersion -> Doc ann # prettyList :: [ProtocolVersion] -> Doc ann #
Pretty ScriptContext
Instance details Defined in Plutus.V2.Ledger.Contexts Methods pretty :: ScriptContext -> Doc ann # prettyList :: [ScriptContext] -> Doc ann #
Pretty TxInInfo
Instance details Defined in Plutus.V2.Ledger.Contexts Methods pretty :: TxInInfo -> Doc ann # prettyList :: [TxInInfo] -> Doc ann #
Pretty TxOut
Instance details Defined in Plutus.V2.Ledger.Tx Methods pretty :: TxOut -> Doc ann # prettyList :: [TxOut] -> Doc ann #
Pretty OutputDatum
Instance details Defined in Plutus.V2.Ledger.Tx Methods pretty :: OutputDatum -> Doc ann # prettyList :: [OutputDatum] -> Doc ann #
Pretty Slot Source #
Instance details Defined in Ledger.Slot Methods pretty :: Slot -> Doc ann # prettyList :: [Slot] -> Doc ann #
Pretty LiftError
Instance details Defined in PlutusTx.Lift.Class Methods pretty :: LiftError -> Doc ann # prettyList :: [LiftError] -> Doc ann #
Pretty ConnectionError
Instance details Defined in Plutus.Script.Utils.V1.Typed.Scripts.Validators Methods pretty :: ConnectionError -> Doc ann # prettyList :: [ConnectionError] -> Doc ann #
Pretty Signature Source #
Instance details Defined in Ledger.Crypto Methods pretty :: Signature -> Doc ann # prettyList :: [Signature] -> Doc ann #
Pretty PubKey Source #
Instance details Defined in Ledger.Crypto Methods pretty :: PubKey -> Doc ann # prettyList :: [PubKey] -> Doc ann #
Pretty PrivateKey Source #
Instance details Defined in Ledger.Crypto Methods pretty :: PrivateKey -> Doc ann # prettyList :: [PrivateKey] -> Doc ann #
Pretty PaymentPubKey Source #
Instance details Defined in Ledger.Address Methods pretty :: PaymentPubKey -> Doc ann # prettyList :: [PaymentPubKey] -> Doc ann #
Pretty PaymentPubKeyHash Source #
Instance details Defined in Ledger.Address Methods pretty :: PaymentPubKeyHash -> Doc ann # prettyList :: [PaymentPubKeyHash] -> Doc ann #
Pretty StakePubKey Source #
Instance details Defined in Ledger.Address Methods pretty :: StakePubKey -> Doc ann # prettyList :: [StakePubKey] -> Doc ann #
Pretty StakePubKeyHash Source #
Instance details Defined in Ledger.Address Methods pretty :: StakePubKeyHash -> Doc ann # prettyList :: [StakePubKeyHash] -> Doc ann #
Pretty Ada
Instance details Defined in Plutus.Script.Utils.Ada Methods pretty :: Ada -> Doc ann # prettyList :: [Ada] -> Doc ann #
Pretty ToCardanoError Source #
Instance details Defined in Ledger.Tx.CardanoAPI.Internal Methods pretty :: ToCardanoError -> Doc ann # prettyList :: [ToCardanoError] -> Doc ann #
Pretty FromCardanoError Source #
Instance details Defined in Ledger.Tx.CardanoAPI.Internal Methods pretty :: FromCardanoError -> Doc ann # prettyList :: [FromCardanoError] -> Doc ann #
Pretty CardanoTx Source #
Instance details Defined in Ledger.Tx Methods pretty :: CardanoTx -> Doc ann # prettyList :: [CardanoTx] -> Doc ann #
Pretty CardanoBuildTx Source #
Instance details Defined in Ledger.Tx Methods pretty :: CardanoBuildTx -> Doc ann # prettyList :: [CardanoBuildTx] -> Doc ann #
Pretty TxOut Source #
Instance details Defined in Ledger.Tx.Internal Methods pretty :: TxOut -> Doc ann # prettyList :: [TxOut] -> Doc ann #
Pretty Certificate Source #
Instance details Defined in Ledger.Tx.Internal Methods pretty :: Certificate -> Doc ann # prettyList :: [Certificate] -> Doc ann #
Pretty Withdrawal Source #
Instance details Defined in Ledger.Tx.Internal Methods pretty :: Withdrawal -> Doc ann # prettyList :: [Withdrawal] -> Doc ann #
Pretty ValidationError Source #
Instance details Defined in Ledger.Index.Internal Methods pretty :: ValidationError -> Doc ann # prettyList :: [ValidationError] -> Doc ann #
Pretty ValidationResult Source #
Instance details Defined in Ledger.Index.Internal Methods pretty :: ValidationResult -> Doc ann # prettyList :: [ValidationResult] -> Doc ann #
Pretty ValidationPhase Source #
Instance details Defined in Ledger.Index.Internal Methods pretty :: ValidationPhase -> Doc ann # prettyList :: [ValidationPhase] -> Doc ann #
Pretty DecoratedTxOut Source #
Instance details Defined in Ledger.Tx Methods pretty :: DecoratedTxOut -> Doc ann # prettyList :: [DecoratedTxOut] -> Doc ann #
Pretty BlockId Source #
Instance details Defined in Ledger.Blockchain Methods pretty :: BlockId -> Doc ann # prettyList :: [BlockId] -> Doc ann #
Pretty a => Pretty [a]
Instance details Defined in Prettyprinter.Internal Methods pretty :: [a] -> Doc ann # prettyList :: [[a]] -> Doc ann #
Pretty a => Pretty (Maybe a)
Instance details Defined in Prettyprinter.Internal Methods pretty :: Maybe a -> Doc ann # prettyList :: [Maybe a] -> Doc ann #
Pretty a => Pretty (Identity a)
Instance details Defined in Prettyprinter.Internal Methods pretty :: Identity a -> Doc ann # prettyList :: [Identity a] -> Doc ann #
Pretty a => Pretty (NonEmpty a)
Instance details Defined in Prettyprinter.Internal Methods pretty :: NonEmpty a -> Doc ann # prettyList :: [NonEmpty a] -> Doc ann #
Pretty a => Pretty (Normalized a)
Instance details Defined in PlutusCore.Core.Type Methods pretty :: Normalized a -> Doc ann # prettyList :: [Normalized a] -> Doc ann #
Pretty ann => Pretty (UniqueError ann)
Instance details Defined in PlutusCore.Error Methods pretty :: UniqueError ann -> Doc ann0 # prettyList :: [UniqueError ann] -> Doc ann0 #
PrettyClassic a => Pretty (EvaluationResult a)
Instance details Defined in PlutusCore.Evaluation.Result Methods pretty :: EvaluationResult a -> Doc ann # prettyList :: [EvaluationResult a] -> Doc ann #
Show fun => Pretty (ExBudgetCategory fun)
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.Internal Methods pretty :: ExBudgetCategory fun -> Doc ann # prettyList :: [ExBudgetCategory fun] -> Doc ann #
Pretty a => Pretty (Interval a)
Instance details Defined in Plutus.V1.Ledger.Interval Methods pretty :: Interval a -> Doc ann # prettyList :: [Interval a] -> Doc ann #
Show a => Pretty (PrettyShow a)
Instance details Defined in Prettyprinter.Extras Methods pretty :: PrettyShow a -> Doc ann # prettyList :: [PrettyShow a] -> Doc ann #
(Show fun, Ord fun) => Pretty (TallyingSt fun)
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode Methods pretty :: TallyingSt fun -> Doc ann # prettyList :: [TallyingSt fun] -> Doc ann #
(Show fun, Ord fun) => Pretty (CekExTally fun)
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode Methods pretty :: CekExTally fun -> Doc ann # prettyList :: [CekExTally fun] -> Doc ann #
Pretty script => Pretty (Versioned script)
Instance details Defined in Plutus.Script.Utils.Scripts Methods pretty :: Versioned script -> Doc ann # prettyList :: [Versioned script] -> Doc ann #
Pretty a => Pretty (Extended a)
Instance details Defined in Plutus.V1.Ledger.Interval Methods pretty :: Extended a -> Doc ann # prettyList :: [Extended a] -> Doc ann #
Pretty a => Pretty (LowerBound a)
Instance details Defined in Plutus.V1.Ledger.Interval Methods pretty :: LowerBound a -> Doc ann # prettyList :: [LowerBound a] -> Doc ann #
Pretty a => Pretty (UpperBound a)
Instance details Defined in Plutus.V1.Ledger.Interval Methods pretty :: UpperBound a -> Doc ann # prettyList :: [UpperBound a] -> Doc ann #
Show a => Pretty (PrettyShow a) Source #
Instance details Defined in Prettyprinter.Extras Methods pretty :: PrettyShow a -> Doc ann # prettyList :: [PrettyShow a] -> Doc ann #
(Pretty a1, Pretty a2) => Pretty (a1, a2)
Instance details Defined in Prettyprinter.Internal Methods pretty :: (a1, a2) -> Doc ann # prettyList :: [(a1, a2)] -> Doc ann #
(Pretty err, Pretty cause) => Pretty (ErrorWithCause err cause)
Instance details Defined in PlutusCore.Evaluation.Machine.Exception Methods pretty :: ErrorWithCause err cause -> Doc ann # prettyList :: [ErrorWithCause err cause] -> Doc ann #
Pretty val => Pretty (Opaque val rep)
Instance details Defined in PlutusCore.Builtin.Polymorphism Methods pretty :: Opaque val rep -> Doc ann # prettyList :: [Opaque val rep] -> Doc ann #
DefaultPrettyBy config a => Pretty (AttachDefaultPrettyConfig config a)
Instance details Defined in Text.PrettyBy.Internal Methods pretty :: AttachDefaultPrettyConfig config a -> Doc ann # prettyList :: [AttachDefaultPrettyConfig config a] -> Doc ann #
PrettyBy config a => Pretty (AttachPrettyConfig config a)
Instance details Defined in Text.PrettyBy.Internal Methods pretty :: AttachPrettyConfig config a -> Doc ann # prettyList :: [AttachPrettyConfig config a] -> Doc ann #
(Pretty k, Pretty v) => Pretty (Map k v)
Instance details Defined in PlutusTx.AssocMap Methods pretty :: Map k v -> Doc ann # prettyList :: [Map k v] -> Doc ann #
(Foldable f, Pretty a) => Pretty (PrettyFoldable f a)
Instance details Defined in Prettyprinter.Extras Methods pretty :: PrettyFoldable f a -> Doc ann # prettyList :: [PrettyFoldable f a] -> Doc ann #
Pretty (TxOutDatum ctx era) => Pretty (TxOut ctx era) Source #
Instance details Defined in Ledger.Tx.Orphans Methods pretty :: TxOut ctx era -> Doc ann # prettyList :: [TxOut ctx era] -> Doc ann #
Pretty (TxOutDatum CtxTx era) Source #
Instance details Defined in Ledger.Tx.Orphans Methods pretty :: TxOutDatum CtxTx era -> Doc ann # prettyList :: [TxOutDatum CtxTx era] -> Doc ann #
Pretty (TxOutDatum CtxUTxO era) Source #
Instance details Defined in Ledger.Tx.Orphans Methods pretty :: TxOutDatum CtxUTxO era -> Doc ann # prettyList :: [TxOutDatum CtxUTxO era] -> Doc ann #
(Foldable f, Pretty a) => Pretty (PrettyFoldable f a) Source #
Instance details Defined in Prettyprinter.Extras Methods pretty :: PrettyFoldable f a -> Doc ann # prettyList :: [PrettyFoldable f a] -> Doc ann #
(Pretty 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 #
Pretty a => Pretty (Const a b)
Instance details Defined in Prettyprinter.Internal Methods pretty :: Const a b -> Doc ann # prettyList :: [Const a b] -> Doc ann #
(KnownSymbol a, Pretty b) => Pretty (Tagged a b) Source #
Instance details Defined in Prettyprinter.Extras Methods pretty :: Tagged a b -> Doc ann # prettyList :: [Tagged a b] -> Doc ann #
(Pretty ann, Pretty fun, GShow uni, Closed uni, Everywhere uni PrettyConst) => Pretty (Error uni fun ann)
Instance details Defined in PlutusIR.Error Methods pretty :: Error uni fun ann -> Doc ann0 # prettyList :: [Error uni fun ann] -> Doc ann0 #

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 # prettyList :: [PrettyFoldable f a] -> Doc ann #

newtype Tagged (s :: k) b #

Constructors

Tagged b

Instances

Instances details

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 #
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 #
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 #
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 #
Biapplicative (Tagged :: Type -> Type -> Type)
Instance details Defined in Data.Biapplicative Methods bipure :: a -> b -> Tagged a b (<<>>) :: Tagged (a -> b) (c -> d) -> Tagged a c -> Tagged b d biliftA2 :: (a -> b -> c) -> (d -> e -> f) -> Tagged a d -> Tagged b e -> Tagged c f (>>) :: Tagged a b -> Tagged c d -> Tagged c d (<<*) :: Tagged a b -> Tagged c d -> Tagged a b
FromJSON2 (Tagged :: Type -> Type -> Type)
Instance details Defined in Data.Aeson.Types.FromJSON Methods liftParseJSON2 :: (Value -> Parser a) -> (Value -> Parser [a]) -> (Value -> Parser b) -> (Value -> Parser [b]) -> Value -> Parser (Tagged a b) liftParseJSONList2 :: (Value -> Parser a) -> (Value -> Parser [a]) -> (Value -> Parser b) -> (Value -> Parser [b]) -> Value -> Parser [Tagged a b]
ToJSON2 (Tagged :: Type -> Type -> Type)
Instance details Defined in Data.Aeson.Types.ToJSON Methods liftToJSON2 :: (a -> Value) -> ([a] -> Value) -> (b -> Value) -> ([b] -> Value) -> Tagged a b -> Value liftToJSONList2 :: (a -> Value) -> ([a] -> Value) -> (b -> Value) -> ([b] -> Value) -> [Tagged a b] -> Value liftToEncoding2 :: (a -> Encoding) -> ([a] -> Encoding) -> (b -> Encoding) -> ([b] -> Encoding) -> Tagged a b -> Encoding liftToEncodingList2 :: (a -> Encoding) -> ([a] -> Encoding) -> (b -> Encoding) -> ([b] -> Encoding) -> [Tagged a b] -> Encoding
Choice (Tagged :: Type -> Type -> Type)
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)
Profunctor (Tagged :: Type -> Type -> Type)
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 (#.) :: forall a b c q. Coercible c b => q b c -> Tagged a b -> Tagged a c (.#) :: forall a b c q. Coercible b a => Tagged b c -> q a b -> Tagged a c
Corepresentable (Tagged :: Type -> Type -> Type)
Instance details Defined in Data.Profunctor.Rep Associated Types type Corep Tagged :: Type -> Type Methods cotabulate :: (Corep Tagged d -> c) -> Tagged d c
Costrong (Tagged :: Type -> Type -> Type)
Instance details Defined in Data.Profunctor.Strong Methods unfirst :: Tagged (a, d) (b, d) -> Tagged a b unsecond :: Tagged (d, a) (d, b) -> Tagged a b
Biapply (Tagged :: Type -> Type -> Type)
Instance details Defined in Data.Functor.Bind.Class Methods (<<.>>) :: Tagged (a -> b) (c -> d) -> Tagged a c -> Tagged b d (.>>) :: Tagged a b -> Tagged c d -> Tagged c d (<<.) :: Tagged a b -> Tagged c d -> Tagged a b
Semigroupoid (Tagged :: Type -> Type -> Type)
Instance details Defined in Data.Semigroupoid Methods o :: forall (j :: k) (k1 :: k) (i :: k). Tagged j k1 -> Tagged i j -> Tagged i k1
Generic1 (Tagged s :: Type -> Type)
Instance details Defined in Data.Tagged Associated Types type Rep1 (Tagged s) :: k -> Type Source # Methods from1 :: forall (a :: k). Tagged s a -> Rep1 (Tagged s) a Source # to1 :: forall (a :: k). Rep1 (Tagged s) a -> 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 #
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 #
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 #
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 #
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 #
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 #
Comonad (Tagged s)
Instance details Defined in Control.Comonad Methods extract :: Tagged s a -> a duplicate :: Tagged s a -> Tagged s (Tagged s a) extend :: (Tagged s a -> b) -> Tagged s a -> Tagged s b
FromJSON1 (Tagged a)
Instance details Defined in Data.Aeson.Types.FromJSON Methods liftParseJSON :: (Value -> Parser a0) -> (Value -> Parser [a0]) -> Value -> Parser (Tagged a a0) liftParseJSONList :: (Value -> Parser a0) -> (Value -> Parser [a0]) -> Value -> Parser [Tagged a a0]
ToJSON1 (Tagged a)
Instance details Defined in Data.Aeson.Types.ToJSON Methods liftToJSON :: (a0 -> Value) -> ([a0] -> Value) -> Tagged a a0 -> Value liftToJSONList :: (a0 -> Value) -> ([a0] -> Value) -> [Tagged a a0] -> Value liftToEncoding :: (a0 -> Encoding) -> ([a0] -> Encoding) -> Tagged a a0 -> Encoding liftToEncodingList :: (a0 -> Encoding) -> ([a0] -> Encoding) -> [Tagged a a0] -> Encoding
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
Apply (Tagged a)
Instance details Defined in Data.Functor.Bind.Class Methods (<.>) :: Tagged a (a0 -> b) -> Tagged a a0 -> Tagged a b (.>) :: Tagged a a0 -> Tagged a b -> Tagged a b (<.) :: Tagged a a0 -> Tagged a b -> Tagged a a0 liftF2 :: (a0 -> b -> c) -> Tagged a a0 -> Tagged a b -> Tagged a c
Bind (Tagged a)
Instance details Defined in Data.Functor.Bind.Class Methods (>>-) :: Tagged a a0 -> (a0 -> Tagged a b) -> Tagged a b join :: Tagged a (Tagged a a0) -> Tagged a a0
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 #
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 #
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 #
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 #
(Data s, Data b) => Data (Tagged s b)
Instance details Defined in Data.Tagged Methods gfoldl :: (forall d b0. Data d => c (d -> b0) -> d -> c b0) -> (forall g. g -> c g) -> Tagged s b -> c (Tagged s b) Source # gunfold :: (forall b0 r. Data b0 => c (b0 -> r) -> c r) -> (forall 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 => (forall d. Data d => c (t d)) -> Maybe (c (Tagged s b)) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Tagged s b)) Source # gmapT :: (forall b0. Data b0 => b0 -> b0) -> Tagged s b -> Tagged s b Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Tagged s b -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Tagged s b -> r Source # gmapQ :: (forall d. Data d => d -> u) -> Tagged s b -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> Tagged s b -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Tagged s b -> m (Tagged s b) Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Tagged s b -> m (Tagged s b) Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Tagged s b -> m (Tagged s b) 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 #
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 #
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 #
Real a => Real (Tagged s a)
Instance details Defined in Data.Tagged Methods toRational :: Tagged s a -> Rational 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 #
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 #
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 #
IsString a => IsString (Tagged s a)
Instance details Defined in Data.Tagged Methods fromString :: String -> 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 #
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 #
(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 #
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 #
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 #
NFData b => NFData (Tagged s b)
Instance details Defined in Data.Tagged Methods rnf :: Tagged s 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]
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
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]
(KnownSymbol a, Pretty b) => Pretty (Tagged a b) Source #
Instance details Defined in Prettyprinter.Extras Methods pretty :: Tagged a b -> Doc ann # prettyList :: [Tagged a b] -> Doc ann #
(Typeable s, FromCBOR a) => FromCBOR (Tagged s a)
Instance details Defined in Cardano.Binary.FromCBOR Methods fromCBOR :: Decoder s0 (Tagged s a) label :: Proxy (Tagged s a) -> Text
(Typeable s, ToCBOR a) => ToCBOR (Tagged s a)
Instance details Defined in Cardano.Binary.ToCBOR Methods toCBOR :: Tagged s a -> Encoding encodedSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy (Tagged s a) -> Size encodedListSizeExpr :: (forall t. ToCBOR t => Proxy t -> Size) -> Proxy [Tagged s a] -> Size
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))
FromHttpApiData a => FromHttpApiData (Tagged b a)
Instance details Defined in Web.Internal.HttpApiData Methods parseUrlPiece :: Text -> Either Text (Tagged b a) parseHeader :: ByteString -> Either Text (Tagged b a) parseQueryParam :: Text -> Either Text (Tagged b a)
ToHttpApiData a => ToHttpApiData (Tagged b a)
Instance details Defined in Web.Internal.HttpApiData Methods toUrlPiece :: Tagged b a -> Text toEncodedUrlPiece :: Tagged b a -> Builder toHeader :: Tagged b a -> ByteString toQueryParam :: Tagged b a -> Text
FromFormKey a => FromFormKey (Tagged b a)
Instance details Defined in Web.Internal.FormUrlEncoded Methods parseFormKey :: Text -> Either Text (Tagged b a)
ToFormKey a => ToFormKey (Tagged b a)
Instance details Defined in Web.Internal.FormUrlEncoded Methods toFormKey :: Tagged b a -> Text
t ~ Tagged s' a' => Rewrapped (Tagged s a) t
Instance details Defined in Control.Lens.Wrapped
type Corep (Tagged :: Type -> Type -> Type)
Instance details Defined in Data.Profunctor.Rep type Corep (Tagged :: Type -> Type -> Type) = Proxy :: Type -> Type
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.7-Hh8SrsJ8Ofo2TZerdJ0cCc" 'True) (C1 ('MetaCons "Tagged" 'PrefixI 'True) (S1 ('MetaSel ('Just "unTagged") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) Par1))
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.7-Hh8SrsJ8Ofo2TZerdJ0cCc" '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 # prettyList :: [Tagged a b] -> Doc ann #