Pretty Void
Instance details Defined in Prettyprinter.Internal Methods pretty :: Void -> Doc ann # prettyList :: [Void] -> Doc ann #
Pretty Int16
Instance details Defined in Prettyprinter.Internal Methods pretty :: Int16 -> Doc ann # prettyList :: [Int16] -> Doc ann #
Pretty Int32
Instance details Defined in Prettyprinter.Internal Methods pretty :: Int32 -> Doc ann # prettyList :: [Int32] -> Doc ann #
Pretty Int64
Instance details Defined in Prettyprinter.Internal Methods pretty :: Int64 -> Doc ann # prettyList :: [Int64] -> Doc ann #
Pretty Int8
Instance details Defined in Prettyprinter.Internal Methods pretty :: Int8 -> Doc ann # prettyList :: [Int8] -> Doc ann #
Pretty Word16
Instance details Defined in Prettyprinter.Internal Methods pretty :: Word16 -> Doc ann # prettyList :: [Word16] -> Doc ann #
Pretty Word32
Instance details Defined in Prettyprinter.Internal Methods pretty :: Word32 -> Doc ann # prettyList :: [Word32] -> Doc ann #
Pretty Word64
Instance details Defined in Prettyprinter.Internal Methods pretty :: Word64 -> Doc ann # prettyList :: [Word64] -> Doc ann #
Pretty Word8
Instance details Defined in Prettyprinter.Internal Methods pretty :: Word8 -> Doc ann # prettyList :: [Word8] -> Doc ann #
Pretty SourcePos Source #
Instance details Defined in PlutusCore.Error Methods pretty :: SourcePos -> Doc ann # prettyList :: [SourcePos] -> Doc ann #
Pretty DeserialiseFailureInfo Source #
Instance details Defined in Codec.Extras.SerialiseViaFlat Methods pretty :: DeserialiseFailureInfo -> Doc ann # prettyList :: [DeserialiseFailureInfo] -> Doc ann #
Pretty DeserialiseFailureReason Source #
Instance details Defined in Codec.Extras.SerialiseViaFlat Methods pretty :: DeserialiseFailureReason -> Doc ann # prettyList :: [DeserialiseFailureReason] -> Doc ann #
Pretty Ann Source #
Instance details Defined in PlutusCore.Annotation Methods pretty :: Ann -> Doc ann # prettyList :: [Ann] -> Doc ann #
Pretty SrcSpan Source #
Instance details Defined in PlutusCore.Annotation Methods pretty :: SrcSpan -> Doc ann # prettyList :: [SrcSpan] -> Doc ann #
Pretty SrcSpans Source #
Instance details Defined in PlutusCore.Annotation Methods pretty :: SrcSpans -> Doc ann # prettyList :: [SrcSpans] -> Doc ann #
Pretty Param Source #
Instance details Defined in PlutusCore.Arity Methods pretty :: Param -> Doc ann # prettyList :: [Param] -> Doc ann #
Pretty AstSize Source #
Instance details Defined in PlutusCore.AstSize Methods pretty :: AstSize -> Doc ann # prettyList :: [AstSize] -> Doc ann #
Pretty BuiltinError Source #
Instance details Defined in PlutusCore.Builtin.Result Methods pretty :: BuiltinError -> Doc ann # prettyList :: [BuiltinError] -> Doc ann #
Pretty UnliftingError Source #
Instance details Defined in PlutusCore.Builtin.Result Methods pretty :: UnliftingError -> Doc ann # prettyList :: [UnliftingError] -> Doc ann #
Pretty UnliftingEvaluationError Source #
Instance details Defined in PlutusCore.Builtin.Result Methods pretty :: UnliftingEvaluationError -> Doc ann # prettyList :: [UnliftingEvaluationError] -> Doc ann #
Pretty NameAnn Source #
Instance details Defined in PlutusCore.Check.Scoping Methods pretty :: NameAnn -> Doc ann # prettyList :: [NameAnn] -> Doc ann #
Pretty ScopeError Source #
Instance details Defined in PlutusCore.Check.Scoping Methods pretty :: ScopeError -> Doc ann # prettyList :: [ScopeError] -> Doc ann #
Pretty Element Source #
Instance details Defined in PlutusCore.Crypto.BLS12_381.G1 Methods pretty :: Element -> Doc ann # prettyList :: [Element] -> Doc ann #
Pretty Element Source #
Instance details Defined in PlutusCore.Crypto.BLS12_381.G2 Methods pretty :: Element -> Doc ann # prettyList :: [Element] -> Doc ann #
Pretty MlResult Source #
Instance details Defined in PlutusCore.Crypto.BLS12_381.Pairing Methods pretty :: MlResult -> Doc ann # prettyList :: [MlResult] -> Doc ann #
Pretty Data Source #
Instance details Defined in PlutusCore.Data Methods pretty :: Data -> Doc ann # prettyList :: [Data] -> Doc ann #
Pretty FreeVariableError Source #
Instance details Defined in PlutusCore.DeBruijn.Internal Methods pretty :: FreeVariableError -> Doc ann # prettyList :: [FreeVariableError] -> Doc ann #
Pretty Index Source #
Instance details Defined in PlutusCore.DeBruijn.Internal Methods pretty :: Index -> Doc ann # prettyList :: [Index] -> Doc ann #
Pretty DefaultFun Source #
Instance details Defined in PlutusCore.Default.Builtins Methods pretty :: DefaultFun -> Doc ann # prettyList :: [DefaultFun] -> Doc ann #
Pretty ParserError Source #
Instance details Defined in PlutusCore.Error Methods pretty :: ParserError -> Doc ann # prettyList :: [ParserError] -> Doc ann #
Pretty ParserErrorBundle Source #
Instance details Defined in PlutusCore.Error Methods pretty :: ParserErrorBundle -> Doc ann # prettyList :: [ParserErrorBundle] -> Doc ann #
Pretty CostModelApplyError Source #
Instance details Defined in PlutusCore.Evaluation.Machine.CostModelInterface Methods pretty :: CostModelApplyError -> Doc ann # prettyList :: [CostModelApplyError] -> Doc ann #
Pretty CostModelApplyWarn Source #
Instance details Defined in PlutusCore.Evaluation.Machine.CostModelInterface Methods pretty :: CostModelApplyWarn -> Doc ann # prettyList :: [CostModelApplyWarn] -> Doc ann #
Pretty ExBudget Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExBudget Methods pretty :: ExBudget -> Doc ann # prettyList :: [ExBudget] -> Doc ann #
Pretty ExRestrictingBudget Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExBudget Methods pretty :: ExRestrictingBudget -> Doc ann # prettyList :: [ExRestrictingBudget] -> Doc ann #
Pretty ExCPU Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods pretty :: ExCPU -> Doc ann # prettyList :: [ExCPU] -> Doc ann #
Pretty ExMemory Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods pretty :: ExMemory -> Doc ann # prettyList :: [ExMemory] -> Doc ann #
Pretty ExtensionFun Source #
Instance details Defined in PlutusCore.Examples.Builtins Methods pretty :: ExtensionFun -> Doc ann # prettyList :: [ExtensionFun] -> Doc ann #
Pretty Name Source #
Instance details Defined in PlutusCore.Core.Instance.Pretty.Default Methods pretty :: Name -> Doc ann # prettyList :: [Name] -> Doc ann #
Pretty TyName Source #
Instance details Defined in PlutusCore.Core.Instance.Pretty.Default Methods pretty :: TyName -> Doc ann # prettyList :: [TyName] -> Doc ann #
Pretty Unique Source #
Instance details Defined in PlutusCore.Name.Unique Methods pretty :: Unique -> Doc ann # prettyList :: [Unique] -> Doc ann #
Pretty Quantity Source #
Instance details Defined in PlutusCore.Value Methods pretty :: Quantity -> Doc ann # prettyList :: [Quantity] -> Doc ann #
Pretty Value Source #
Instance details Defined in PlutusCore.Value Methods pretty :: Value -> Doc ann # prettyList :: [Value] -> Doc ann #
Pretty Version Source #
Instance details Defined in PlutusCore.Version Methods pretty :: Version -> Doc ann # prettyList :: [Version] -> Doc ann #
Pretty CountingSt Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode Methods pretty :: CountingSt -> Doc ann # prettyList :: [CountingSt] -> Doc ann #
Pretty RestrictingSt Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode Methods pretty :: RestrictingSt -> Doc ann # prettyList :: [RestrictingSt] -> Doc ann #
Pretty CekUserError Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.Internal Methods pretty :: CekUserError -> Doc ann # prettyList :: [CekUserError] -> Doc ann #
Pretty Purity Source #
Instance details Defined in UntypedPlutusCore.Purity Methods pretty :: Purity -> Doc ann # prettyList :: [Purity] -> Doc ann #
Pretty WorkFreedom Source #
Instance details Defined in UntypedPlutusCore.Purity Methods pretty :: WorkFreedom -> Doc ann # prettyList :: [WorkFreedom] -> Doc ann #
Pretty CseWhichSubterms Source #
Instance details Defined in UntypedPlutusCore.Transform.Cse Methods pretty :: CseWhichSubterms -> Doc ann # prettyList :: [CseWhichSubterms] -> Doc ann #
Pretty Text
Instance details Defined in Prettyprinter.Internal Methods pretty :: Text -> Doc ann # prettyList :: [Text] -> Doc ann #
Pretty Text
Instance details Defined in Prettyprinter.Internal Methods pretty :: Text -> Doc ann # prettyList :: [Text] -> Doc ann #
Pretty Integer
Instance details Defined in Prettyprinter.Internal Methods pretty :: Integer -> Doc ann # prettyList :: [Integer] -> Doc ann #
Pretty Natural
Instance details Defined in Prettyprinter.Internal Methods pretty :: Natural -> Doc ann # prettyList :: [Natural] -> Doc ann #
Pretty ()
Instance details Defined in Prettyprinter.Internal Methods pretty :: () -> Doc ann # prettyList :: [()] -> Doc ann #
Pretty Bool
Instance details Defined in Prettyprinter.Internal Methods pretty :: Bool -> Doc ann # prettyList :: [Bool] -> Doc ann #
Pretty Char
Instance details Defined in Prettyprinter.Internal Methods pretty :: Char -> Doc ann # prettyList :: [Char] -> Doc ann #
Pretty Double
Instance details Defined in Prettyprinter.Internal Methods pretty :: Double -> Doc ann # prettyList :: [Double] -> Doc ann #
Pretty Float
Instance details Defined in Prettyprinter.Internal Methods pretty :: Float -> Doc ann # prettyList :: [Float] -> Doc ann #
Pretty Int
Instance details Defined in Prettyprinter.Internal Methods pretty :: Int -> Doc ann # prettyList :: [Int] -> Doc ann #
Pretty Word
Instance details Defined in Prettyprinter.Internal Methods pretty :: Word -> Doc ann # prettyList :: [Word] -> Doc ann #
Pretty 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 (Spine a) Source #	`>>>` `import Text.Pretty``>>>` `pretty (SpineCons 'a' $ SpineLast 'b')`[a, b]
Instance details Defined in PlutusCore.Builtin.KnownType Methods pretty :: Spine a -> Doc ann # prettyList :: [Spine a] -> Doc ann #
Pretty (BuiltinSemanticsVariant DefaultFun) Source #
Instance details Defined in PlutusCore.Default.Builtins Methods pretty :: BuiltinSemanticsVariant DefaultFun -> Doc ann # prettyList :: [BuiltinSemanticsVariant DefaultFun] -> Doc ann #
Pretty ann => Pretty (Kind ann) Source #
Instance details Defined in PlutusCore.Core.Instance.Pretty.Default Methods pretty :: Kind ann -> Doc ann0 # prettyList :: [Kind ann] -> Doc ann0 #
Pretty a => Pretty (Normalized a) Source #
Instance details Defined in PlutusCore.Core.Type Methods pretty :: Normalized a -> Doc ann # prettyList :: [Normalized a] -> Doc ann #
Pretty (DefaultUni a) Source #	This always pretty-prints parens around type applications (e.g. `(list bool)`) and doesn't pretty-print them otherwise (e.g. `integer`).
Instance details Defined in PlutusCore.Default.Universe Methods pretty :: DefaultUni a -> Doc ann # prettyList :: [DefaultUni a] -> Doc ann #
Pretty ann => Pretty (UniqueError ann) Source #
Instance details Defined in PlutusCore.Error Methods pretty :: UniqueError ann -> Doc ann0 # prettyList :: [UniqueError ann] -> Doc ann0 #
PrettyClassic a => Pretty (EvaluationResult a) Source #
Instance details Defined in PlutusCore.Evaluation.Result Methods pretty :: EvaluationResult a -> Doc ann # prettyList :: [EvaluationResult a] -> Doc ann #
PrettyReadable a => Pretty (AsReadable a) Source #
Instance details Defined in PlutusCore.Pretty.Readable Methods pretty :: AsReadable a -> Doc ann # prettyList :: [AsReadable a] -> Doc ann #
Pretty (SomeTypeIn DefaultUni) Source #
Instance details Defined in PlutusCore.Default.Universe Methods pretty :: SomeTypeIn DefaultUni -> Doc ann # prettyList :: [SomeTypeIn DefaultUni] -> Doc ann #
Pretty (SomeTypeIn uni) => Pretty (SomeTypeIn (Kinded uni)) Source #
Instance details Defined in PlutusCore.Pretty.PrettyConst Methods pretty :: SomeTypeIn (Kinded uni) -> Doc ann # prettyList :: [SomeTypeIn (Kinded uni)] -> Doc ann #
(Show fun, Ord fun) => Pretty (CekExTally fun) Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode Methods pretty :: CekExTally fun -> Doc ann # prettyList :: [CekExTally fun] -> Doc ann #
(Show fun, Ord fun) => Pretty (TallyingSt fun) Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode Methods pretty :: TallyingSt fun -> Doc ann # prettyList :: [TallyingSt fun] -> Doc ann #
Show fun => Pretty (ExBudgetCategory fun) Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.Internal Methods pretty :: ExBudgetCategory fun -> Doc ann # prettyList :: [ExBudgetCategory fun] -> Doc ann #
Pretty a => Pretty (Maybe a)
Instance details Defined in Prettyprinter.Internal Methods pretty :: Maybe a -> Doc ann # prettyList :: [Maybe a] -> Doc ann #
Pretty a => Pretty [a]
Instance details Defined in Prettyprinter.Internal Methods pretty :: [a] -> Doc ann # prettyList :: [[a]] -> Doc ann #
(Pretty a, Pretty b) => Pretty (Either a b) Source #
Instance details Defined in PlutusPrelude Methods pretty :: Either a b -> Doc ann # prettyList :: [Either a b] -> Doc ann #
(Pretty structural, Pretty operational) => Pretty (EvaluationError structural operational) Source #
Instance details Defined in PlutusCore.Evaluation.Error Methods pretty :: EvaluationError structural operational -> Doc ann # prettyList :: [EvaluationError structural operational] -> Doc ann #
(Pretty err, Pretty cause) => Pretty (ErrorWithCause err cause) Source #
Instance details Defined in PlutusCore.Evaluation.ErrorWithCause Methods pretty :: ErrorWithCause err cause -> Doc ann # prettyList :: [ErrorWithCause err cause] -> Doc ann #
(Closed uni, Everywhere uni PrettyConst) => Pretty (ValueOf uni a) Source #
Instance details Defined in PlutusCore.Pretty.PrettyConst Methods pretty :: ValueOf uni a -> Doc ann # prettyList :: [ValueOf uni a] -> Doc ann #
DefaultPrettyBy config a => Pretty (AttachDefaultPrettyConfig config a)
Instance details Defined in Text.PrettyBy.Internal Methods pretty :: AttachDefaultPrettyConfig config a -> Doc ann # prettyList :: [AttachDefaultPrettyConfig config a] -> Doc ann #
PrettyBy config a => Pretty (AttachPrettyConfig config a)
Instance details Defined in Text.PrettyBy.Internal Methods pretty :: AttachPrettyConfig config a -> Doc ann # prettyList :: [AttachPrettyConfig config a] -> Doc ann #
(Closed uni, Everywhere uni PrettyConst) => Pretty (Some (ValueOf uni)) Source #
Instance details Defined in PlutusCore.Pretty.PrettyConst Methods pretty :: Some (ValueOf uni) -> Doc ann # prettyList :: [Some (ValueOf uni)] -> Doc ann #
(Pretty a1, Pretty a2) => Pretty (a1, a2)
Instance details Defined in Prettyprinter.Internal Methods pretty :: (a1, a2) -> Doc ann # prettyList :: [(a1, a2)] -> Doc ann #
Pretty a => Pretty (Const a b)
Instance details Defined in Prettyprinter.Internal Methods pretty :: Const a b -> Doc ann # prettyList :: [Const a b] -> Doc ann #
(Pretty err, Pretty a, Pretty b) => Pretty (HeadSpine err a b) Source #	`>>>` `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 err a b -> Doc ann # prettyList :: [HeadSpine err a b] -> Doc ann #
(PrettyClassic tyname, PrettyParens (SomeTypeIn uni), Pretty ann) => Pretty (Type tyname uni ann) Source #
Instance details Defined in PlutusCore.Core.Instance.Pretty.Default Methods pretty :: Type tyname uni ann -> Doc ann0 # prettyList :: [Type tyname uni ann] -> Doc ann0 #
Pretty (CekState uni fun ann) Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.SteppableCek.Internal Methods pretty :: CekState uni fun ann -> Doc ann0 # prettyList :: [CekState uni fun ann] -> Doc ann0 #
(Pretty a1, Pretty a2, Pretty a3) => Pretty (a1, a2, a3)
Instance details Defined in Prettyprinter.Internal Methods pretty :: (a1, a2, a3) -> Doc ann # prettyList :: [(a1, a2, a3)] -> Doc ann #
(PrettyClassic name, PrettyUni uni, Pretty fun, Pretty ann) => Pretty (Program name uni fun ann) Source #
Instance details Defined in UntypedPlutusCore.Core.Instance.Pretty.Default Methods pretty :: Program name uni fun ann -> Doc ann0 # prettyList :: [Program name uni fun ann] -> Doc ann0 #
(PrettyClassic name, PrettyUni uni, Pretty fun, Pretty ann) => Pretty (Term name uni fun ann) Source #
Instance details Defined in UntypedPlutusCore.Core.Instance.Pretty.Default Methods pretty :: Term name uni fun ann -> Doc ann0 # prettyList :: [Term name uni fun ann] -> Doc ann0 #
(PrettyClassic tyname, PrettyClassic name, PrettyUni uni, Pretty fun, Pretty ann) => Pretty (Program tyname name uni fun ann) Source #
Instance details Defined in PlutusCore.Core.Instance.Pretty.Default Methods pretty :: Program tyname name uni fun ann -> Doc ann0 # prettyList :: [Program tyname name uni fun ann] -> Doc ann0 #
(PrettyClassic tyname, PrettyClassic name, PrettyUni uni, Pretty fun, Pretty ann) => Pretty (Term tyname name uni fun ann) Source #
Instance details Defined in PlutusCore.Core.Instance.Pretty.Default Methods pretty :: Term tyname name uni fun ann -> Doc ann0 # prettyList :: [Term tyname name uni fun ann] -> Doc ann0 #

class PrettyBy config a where #

Minimal complete definition

Nothing

Methods

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

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

Instances

Instances details

PrettyBy PrettyConfigPlc DefaultFun Source #
Instance details Defined in PlutusCore.Default.Builtins Methods prettyBy :: PrettyConfigPlc -> DefaultFun -> Doc ann # prettyListBy :: PrettyConfigPlc -> [DefaultFun] -> Doc ann #
PrettyBy ConstConfig ByteString Source #
Instance details Defined in PlutusCore.Pretty.PrettyConst Methods prettyBy :: ConstConfig -> ByteString -> Doc ann # prettyListBy :: ConstConfig -> [ByteString] -> Doc ann #
PrettyBy ConstConfig Element Source #
Instance details Defined in PlutusCore.Crypto.BLS12_381.G1 Methods prettyBy :: ConstConfig -> Element -> Doc ann # prettyListBy :: ConstConfig -> [Element] -> Doc ann #
PrettyBy ConstConfig Element Source #
Instance details Defined in PlutusCore.Crypto.BLS12_381.G2 Methods prettyBy :: ConstConfig -> Element -> Doc ann # prettyListBy :: ConstConfig -> [Element] -> Doc ann #
PrettyBy ConstConfig MlResult Source #
Instance details Defined in PlutusCore.Crypto.BLS12_381.Pairing Methods prettyBy :: ConstConfig -> MlResult -> Doc ann # prettyListBy :: ConstConfig -> [MlResult] -> Doc ann #
PrettyBy ConstConfig Data Source #
Instance details Defined in PlutusCore.Pretty.PrettyConst Methods prettyBy :: ConstConfig -> Data -> Doc ann # prettyListBy :: ConstConfig -> [Data] -> Doc ann #
PrettyBy ConstConfig K Source #
Instance details Defined in PlutusCore.Pretty.PrettyConst Methods prettyBy :: ConstConfig -> K -> Doc ann # prettyListBy :: ConstConfig -> [K] -> Doc ann #
PrettyBy ConstConfig Quantity Source #
Instance details Defined in PlutusCore.Pretty.PrettyConst Methods prettyBy :: ConstConfig -> Quantity -> Doc ann # prettyListBy :: ConstConfig -> [Quantity] -> Doc ann #
PrettyBy ConstConfig Value Source #
Instance details Defined in PlutusCore.Pretty.PrettyConst Methods prettyBy :: ConstConfig -> Value -> Doc ann # prettyListBy :: ConstConfig -> [Value] -> Doc ann #
PrettyDefaultBy config Void => PrettyBy config Void
Instance details Defined in Text.PrettyBy.Internal Methods prettyBy :: config -> Void -> Doc ann # prettyListBy :: config -> [Void] -> Doc ann #
PrettyDefaultBy config Int16 => PrettyBy config Int16
Instance details Defined in Text.PrettyBy.Internal Methods prettyBy :: config -> Int16 -> Doc ann # prettyListBy :: config -> [Int16] -> Doc ann #
PrettyDefaultBy config Int32 => PrettyBy config Int32
Instance details Defined in Text.PrettyBy.Internal Methods prettyBy :: config -> Int32 -> Doc ann # prettyListBy :: config -> [Int32] -> Doc ann #
PrettyDefaultBy config Int64 => PrettyBy config Int64
Instance details Defined in Text.PrettyBy.Internal Methods prettyBy :: config -> Int64 -> Doc ann # prettyListBy :: config -> [Int64] -> Doc ann #
PrettyDefaultBy config Int8 => PrettyBy config Int8
Instance details Defined in Text.PrettyBy.Internal Methods prettyBy :: config -> Int8 -> Doc ann # prettyListBy :: config -> [Int8] -> Doc ann #
PrettyDefaultBy config Word16 => PrettyBy config Word16
Instance details Defined in Text.PrettyBy.Internal Methods prettyBy :: config -> Word16 -> Doc ann # prettyListBy :: config -> [Word16] -> Doc ann #
PrettyDefaultBy config Word32 => PrettyBy config Word32
Instance details Defined in Text.PrettyBy.Internal Methods prettyBy :: config -> Word32 -> Doc ann # prettyListBy :: config -> [Word32] -> Doc ann #
PrettyDefaultBy config Word64 => PrettyBy config Word64
Instance details Defined in Text.PrettyBy.Internal Methods prettyBy :: config -> Word64 -> Doc ann # prettyListBy :: config -> [Word64] -> Doc ann #
PrettyDefaultBy config Word8 => PrettyBy config Word8
Instance details Defined in Text.PrettyBy.Internal Methods prettyBy :: config -> Word8 -> Doc ann # prettyListBy :: config -> [Word8] -> Doc ann #
PrettyBy config AstSize Source #
Instance details Defined in PlutusCore.AstSize Methods prettyBy :: config -> AstSize -> Doc ann # prettyListBy :: config -> [AstSize] -> Doc ann #
HasPrettyConfigName config => PrettyBy config DeBruijn Source #
Instance details Defined in PlutusCore.DeBruijn.Internal Methods prettyBy :: config -> DeBruijn -> Doc ann # prettyListBy :: config -> [DeBruijn] -> Doc ann #
HasPrettyConfigName config => PrettyBy config FakeNamedDeBruijn Source #
Instance details Defined in PlutusCore.DeBruijn.Internal Methods prettyBy :: config -> FakeNamedDeBruijn -> Doc ann # prettyListBy :: config -> [FakeNamedDeBruijn] -> Doc ann #
HasPrettyConfigName config => PrettyBy config NamedDeBruijn Source #
Instance details Defined in PlutusCore.DeBruijn.Internal Methods prettyBy :: config -> NamedDeBruijn -> Doc ann # prettyListBy :: config -> [NamedDeBruijn] -> Doc ann #
HasPrettyConfigName config => PrettyBy config NamedTyDeBruijn Source #
Instance details Defined in PlutusCore.DeBruijn.Internal Methods prettyBy :: config -> NamedTyDeBruijn -> Doc ann # prettyListBy :: config -> [NamedTyDeBruijn] -> Doc ann #
HasPrettyConfigName config => PrettyBy config TyDeBruijn Source #
Instance details Defined in PlutusCore.DeBruijn.Internal Methods prettyBy :: config -> TyDeBruijn -> Doc ann # prettyListBy :: config -> [TyDeBruijn] -> Doc ann #
PrettyBy config ExBudget Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExBudget Methods prettyBy :: config -> ExBudget -> Doc ann # prettyListBy :: config -> [ExBudget] -> Doc ann #
PrettyBy config ExRestrictingBudget Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExBudget Methods prettyBy :: config -> ExRestrictingBudget -> Doc ann # prettyListBy :: config -> [ExRestrictingBudget] -> Doc ann #
PrettyBy config ExCPU Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods prettyBy :: config -> ExCPU -> Doc ann # prettyListBy :: config -> [ExCPU] -> Doc ann #
PrettyBy config ExMemory Source #
Instance details Defined in PlutusCore.Evaluation.Machine.ExMemory Methods prettyBy :: config -> ExMemory -> Doc ann # prettyListBy :: config -> [ExMemory] -> Doc ann #
HasPrettyConfigName config => PrettyBy config Name Source #
Instance details Defined in PlutusCore.Name.Unique Methods prettyBy :: config -> Name -> Doc ann # prettyListBy :: config -> [Name] -> Doc ann #
HasPrettyConfigName config => PrettyBy config TyName Source #
Instance details Defined in PlutusCore.Name.Unique Methods prettyBy :: config -> TyName -> Doc ann # prettyListBy :: config -> [TyName] -> Doc ann #
PrettyBy config CountingSt Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode Methods prettyBy :: config -> CountingSt -> Doc ann # prettyListBy :: config -> [CountingSt] -> Doc ann #
PrettyBy config RestrictingSt Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode Methods prettyBy :: config -> RestrictingSt -> Doc ann # prettyListBy :: config -> [RestrictingSt] -> Doc ann #
PrettyDefaultBy config Text => PrettyBy config Text
Instance details Defined in Text.PrettyBy.Internal Methods prettyBy :: config -> Text -> Doc ann # prettyListBy :: config -> [Text] -> Doc ann #
PrettyDefaultBy config Text => PrettyBy config Text
Instance details Defined in Text.PrettyBy.Internal Methods prettyBy :: config -> Text -> Doc ann # prettyListBy :: config -> [Text] -> Doc ann #
PrettyDefaultBy config Integer => PrettyBy config Integer
Instance details Defined in Text.PrettyBy.Internal Methods prettyBy :: config -> Integer -> Doc ann # prettyListBy :: config -> [Integer] -> Doc ann #
PrettyDefaultBy config Natural => PrettyBy config Natural
Instance details Defined in Text.PrettyBy.Internal Methods prettyBy :: config -> Natural -> Doc ann # prettyListBy :: config -> [Natural] -> Doc ann #
PrettyDefaultBy config () => PrettyBy config ()
Instance details Defined in Text.PrettyBy.Internal Methods prettyBy :: config -> () -> Doc ann # prettyListBy :: config -> [()] -> Doc ann #
PrettyDefaultBy config Bool => PrettyBy config Bool
Instance details Defined in Text.PrettyBy.Internal Methods prettyBy :: config -> Bool -> Doc ann # prettyListBy :: config -> [Bool] -> Doc ann #
PrettyDefaultBy config Char => PrettyBy config Char
Instance details Defined in Text.PrettyBy.Internal Methods prettyBy :: config -> Char -> Doc ann # prettyListBy :: config -> [Char] -> Doc ann #
PrettyDefaultBy config Double => PrettyBy config Double
Instance details Defined in Text.PrettyBy.Internal Methods prettyBy :: config -> Double -> Doc ann # prettyListBy :: config -> [Double] -> Doc ann #
PrettyDefaultBy config Float => PrettyBy config Float
Instance details Defined in Text.PrettyBy.Internal Methods prettyBy :: config -> Float -> Doc ann # prettyListBy :: config -> [Float] -> Doc ann #
PrettyDefaultBy config Int => PrettyBy config Int
Instance details Defined in Text.PrettyBy.Internal Methods prettyBy :: config -> Int -> Doc ann # prettyListBy :: config -> [Int] -> Doc ann #
PrettyDefaultBy config Word => PrettyBy config Word
Instance details Defined in Text.PrettyBy.Internal Methods prettyBy :: config -> Word -> Doc ann # prettyListBy :: config -> [Word] -> Doc ann #
DefaultPrettyPlcStrategy (Kind ann) => PrettyBy PrettyConfigPlc (Kind ann) Source #
Instance details Defined in PlutusCore.Core.Instance.Pretty.Plc Methods prettyBy :: PrettyConfigPlc -> Kind ann -> Doc ann0 # prettyListBy :: PrettyConfigPlc -> [Kind ann] -> Doc ann0 #
PrettyBy PrettyConfigPlc a => PrettyBy PrettyConfigPlc (ExpectedShapeOr a) Source #
Instance details Defined in PlutusCore.Error Methods prettyBy :: PrettyConfigPlc -> ExpectedShapeOr a -> Doc ann # prettyListBy :: PrettyConfigPlc -> [ExpectedShapeOr a] -> Doc ann #
DefaultPrettyPlcStrategy a => PrettyBy PrettyConfigPlc (PrettyAny a) Source #
Instance details Defined in PlutusCore.Pretty.Plc Methods prettyBy :: PrettyConfigPlc -> PrettyAny a -> Doc ann # prettyListBy :: PrettyConfigPlc -> [PrettyAny a] -> Doc ann #
DefaultPrettyPlcStrategy a => PrettyBy PrettyConfigPlcStrategy (PrettyAny a) Source #
Instance details Defined in PlutusCore.Pretty.Plc Methods prettyBy :: PrettyConfigPlcStrategy -> PrettyAny a -> Doc ann # prettyListBy :: PrettyConfigPlcStrategy -> [PrettyAny a] -> Doc ann #
DefaultPrettyBy ConstConfig (PrettyAny a) => PrettyBy ConstConfig (PrettyAny a) Source #
Instance details Defined in PlutusCore.Pretty.PrettyConst Methods prettyBy :: ConstConfig -> PrettyAny a -> Doc ann # prettyListBy :: ConstConfig -> [PrettyAny a] -> Doc ann #
PrettyBy RenderContext (DefaultUni a) Source #
Instance details Defined in PlutusCore.Default.Universe Methods prettyBy :: RenderContext -> DefaultUni a -> Doc ann # prettyListBy :: RenderContext -> [DefaultUni a] -> Doc ann #
PrettyBy RenderContext (SomeTypeIn DefaultUni) Source #
Instance details Defined in PlutusCore.Default.Universe Methods prettyBy :: RenderContext -> SomeTypeIn DefaultUni -> Doc ann # prettyListBy :: RenderContext -> [SomeTypeIn DefaultUni] -> Doc ann #
PrettyDefaultBy config (Identity a) => PrettyBy config (Identity a)
Instance details Defined in Text.PrettyBy.Internal Methods prettyBy :: config -> Identity a -> Doc ann # prettyListBy :: config -> [Identity a] -> Doc ann #
PrettyDefaultBy config (NonEmpty a) => PrettyBy config (NonEmpty a)
Instance details Defined in Text.PrettyBy.Internal Methods prettyBy :: config -> NonEmpty a -> Doc ann # prettyListBy :: config -> [NonEmpty a] -> Doc ann #
PrettyDefaultBy config (Set a) => PrettyBy config (Set a) Source #
Instance details Defined in PlutusCore.Pretty.Extra Methods prettyBy :: config -> Set a -> Doc ann # prettyListBy :: config -> [Set a] -> Doc ann #
PrettyDefaultBy config (Spine a) => PrettyBy config (Spine a) Source #
Instance details Defined in PlutusCore.Builtin.KnownType Methods prettyBy :: config -> Spine a -> Doc ann # prettyListBy :: config -> [Spine a] -> Doc ann #
PrettyBy config (t NameAnn) => PrettyBy config (ScopeCheckError t) Source #
Instance details Defined in PlutusCore.Check.Scoping Methods prettyBy :: config -> ScopeCheckError t -> Doc ann # prettyListBy :: config -> [ScopeCheckError t] -> Doc ann #
PrettyBy config a => PrettyBy config (Normalized a) Source #
Instance details Defined in PlutusCore.Core.Type Methods prettyBy :: config -> Normalized a -> Doc ann # prettyListBy :: config -> [Normalized a] -> Doc ann #
(HasPrettyDefaults config ~ 'True, Pretty fun) => PrettyBy config (MachineError fun) Source #
Instance details Defined in PlutusCore.Evaluation.Machine.Exception Methods prettyBy :: config -> MachineError fun -> Doc ann # prettyListBy :: config -> [MachineError fun] -> Doc ann #
PrettyBy config a => PrettyBy config (EvaluationResult a) Source #
Instance details Defined in PlutusCore.Evaluation.Result Methods prettyBy :: config -> EvaluationResult a -> Doc ann # prettyListBy :: config -> [EvaluationResult a] -> Doc ann #
PrettyDefaultBy config (AsReadable a) => PrettyBy config (AsReadable a) Source #
Instance details Defined in PlutusCore.Pretty.Readable Methods prettyBy :: config -> AsReadable a -> Doc ann # prettyListBy :: config -> [AsReadable a] -> Doc ann #
(Show fun, Ord fun) => PrettyBy config (CekExTally fun) Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode Methods prettyBy :: config -> CekExTally fun -> Doc ann # prettyListBy :: config -> [CekExTally fun] -> Doc ann #
(Show fun, Ord fun) => PrettyBy config (TallyingSt fun) Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.ExBudgetMode Methods prettyBy :: config -> TallyingSt fun -> Doc ann # prettyListBy :: config -> [TallyingSt fun] -> Doc ann #
Pretty a => PrettyBy config (IgnorePrettyConfig a)
Instance details Defined in Text.PrettyBy.Internal Methods prettyBy :: config -> IgnorePrettyConfig a -> Doc ann # prettyListBy :: config -> [IgnorePrettyConfig a] -> Doc ann #
PrettyDefaultBy config a => PrettyBy config (PrettyCommon a)
Instance details Defined in Text.PrettyBy.Internal Methods prettyBy :: config -> PrettyCommon a -> Doc ann # prettyListBy :: config -> [PrettyCommon a] -> Doc ann #
PrettyDefaultBy config (Vector a) => PrettyBy config (Vector a) Source #
Instance details Defined in PlutusCore.Pretty.Extra Methods prettyBy :: config -> Vector a -> Doc ann # prettyListBy :: config -> [Vector a] -> Doc ann #
PrettyDefaultBy config (Maybe a) => PrettyBy config (Maybe a)
Instance details Defined in Text.PrettyBy.Internal Methods prettyBy :: config -> Maybe a -> Doc ann # prettyListBy :: config -> [Maybe a] -> Doc ann #
PrettyDefaultBy config [a] => PrettyBy config [a]
Instance details Defined in Text.PrettyBy.Internal Methods prettyBy :: config -> [a] -> Doc ann # prettyListBy :: config -> [[a]] -> Doc ann #
(PrettyUni uni, Pretty fun) => PrettyBy PrettyConfigPlc (CkValue uni fun) Source #
Instance details Defined in PlutusCore.Evaluation.Machine.Ck Methods prettyBy :: PrettyConfigPlc -> CkValue uni fun -> Doc ann # prettyListBy :: PrettyConfigPlc -> [CkValue uni fun] -> Doc ann #
(PrettyUni uni, Pretty fun) => PrettyBy PrettyConfigPlc (DischargeResult uni fun) Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.Internal Methods prettyBy :: PrettyConfigPlc -> DischargeResult uni fun -> Doc ann # prettyListBy :: PrettyConfigPlc -> [DischargeResult uni fun] -> Doc ann #
(Closed uni, Everywhere uni PrettyConst) => PrettyBy ConstConfig (ValueOf uni a) Source #
Instance details Defined in PlutusCore.Pretty.PrettyConst Methods prettyBy :: ConstConfig -> ValueOf uni a -> Doc ann # prettyListBy :: ConstConfig -> [ValueOf uni a] -> Doc ann #
(Closed uni, Everywhere uni PrettyConst) => PrettyBy ConstConfig (Some (ValueOf uni)) Source #
Instance details Defined in PlutusCore.Pretty.PrettyConst Methods prettyBy :: ConstConfig -> Some (ValueOf uni) -> Doc ann # prettyListBy :: ConstConfig -> [Some (ValueOf uni)] -> Doc ann #
PrettyDefaultBy config (Either a b) => PrettyBy config (Either a b) Source #	An instance extending the set of types supporting default pretty-printing with `Either`.
Instance details Defined in PlutusPrelude Methods prettyBy :: config -> Either a b -> Doc ann # prettyListBy :: config -> [Either a b] -> Doc ann #
PrettyDefaultBy config (Map k v) => PrettyBy config (Map k v) Source #
Instance details Defined in PlutusCore.Pretty.Extra Methods prettyBy :: config -> Map k v -> Doc ann # prettyListBy :: config -> [Map k v] -> Doc ann #
(HasPrettyDefaults config ~ 'True, PrettyBy config structural, Pretty operational) => PrettyBy config (EvaluationError structural operational) Source #
Instance details Defined in PlutusCore.Evaluation.Error Methods prettyBy :: config -> EvaluationError structural operational -> Doc ann # prettyListBy :: config -> [EvaluationError structural operational] -> Doc ann #
(PrettyBy config cause, PrettyBy config err) => PrettyBy config (ErrorWithCause err cause) Source #
Instance details Defined in PlutusCore.Evaluation.ErrorWithCause Methods prettyBy :: config -> ErrorWithCause err cause -> Doc ann # prettyListBy :: config -> [ErrorWithCause err cause] -> Doc ann #
PrettyDefaultBy config (a, b) => PrettyBy config (a, b)
Instance details Defined in Text.PrettyBy.Internal Methods prettyBy :: config -> (a, b) -> Doc ann # prettyListBy :: config -> [(a, b)] -> Doc ann #
DefaultPrettyPlcStrategy (Type tyname uni ann) => PrettyBy PrettyConfigPlc (Type tyname uni ann) Source #
Instance details Defined in PlutusCore.Core.Instance.Pretty.Plc Methods prettyBy :: PrettyConfigPlc -> Type tyname uni ann -> Doc ann0 # prettyListBy :: PrettyConfigPlc -> [Type tyname uni ann] -> Doc ann0 #
(PrettyUni uni, Pretty fun, Pretty ann) => PrettyBy PrettyConfigPlc (Error uni fun ann) Source #
Instance details Defined in PlutusCore.Error Methods prettyBy :: PrettyConfigPlc -> Error uni fun ann -> Doc ann0 # prettyListBy :: PrettyConfigPlc -> [Error uni fun ann] -> Doc ann0 #
(PrettyUni uni, Pretty fun) => PrettyBy PrettyConfigPlc (CekValue uni fun ann) Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.Internal Methods prettyBy :: PrettyConfigPlc -> CekValue uni fun ann -> Doc ann0 # prettyListBy :: PrettyConfigPlc -> [CekValue uni fun ann] -> Doc ann0 #
PrettyDefaultBy config (Const a b) => PrettyBy config (Const a b)
Instance details Defined in Text.PrettyBy.Internal Methods prettyBy :: config -> Const a b -> Doc ann # prettyListBy :: config -> [Const a b] -> Doc ann #
PrettyDefaultBy config (HeadSpine err a b) => PrettyBy config (HeadSpine err a b) Source #
Instance details Defined in PlutusCore.Builtin.KnownType Methods prettyBy :: config -> HeadSpine err a b -> Doc ann # prettyListBy :: config -> [HeadSpine err a b] -> Doc ann #
PrettyDefaultBy config (a, b, c) => PrettyBy config (a, b, c)
Instance details Defined in Text.PrettyBy.Internal Methods prettyBy :: config -> (a, b, c) -> Doc ann # prettyListBy :: config -> [(a, b, c)] -> Doc ann #
(Pretty term, PrettyUni uni, Pretty fun, Pretty ann) => PrettyBy PrettyConfigPlc (TypeError term uni fun ann) Source #
Instance details Defined in PlutusCore.Error Methods prettyBy :: PrettyConfigPlc -> TypeError term uni fun ann -> Doc ann0 # prettyListBy :: PrettyConfigPlc -> [TypeError term uni fun ann] -> Doc ann0 #
DefaultPrettyPlcStrategy (UnrestrictedProgram name uni fun ann) => PrettyBy PrettyConfigPlc (UnrestrictedProgram name uni fun ann) Source #
Instance details Defined in UntypedPlutusCore.Core.Instance.Flat Methods prettyBy :: PrettyConfigPlc -> UnrestrictedProgram name uni fun ann -> Doc ann0 # prettyListBy :: PrettyConfigPlc -> [UnrestrictedProgram name uni fun ann] -> Doc ann0 #
DefaultPrettyPlcStrategy (Program name uni fun ann) => PrettyBy PrettyConfigPlc (Program name uni fun ann) Source #
Instance details Defined in UntypedPlutusCore.Core.Instance.Pretty.Plc Methods prettyBy :: PrettyConfigPlc -> Program name uni fun ann -> Doc ann0 # prettyListBy :: PrettyConfigPlc -> [Program name uni fun ann] -> Doc ann0 #
DefaultPrettyPlcStrategy (Term name uni fun ann) => PrettyBy PrettyConfigPlc (Term name uni fun ann) Source #
Instance details Defined in UntypedPlutusCore.Core.Instance.Pretty.Plc Methods prettyBy :: PrettyConfigPlc -> Term name uni fun ann -> Doc ann0 # prettyListBy :: PrettyConfigPlc -> [Term name uni fun ann] -> Doc ann0 #
PrettyBy config (Term name uni fun a) => PrettyBy config (EvalOrder name uni fun a) Source #
Instance details Defined in UntypedPlutusCore.Purity Methods prettyBy :: config -> EvalOrder name uni fun a -> Doc ann # prettyListBy :: config -> [EvalOrder name uni fun a] -> Doc ann #
PrettyBy config (Term name uni fun a) => PrettyBy config (EvalTerm name uni fun a) Source #
Instance details Defined in UntypedPlutusCore.Purity Methods prettyBy :: config -> EvalTerm name uni fun a -> Doc ann # prettyListBy :: config -> [EvalTerm name uni fun a] -> Doc ann #
DefaultPrettyPlcStrategy (Program tyname name uni fun ann) => PrettyBy PrettyConfigPlc (Program tyname name uni fun ann) Source #
Instance details Defined in PlutusCore.Core.Instance.Pretty.Plc Methods prettyBy :: PrettyConfigPlc -> Program tyname name uni fun ann -> Doc ann0 # prettyListBy :: PrettyConfigPlc -> [Program tyname name uni fun ann] -> Doc ann0 #
DefaultPrettyPlcStrategy (Term tyname name uni fun ann) => PrettyBy PrettyConfigPlc (Term tyname name uni fun ann) Source #
Instance details Defined in PlutusCore.Core.Instance.Pretty.Plc Methods prettyBy :: PrettyConfigPlc -> Term tyname name uni fun ann -> Doc ann0 # prettyListBy :: PrettyConfigPlc -> [Term tyname name uni fun ann] -> Doc ann0 #
(Pretty ann, PrettyBy config (Type tyname uni ann), PrettyBy config (Term tyname name uni fun ann)) => PrettyBy config (NormCheckError tyname name uni fun ann) Source #
Instance details Defined in PlutusCore.Error Methods prettyBy :: config -> NormCheckError tyname name uni fun ann -> Doc ann0 # prettyListBy :: config -> [NormCheckError tyname name uni fun ann] -> Doc ann0 #
Pretty ann => PrettyBy (PrettyConfigClassic configName) (Kind ann) Source #
Instance details Defined in PlutusCore.Core.Instance.Pretty.Classic Methods prettyBy :: PrettyConfigClassic configName -> Kind ann -> Doc ann0 # prettyListBy :: PrettyConfigClassic configName -> [Kind ann] -> Doc ann0 #
PrettyBy (PrettyConfigReadable configName) (Kind a) Source #
Instance details Defined in PlutusCore.Core.Instance.Pretty.Readable Methods prettyBy :: PrettyConfigReadable configName -> Kind a -> Doc ann # prettyListBy :: PrettyConfigReadable configName -> [Kind a] -> Doc ann #
PrettyReadableBy configName a => PrettyBy (PrettyConfigReadable configName) (Parened a) Source #
Instance details Defined in PlutusCore.Pretty.Readable Methods prettyBy :: PrettyConfigReadable configName -> Parened a -> Doc ann # prettyListBy :: PrettyConfigReadable configName -> [Parened a] -> Doc ann #
PrettyReadableBy configName tyname => PrettyBy (PrettyConfigReadable configName) (TyVarDecl tyname ann) Source #
Instance details Defined in PlutusCore.Core.Instance.Pretty.Readable Methods prettyBy :: PrettyConfigReadable configName -> TyVarDecl tyname ann -> Doc ann0 # prettyListBy :: PrettyConfigReadable configName -> [TyVarDecl tyname ann] -> Doc ann0 #
(PrettyClassicBy configName tyname, PrettyParens (SomeTypeIn uni), Pretty ann) => PrettyBy (PrettyConfigClassic configName) (Type tyname uni ann) Source #
Instance details Defined in PlutusCore.Core.Instance.Pretty.Classic Methods prettyBy :: PrettyConfigClassic configName -> Type tyname uni ann -> Doc ann0 # prettyListBy :: PrettyConfigClassic configName -> [Type tyname uni ann] -> Doc ann0 #
(PrettyReadableBy configName tyname, PrettyParens (SomeTypeIn uni)) => PrettyBy (PrettyConfigReadable configName) (Type tyname uni a) Source #
Instance details Defined in PlutusCore.Core.Instance.Pretty.Readable Methods prettyBy :: PrettyConfigReadable configName -> Type tyname uni a -> Doc ann # prettyListBy :: PrettyConfigReadable configName -> [Type tyname uni a] -> Doc ann #
(PrettyClassic name, PrettyUni uni, Pretty fun, Pretty ann) => PrettyBy (PrettyConfigClassic PrettyConfigName) (UnrestrictedProgram name uni fun ann) Source #
Instance details Defined in UntypedPlutusCore.Core.Instance.Flat Methods prettyBy :: PrettyConfigClassic PrettyConfigName -> UnrestrictedProgram name uni fun ann -> Doc ann0 # prettyListBy :: PrettyConfigClassic PrettyConfigName -> [UnrestrictedProgram name uni fun ann] -> Doc ann0 #
(PrettyClassicBy configName (Term name uni fun ann), Pretty ann) => PrettyBy (PrettyConfigClassic configName) (Program name uni fun ann) Source #
Instance details Defined in UntypedPlutusCore.Core.Instance.Pretty.Classic Methods prettyBy :: PrettyConfigClassic configName -> Program name uni fun ann -> Doc ann0 # prettyListBy :: PrettyConfigClassic configName -> [Program name uni fun ann] -> Doc ann0 #
(PrettyClassicBy configName name, PrettyUni uni, Pretty fun, Pretty ann) => PrettyBy (PrettyConfigClassic configName) (Term name uni fun ann) Source #
Instance details Defined in UntypedPlutusCore.Core.Instance.Pretty.Classic Methods prettyBy :: PrettyConfigClassic configName -> Term name uni fun ann -> Doc ann0 # prettyListBy :: PrettyConfigClassic configName -> [Term name uni fun ann] -> Doc ann0 #
(PrettyReadable name, PrettyUni uni, Pretty fun) => PrettyBy (PrettyConfigReadable PrettyConfigName) (UnrestrictedProgram name uni fun ann) Source #
Instance details Defined in UntypedPlutusCore.Core.Instance.Flat Methods prettyBy :: PrettyConfigReadable PrettyConfigName -> UnrestrictedProgram name uni fun ann -> Doc ann0 # prettyListBy :: PrettyConfigReadable PrettyConfigName -> [UnrestrictedProgram name uni fun ann] -> Doc ann0 #
(PrettyReadableBy configName tyname, PrettyReadableBy configName name, PrettyUni uni) => PrettyBy (PrettyConfigReadable configName) (VarDecl tyname name uni ann) Source #
Instance details Defined in PlutusCore.Core.Instance.Pretty.Readable Methods prettyBy :: PrettyConfigReadable configName -> VarDecl tyname name uni ann -> Doc ann0 # prettyListBy :: PrettyConfigReadable configName -> [VarDecl tyname name uni ann] -> Doc ann0 #
PrettyReadableBy configName (Term name uni fun a) => PrettyBy (PrettyConfigReadable configName) (Program name uni fun a) Source #
Instance details Defined in UntypedPlutusCore.Core.Instance.Pretty.Readable Methods prettyBy :: PrettyConfigReadable configName -> Program name uni fun a -> Doc ann # prettyListBy :: PrettyConfigReadable configName -> [Program name uni fun a] -> Doc ann #
(PrettyReadableBy configName name, PrettyUni uni, Pretty fun, Show configName) => PrettyBy (PrettyConfigReadable configName) (Term name uni fun a) Source #
Instance details Defined in UntypedPlutusCore.Core.Instance.Pretty.Readable Methods prettyBy :: PrettyConfigReadable configName -> Term name uni fun a -> Doc ann # prettyListBy :: PrettyConfigReadable configName -> [Term name uni fun a] -> Doc ann #
(PrettyClassicBy configName (Term tyname name uni fun ann), Pretty ann) => PrettyBy (PrettyConfigClassic configName) (Program tyname name uni fun ann) Source #
Instance details Defined in PlutusCore.Core.Instance.Pretty.Classic Methods prettyBy :: PrettyConfigClassic configName -> Program tyname name uni fun ann -> Doc ann0 # prettyListBy :: PrettyConfigClassic configName -> [Program tyname name uni fun ann] -> Doc ann0 #
(PrettyClassicBy configName tyname, PrettyClassicBy configName name, PrettyUni uni, Pretty fun, Pretty ann) => PrettyBy (PrettyConfigClassic configName) (Term tyname name uni fun ann) Source #
Instance details Defined in PlutusCore.Core.Instance.Pretty.Classic Methods prettyBy :: PrettyConfigClassic configName -> Term tyname name uni fun ann -> Doc ann0 # prettyListBy :: PrettyConfigClassic configName -> [Term tyname name uni fun ann] -> Doc ann0 #
PrettyReadableBy configName (Term tyname name uni fun a) => PrettyBy (PrettyConfigReadable configName) (Program tyname name uni fun a) Source #
Instance details Defined in PlutusCore.Core.Instance.Pretty.Readable Methods prettyBy :: PrettyConfigReadable configName -> Program tyname name uni fun a -> Doc ann # prettyListBy :: PrettyConfigReadable configName -> [Program tyname name uni fun a] -> Doc ann #
(PrettyReadableBy configName tyname, PrettyReadableBy configName name, PrettyUni uni, Pretty fun) => PrettyBy (PrettyConfigReadable configName) (Term tyname name uni fun a) Source #
Instance details Defined in PlutusCore.Core.Instance.Pretty.Readable Methods prettyBy :: PrettyConfigReadable configName -> Term tyname name uni fun a -> Doc ann # prettyListBy :: PrettyConfigReadable configName -> [Term tyname name uni fun a] -> Doc ann #

newtype IgnorePrettyConfig a #

Constructors

IgnorePrettyConfig
Fields unIgnorePrettyConfig :: a

Instances

Instances details

Pretty a => PrettyBy config (IgnorePrettyConfig a)
Instance details Defined in Text.PrettyBy.Internal Methods prettyBy :: config -> IgnorePrettyConfig a -> Doc ann # prettyListBy :: config -> [IgnorePrettyConfig a] -> Doc ann #

data AttachPrettyConfig config a #

Constructors

AttachPrettyConfig !config !a

Instances

Instances details

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 #

class Render str where #

Methods

render :: Doc ann -> str #

Instances

Instances details

Render Text
Instance details Defined in Text.PrettyBy.Default Methods render :: Doc ann -> Text #
Render Text
Instance details Defined in Text.PrettyBy.Default Methods render :: Doc ann -> Text #
a ~ Char => Render [a]
Instance details Defined in Text.PrettyBy.Default Methods render :: Doc ann -> [a] #

type PrettyParens = PrettyBy RenderContext Source #

For pretty-printing a value with a minimum amount of parens.

display :: forall str a. (Pretty a, Render str) => a -> str #

displayBy :: forall str a config. (PrettyBy config a, Render str) => config -> a -> str #

juxtRenderContext :: RenderContext Source #

An initial RenderContext. An expression printed in this context gets enclosed in parens unless its outermost operator (if any) binds even stronger than function application.

Defaults

prettyPlc :: PrettyPlc a => a -> Doc ann Source #

Pretty-print a value in the default mode using the classic view.

displayPlc :: (PrettyPlc a, Render str) => a -> str Source #

Render a value to String in the default mode using the classic view.

prettyPlcSimple :: PrettyPlc a => a -> Doc ann Source #

Pretty-print a value in the debug mode using the classic view.

displayPlcSimple :: (PrettyPlc a, Render str) => a -> str Source #

Render a value to String in the debug mode using the classic view.

Global configuration

data CondensedErrors Source #

Whether to pretty-print PLC errors in full or with some information omitted.

Constructors

CondensedErrorsYes
CondensedErrorsNo

Instances

Instances details

Show CondensedErrors Source #
Instance details Defined in PlutusCore.Pretty.Plc Methods showsPrec :: Int -> CondensedErrors -> ShowS Source # show :: CondensedErrors -> String Source # showList :: [CondensedErrors] -> ShowS Source #
Eq CondensedErrors Source #
Instance details Defined in PlutusCore.Pretty.Plc Methods (==) :: CondensedErrors -> CondensedErrors -> Bool Source # (/=) :: CondensedErrors -> CondensedErrors -> Bool Source #

type DefaultPrettyPlcStrategy a = (PrettyClassic a, PrettyReadable a) Source #

A constraint that allows to derive PrettyBy PrettyConfigPlc instances, see below.

newtype PrettyConfigPlcOptions Source #

Options for pretty-printing PLC entities.

Constructors

PrettyConfigPlcOptions
Fields _pcpoCondensedErrors :: CondensedErrors

Instances

Instances details

Show PrettyConfigPlcOptions Source #
Instance details Defined in PlutusCore.Pretty.Plc Methods showsPrec :: Int -> PrettyConfigPlcOptions -> ShowS Source # show :: PrettyConfigPlcOptions -> String Source # showList :: [PrettyConfigPlcOptions] -> ShowS Source #

data PrettyConfigPlcStrategy Source #

Strategy for pretty-printing PLC entities.

Constructors

PrettyConfigPlcClassic (PrettyConfigClassic PrettyConfigName)
PrettyConfigPlcReadable (PrettyConfigReadable PrettyConfigName)

Instances

Instances details

Show PrettyConfigPlcStrategy Source #
Instance details Defined in PlutusCore.Pretty.Plc Methods showsPrec :: Int -> PrettyConfigPlcStrategy -> ShowS Source # show :: PrettyConfigPlcStrategy -> String Source # showList :: [PrettyConfigPlcStrategy] -> ShowS Source #
HasPrettyConfigName PrettyConfigPlcStrategy Source #
Instance details Defined in PlutusCore.Pretty.Plc Methods toPrettyConfigName :: PrettyConfigPlcStrategy -> PrettyConfigName Source #
DefaultPrettyPlcStrategy a => PrettyBy PrettyConfigPlcStrategy (PrettyAny a) Source #
Instance details Defined in PlutusCore.Pretty.Plc Methods prettyBy :: PrettyConfigPlcStrategy -> PrettyAny a -> Doc ann # prettyListBy :: PrettyConfigPlcStrategy -> [PrettyAny a] -> Doc ann #

data PrettyConfigPlc Source #

Global configuration used for pretty-printing PLC entities.

Constructors

PrettyConfigPlc
Fields _pcpOptions :: PrettyConfigPlcOptions _pcpStrategy :: PrettyConfigPlcStrategy

Instances

Instances details

Show PrettyConfigPlc Source #
Instance details Defined in PlutusCore.Pretty.Plc Methods showsPrec :: Int -> PrettyConfigPlc -> ShowS Source # show :: PrettyConfigPlc -> String Source # showList :: [PrettyConfigPlc] -> ShowS Source #
HasPrettyConfigName PrettyConfigPlc Source #
Instance details Defined in PlutusCore.Pretty.Plc Methods toPrettyConfigName :: PrettyConfigPlc -> PrettyConfigName Source #
PrettyBy PrettyConfigPlc DefaultFun Source #
Instance details Defined in PlutusCore.Default.Builtins Methods prettyBy :: PrettyConfigPlc -> DefaultFun -> Doc ann # prettyListBy :: PrettyConfigPlc -> [DefaultFun] -> Doc ann #
DefaultPrettyPlcStrategy (Kind ann) => PrettyBy PrettyConfigPlc (Kind ann) Source #
Instance details Defined in PlutusCore.Core.Instance.Pretty.Plc Methods prettyBy :: PrettyConfigPlc -> Kind ann -> Doc ann0 # prettyListBy :: PrettyConfigPlc -> [Kind ann] -> Doc ann0 #
PrettyBy PrettyConfigPlc a => PrettyBy PrettyConfigPlc (ExpectedShapeOr a) Source #
Instance details Defined in PlutusCore.Error Methods prettyBy :: PrettyConfigPlc -> ExpectedShapeOr a -> Doc ann # prettyListBy :: PrettyConfigPlc -> [ExpectedShapeOr a] -> Doc ann #
DefaultPrettyPlcStrategy a => PrettyBy PrettyConfigPlc (PrettyAny a) Source #
Instance details Defined in PlutusCore.Pretty.Plc Methods prettyBy :: PrettyConfigPlc -> PrettyAny a -> Doc ann # prettyListBy :: PrettyConfigPlc -> [PrettyAny a] -> Doc ann #
(PrettyUni uni, Pretty fun) => PrettyBy PrettyConfigPlc (CkValue uni fun) Source #
Instance details Defined in PlutusCore.Evaluation.Machine.Ck Methods prettyBy :: PrettyConfigPlc -> CkValue uni fun -> Doc ann # prettyListBy :: PrettyConfigPlc -> [CkValue uni fun] -> Doc ann #
(PrettyUni uni, Pretty fun) => PrettyBy PrettyConfigPlc (DischargeResult uni fun) Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.Internal Methods prettyBy :: PrettyConfigPlc -> DischargeResult uni fun -> Doc ann # prettyListBy :: PrettyConfigPlc -> [DischargeResult uni fun] -> Doc ann #
DefaultPrettyPlcStrategy (Type tyname uni ann) => PrettyBy PrettyConfigPlc (Type tyname uni ann) Source #
Instance details Defined in PlutusCore.Core.Instance.Pretty.Plc Methods prettyBy :: PrettyConfigPlc -> Type tyname uni ann -> Doc ann0 # prettyListBy :: PrettyConfigPlc -> [Type tyname uni ann] -> Doc ann0 #
(PrettyUni uni, Pretty fun, Pretty ann) => PrettyBy PrettyConfigPlc (Error uni fun ann) Source #
Instance details Defined in PlutusCore.Error Methods prettyBy :: PrettyConfigPlc -> Error uni fun ann -> Doc ann0 # prettyListBy :: PrettyConfigPlc -> [Error uni fun ann] -> Doc ann0 #
(PrettyUni uni, Pretty fun) => PrettyBy PrettyConfigPlc (CekValue uni fun ann) Source #
Instance details Defined in UntypedPlutusCore.Evaluation.Machine.Cek.Internal Methods prettyBy :: PrettyConfigPlc -> CekValue uni fun ann -> Doc ann0 # prettyListBy :: PrettyConfigPlc -> [CekValue uni fun ann] -> Doc ann0 #
(Pretty term, PrettyUni uni, Pretty fun, Pretty ann) => PrettyBy PrettyConfigPlc (TypeError term uni fun ann) Source #
Instance details Defined in PlutusCore.Error Methods prettyBy :: PrettyConfigPlc -> TypeError term uni fun ann -> Doc ann0 # prettyListBy :: PrettyConfigPlc -> [TypeError term uni fun ann] -> Doc ann0 #
DefaultPrettyPlcStrategy (UnrestrictedProgram name uni fun ann) => PrettyBy PrettyConfigPlc (UnrestrictedProgram name uni fun ann) Source #
Instance details Defined in UntypedPlutusCore.Core.Instance.Flat Methods prettyBy :: PrettyConfigPlc -> UnrestrictedProgram name uni fun ann -> Doc ann0 # prettyListBy :: PrettyConfigPlc -> [UnrestrictedProgram name uni fun ann] -> Doc ann0 #
DefaultPrettyPlcStrategy (Program name uni fun ann) => PrettyBy PrettyConfigPlc (Program name uni fun ann) Source #
Instance details Defined in UntypedPlutusCore.Core.Instance.Pretty.Plc Methods prettyBy :: PrettyConfigPlc -> Program name uni fun ann -> Doc ann0 # prettyListBy :: PrettyConfigPlc -> [Program name uni fun ann] -> Doc ann0 #
DefaultPrettyPlcStrategy (Term name uni fun ann) => PrettyBy PrettyConfigPlc (Term name uni fun ann) Source #
Instance details Defined in UntypedPlutusCore.Core.Instance.Pretty.Plc Methods prettyBy :: PrettyConfigPlc -> Term name uni fun ann -> Doc ann0 # prettyListBy :: PrettyConfigPlc -> [Term name uni fun ann] -> Doc ann0 #
DefaultPrettyPlcStrategy (Program tyname name uni fun ann) => PrettyBy PrettyConfigPlc (Program tyname name uni fun ann) Source #
Instance details Defined in PlutusCore.Core.Instance.Pretty.Plc Methods prettyBy :: PrettyConfigPlc -> Program tyname name uni fun ann -> Doc ann0 # prettyListBy :: PrettyConfigPlc -> [Program tyname name uni fun ann] -> Doc ann0 #
DefaultPrettyPlcStrategy (Term tyname name uni fun ann) => PrettyBy PrettyConfigPlc (Term tyname name uni fun ann) Source #
Instance details Defined in PlutusCore.Core.Instance.Pretty.Plc Methods prettyBy :: PrettyConfigPlc -> Term tyname name uni fun ann -> Doc ann0 # prettyListBy :: PrettyConfigPlc -> [Term tyname name uni fun ann] -> Doc ann0 #
type HasPrettyDefaults PrettyConfigPlc Source #
Instance details Defined in PlutusCore.Pretty.Plc type HasPrettyDefaults PrettyConfigPlc = 'True

type PrettyPlc = PrettyBy PrettyConfigPlc Source #

The "pretty-printable PLC entity" constraint.

prettyConfigPlcOptions :: PrettyConfigPlcOptions Source #

The PrettyConfigPlcOptions used by default: print errors in full.

prettyConfigPlcClassic :: PrettyConfigPlcOptions -> PrettyConfigPlc Source #

The PrettyConfigPlc used by default: use the classic view and print neither Uniques, nor name attachments.

prettyConfigPlcClassicSimple :: PrettyConfigPlcOptions -> PrettyConfigPlc Source #

The PrettyConfigPlc used for debugging: use the classic view and print Uniques, but not name attachments.

prettyConfigPlcReadable :: PrettyConfigPlcOptions -> PrettyConfigPlc Source #

The PrettyConfigPlc used by default and for readability: use the refined view and print Uniques but not name attachments.

prettyConfigPlcReadableSimple :: PrettyConfigPlcOptions -> PrettyConfigPlc Source #

The PrettyConfigPlc used for debugging and readability: use the refined view and print neither Uniques nor name attachments.

Custom functions for PLC types.

prettyPlcClassic :: PrettyPlc a => a -> Doc ann Source #

Pretty-print a PLC value in the default mode using the classic view.

prettyPlcClassicSimple :: PrettyPlc a => a -> Doc ann Source #

Pretty-print a PLC value without unique indices using the classic view.

prettyPlcReadable :: PrettyPlc a => a -> Doc ann Source #

Pretty-print a PLC value in the default mode using the readable view.

prettyPlcReadableSimple :: PrettyPlc a => a -> Doc ann Source #

Pretty-print a PLC value without unique indices using the readable view.

prettyPlcCondensedErrorBy :: PrettyPlc a => (PrettyConfigPlcOptions -> PrettyConfigPlc) -> a -> Doc ann Source #

Pretty-print a PLC value using the condensed way (see CondensedErrors) of pretty-printing PLC errors (in case there are any).

displayPlcCondensedErrorClassic :: (PrettyPlc a, Render str) => a -> str Source #

Render an error to String in the condensed manner using the classic view.

Names

newtype PrettyConfigName Source #

A config that determines how to pretty-print a PLC name.

Constructors

PrettyConfigName
Fields _pcnShowsUnique :: Bool Whether to show the `Unique` of a name or not.

Instances

Instances details

Show PrettyConfigName Source #
Instance details Defined in PlutusCore.Pretty.ConfigName Methods showsPrec :: Int -> PrettyConfigName -> ShowS Source # show :: PrettyConfigName -> String Source # showList :: [PrettyConfigName] -> ShowS Source #
Eq PrettyConfigName Source #
Instance details Defined in PlutusCore.Pretty.ConfigName Methods (==) :: PrettyConfigName -> PrettyConfigName -> Bool Source # (/=) :: PrettyConfigName -> PrettyConfigName -> Bool Source #
HasPrettyConfigName (Sole PrettyConfigName) Source #
Instance details Defined in PlutusCore.Pretty.ConfigName Methods toPrettyConfigName :: Sole PrettyConfigName -> PrettyConfigName Source #
(PrettyClassic name, PrettyUni uni, Pretty fun, Pretty ann) => PrettyBy (PrettyConfigClassic PrettyConfigName) (UnrestrictedProgram name uni fun ann) Source #
Instance details Defined in UntypedPlutusCore.Core.Instance.Flat Methods prettyBy :: PrettyConfigClassic PrettyConfigName -> UnrestrictedProgram name uni fun ann -> Doc ann0 # prettyListBy :: PrettyConfigClassic PrettyConfigName -> [UnrestrictedProgram name uni fun ann] -> Doc ann0 #
(PrettyReadable name, PrettyUni uni, Pretty fun) => PrettyBy (PrettyConfigReadable PrettyConfigName) (UnrestrictedProgram name uni fun ann) Source #
Instance details Defined in UntypedPlutusCore.Core.Instance.Flat Methods prettyBy :: PrettyConfigReadable PrettyConfigName -> UnrestrictedProgram name uni fun ann -> Doc ann0 # prettyListBy :: PrettyConfigReadable PrettyConfigName -> [UnrestrictedProgram name uni fun ann] -> Doc ann0 #
type HasPrettyDefaults PrettyConfigName Source #
Instance details Defined in PlutusCore.Pretty.ConfigName type HasPrettyDefaults PrettyConfigName = 'True

class HasPrettyConfigName config where Source #

A class of configs from which a PrettyConfigName can be extracted.

Methods

toPrettyConfigName :: config -> PrettyConfigName Source #

Instances

Instances details

HasPrettyConfigName PrettyConfigPlc Source #
Instance details Defined in PlutusCore.Pretty.Plc Methods toPrettyConfigName :: PrettyConfigPlc -> PrettyConfigName Source #
HasPrettyConfigName PrettyConfigPlcStrategy Source #
Instance details Defined in PlutusCore.Pretty.Plc Methods toPrettyConfigName :: PrettyConfigPlcStrategy -> PrettyConfigName Source #
configName ~ PrettyConfigName => HasPrettyConfigName (PrettyConfigClassic configName) Source #
Instance details Defined in PlutusCore.Pretty.Classic Methods toPrettyConfigName :: PrettyConfigClassic configName -> PrettyConfigName Source #
configName ~ PrettyConfigName => HasPrettyConfigName (PrettyConfigReadable configName) Source #
Instance details Defined in PlutusCore.Pretty.Readable Methods toPrettyConfigName :: PrettyConfigReadable configName -> PrettyConfigName Source #
HasPrettyConfigName (Sole PrettyConfigName) Source #
Instance details Defined in PlutusCore.Pretty.ConfigName Methods toPrettyConfigName :: Sole PrettyConfigName -> PrettyConfigName Source #

prettyConfigName :: PrettyConfigName Source #

The PrettyConfigName used by default: print Unique indexes after nams.

prettyConfigNameSimple :: PrettyConfigName Source #

The PrettyConfigName to be used when Unique indices don't matter. Easier to read.

Classic view

data PrettyConfigClassic configName Source #

Configuration for the classic pretty-printing.

Constructors

PrettyConfigClassic
Fields _pccConfigName :: configName How to pretty-print names. _pccDisplayAnn :: Bool Whether to display annotations.

Instances

Instances details

Show configName => Show (PrettyConfigClassic configName) Source #
Instance details Defined in PlutusCore.Pretty.Classic Methods showsPrec :: Int -> PrettyConfigClassic configName -> ShowS Source # show :: PrettyConfigClassic configName -> String Source # showList :: [PrettyConfigClassic configName] -> ShowS Source #
configName ~ PrettyConfigName => HasPrettyConfigName (PrettyConfigClassic configName) Source #
Instance details Defined in PlutusCore.Pretty.Classic Methods toPrettyConfigName :: PrettyConfigClassic configName -> PrettyConfigName Source #
Pretty ann => PrettyBy (PrettyConfigClassic configName) (Kind ann) Source #
Instance details Defined in PlutusCore.Core.Instance.Pretty.Classic Methods prettyBy :: PrettyConfigClassic configName -> Kind ann -> Doc ann0 # prettyListBy :: PrettyConfigClassic configName -> [Kind ann] -> Doc ann0 #
(PrettyClassicBy configName tyname, PrettyParens (SomeTypeIn uni), Pretty ann) => PrettyBy (PrettyConfigClassic configName) (Type tyname uni ann) Source #
Instance details Defined in PlutusCore.Core.Instance.Pretty.Classic Methods prettyBy :: PrettyConfigClassic configName -> Type tyname uni ann -> Doc ann0 # prettyListBy :: PrettyConfigClassic configName -> [Type tyname uni ann] -> Doc ann0 #
(PrettyClassic name, PrettyUni uni, Pretty fun, Pretty ann) => PrettyBy (PrettyConfigClassic PrettyConfigName) (UnrestrictedProgram name uni fun ann) Source #
Instance details Defined in UntypedPlutusCore.Core.Instance.Flat Methods prettyBy :: PrettyConfigClassic PrettyConfigName -> UnrestrictedProgram name uni fun ann -> Doc ann0 # prettyListBy :: PrettyConfigClassic PrettyConfigName -> [UnrestrictedProgram name uni fun ann] -> Doc ann0 #
(PrettyClassicBy configName (Term name uni fun ann), Pretty ann) => PrettyBy (PrettyConfigClassic configName) (Program name uni fun ann) Source #
Instance details Defined in UntypedPlutusCore.Core.Instance.Pretty.Classic Methods prettyBy :: PrettyConfigClassic configName -> Program name uni fun ann -> Doc ann0 # prettyListBy :: PrettyConfigClassic configName -> [Program name uni fun ann] -> Doc ann0 #
(PrettyClassicBy configName name, PrettyUni uni, Pretty fun, Pretty ann) => PrettyBy (PrettyConfigClassic configName) (Term name uni fun ann) Source #
Instance details Defined in UntypedPlutusCore.Core.Instance.Pretty.Classic Methods prettyBy :: PrettyConfigClassic configName -> Term name uni fun ann -> Doc ann0 # prettyListBy :: PrettyConfigClassic configName -> [Term name uni fun ann] -> Doc ann0 #
(PrettyClassicBy configName (Term tyname name uni fun ann), Pretty ann) => PrettyBy (PrettyConfigClassic configName) (Program tyname name uni fun ann) Source #
Instance details Defined in PlutusCore.Core.Instance.Pretty.Classic Methods prettyBy :: PrettyConfigClassic configName -> Program tyname name uni fun ann -> Doc ann0 # prettyListBy :: PrettyConfigClassic configName -> [Program tyname name uni fun ann] -> Doc ann0 #
(PrettyClassicBy configName tyname, PrettyClassicBy configName name, PrettyUni uni, Pretty fun, Pretty ann) => PrettyBy (PrettyConfigClassic configName) (Term tyname name uni fun ann) Source #
Instance details Defined in PlutusCore.Core.Instance.Pretty.Classic Methods prettyBy :: PrettyConfigClassic configName -> Term tyname name uni fun ann -> Doc ann0 # prettyListBy :: PrettyConfigClassic configName -> [Term tyname name uni fun ann] -> Doc ann0 #
type HasPrettyDefaults (PrettyConfigClassic _1) Source #
Instance details Defined in PlutusCore.Pretty.Classic type HasPrettyDefaults (PrettyConfigClassic _1) = 'True

type PrettyClassicBy configName = PrettyBy (PrettyConfigClassic configName) Source #

The "classically pretty-printable" constraint.

type PrettyClassic = PrettyClassicBy PrettyConfigName Source #

consAnnIf :: Pretty ann => PrettyConfigClassic configName -> ann -> [Doc dann] -> [Doc dann] Source #

Add a pretty-printed annotation to a list of Docs if the given config enables pretty-printing of annotations.

prettyClassic :: PrettyClassic a => a -> Doc ann Source #

Pretty-print a value in the default mode using the classic view.

prettyClassicSimple :: PrettyClassic a => a -> Doc ann Source #

Pretty-print a value in the simple mode using the classic view.

Readable view

data ShowKinds Source #

Constructors

ShowKindsYes
ShowKindsNonType
ShowKindsNo

Instances

Instances details

Show ShowKinds Source #
Instance details Defined in PlutusCore.Pretty.Readable Methods showsPrec :: Int -> ShowKinds -> ShowS Source # show :: ShowKinds -> String Source # showList :: [ShowKinds] -> ShowS Source #
Default ShowKinds Source #
Instance details Defined in PlutusCore.Pretty.Readable Methods def :: ShowKinds #
Eq ShowKinds Source #
Instance details Defined in PlutusCore.Pretty.Readable Methods (==) :: ShowKinds -> ShowKinds -> Bool Source # (/=) :: ShowKinds -> ShowKinds -> Bool Source #

data PrettyConfigReadable configName Source #

Configuration for the readable pretty-printing.

Constructors

PrettyConfigReadable
Fields _pcrConfigName :: configName _pcrRenderContext :: RenderContext _pcrShowKinds :: ShowKinds

Instances

Instances details

Show configName => Show (PrettyConfigReadable configName) Source #
Instance details Defined in PlutusCore.Pretty.Readable Methods showsPrec :: Int -> PrettyConfigReadable configName -> ShowS Source # show :: PrettyConfigReadable configName -> String Source # showList :: [PrettyConfigReadable configName] -> ShowS Source #
configName ~ PrettyConfigName => HasPrettyConfigName (PrettyConfigReadable configName) Source #
Instance details Defined in PlutusCore.Pretty.Readable Methods toPrettyConfigName :: PrettyConfigReadable configName -> PrettyConfigName Source #
HasRenderContext (PrettyConfigReadable configName) Source #
Instance details Defined in PlutusCore.Pretty.Readable Methods renderContext :: Lens' (PrettyConfigReadable configName) RenderContext #
PrettyBy (PrettyConfigReadable configName) (Kind a) Source #
Instance details Defined in PlutusCore.Core.Instance.Pretty.Readable Methods prettyBy :: PrettyConfigReadable configName -> Kind a -> Doc ann # prettyListBy :: PrettyConfigReadable configName -> [Kind a] -> Doc ann #
PrettyReadableBy configName a => PrettyBy (PrettyConfigReadable configName) (Parened a) Source #
Instance details Defined in PlutusCore.Pretty.Readable Methods prettyBy :: PrettyConfigReadable configName -> Parened a -> Doc ann # prettyListBy :: PrettyConfigReadable configName -> [Parened a] -> Doc ann #
PrettyReadableBy configName tyname => PrettyBy (PrettyConfigReadable configName) (TyVarDecl tyname ann) Source #
Instance details Defined in PlutusCore.Core.Instance.Pretty.Readable Methods prettyBy :: PrettyConfigReadable configName -> TyVarDecl tyname ann -> Doc ann0 # prettyListBy :: PrettyConfigReadable configName -> [TyVarDecl tyname ann] -> Doc ann0 #
(PrettyReadableBy configName tyname, PrettyParens (SomeTypeIn uni)) => PrettyBy (PrettyConfigReadable configName) (Type tyname uni a) Source #
Instance details Defined in PlutusCore.Core.Instance.Pretty.Readable Methods prettyBy :: PrettyConfigReadable configName -> Type tyname uni a -> Doc ann # prettyListBy :: PrettyConfigReadable configName -> [Type tyname uni a] -> Doc ann #
(PrettyReadable name, PrettyUni uni, Pretty fun) => PrettyBy (PrettyConfigReadable PrettyConfigName) (UnrestrictedProgram name uni fun ann) Source #
Instance details Defined in UntypedPlutusCore.Core.Instance.Flat Methods prettyBy :: PrettyConfigReadable PrettyConfigName -> UnrestrictedProgram name uni fun ann -> Doc ann0 # prettyListBy :: PrettyConfigReadable PrettyConfigName -> [UnrestrictedProgram name uni fun ann] -> Doc ann0 #
(PrettyReadableBy configName tyname, PrettyReadableBy configName name, PrettyUni uni) => PrettyBy (PrettyConfigReadable configName) (VarDecl tyname name uni ann) Source #
Instance details Defined in PlutusCore.Core.Instance.Pretty.Readable Methods prettyBy :: PrettyConfigReadable configName -> VarDecl tyname name uni ann -> Doc ann0 # prettyListBy :: PrettyConfigReadable configName -> [VarDecl tyname name uni ann] -> Doc ann0 #
PrettyReadableBy configName (Term name uni fun a) => PrettyBy (PrettyConfigReadable configName) (Program name uni fun a) Source #
Instance details Defined in UntypedPlutusCore.Core.Instance.Pretty.Readable Methods prettyBy :: PrettyConfigReadable configName -> Program name uni fun a -> Doc ann # prettyListBy :: PrettyConfigReadable configName -> [Program name uni fun a] -> Doc ann #
(PrettyReadableBy configName name, PrettyUni uni, Pretty fun, Show configName) => PrettyBy (PrettyConfigReadable configName) (Term name uni fun a) Source #
Instance details Defined in UntypedPlutusCore.Core.Instance.Pretty.Readable Methods prettyBy :: PrettyConfigReadable configName -> Term name uni fun a -> Doc ann # prettyListBy :: PrettyConfigReadable configName -> [Term name uni fun a] -> Doc ann #
PrettyReadableBy configName (Term tyname name uni fun a) => PrettyBy (PrettyConfigReadable configName) (Program tyname name uni fun a) Source #
Instance details Defined in PlutusCore.Core.Instance.Pretty.Readable Methods prettyBy :: PrettyConfigReadable configName -> Program tyname name uni fun a -> Doc ann # prettyListBy :: PrettyConfigReadable configName -> [Program tyname name uni fun a] -> Doc ann #
(PrettyReadableBy configName tyname, PrettyReadableBy configName name, PrettyUni uni, Pretty fun) => PrettyBy (PrettyConfigReadable configName) (Term tyname name uni fun a) Source #
Instance details Defined in PlutusCore.Core.Instance.Pretty.Readable Methods prettyBy :: PrettyConfigReadable configName -> Term tyname name uni fun a -> Doc ann # prettyListBy :: PrettyConfigReadable configName -> [Term tyname name uni fun a] -> Doc ann #
type HasPrettyDefaults (PrettyConfigReadable _1) Source #
Instance details Defined in PlutusCore.Pretty.Readable type HasPrettyDefaults (PrettyConfigReadable _1) = 'True

prettyReadable :: PrettyReadable a => a -> Doc ann Source #

Pretty-print something with the PrettyConfigReadable config.

prettyReadableSimple :: PrettyReadable a => a -> Doc ann Source #

Pretty-print something with the PrettyConfigReadableSimple config.

pcrConfigName :: forall configName1 configName2 f. Functor f => (configName1 -> f configName2) -> PrettyConfigReadable configName1 -> f (PrettyConfigReadable configName2) Source #

pcrRenderContext :: forall configName f. Functor f => (RenderContext -> f RenderContext) -> PrettyConfigReadable configName -> f (PrettyConfigReadable configName) Source #

pcrShowKinds :: forall configName f. Functor f => (ShowKinds -> f ShowKinds) -> PrettyConfigReadable configName -> f (PrettyConfigReadable configName) Source #

type PrettyReadableBy configName = PrettyBy (PrettyConfigReadable configName) Source #

The "readably pretty-printable" constraint.

type PrettyReadable = PrettyReadableBy PrettyConfigName Source #

newtype AsReadable a Source #

For rendering things in a readable manner regardless of the pretty-printing function chosen. I.e. all of show, pretty, prettyClassic will use PrettyReadable instead of doing what they normally do. prettyBy config (AsReadable x) requires config to have a PrettyConfigName and respects it.

This wrapper can be particularly useful if you want to apply a function having a Show or Pretty or PrettyClassic or PrettyPlc or whatever constraint, but want to get the argument rendered in a readable manner instead.

Constructors

AsReadable
Fields unAsReadable :: a

Instances

Instances details

(HasPrettyConfigName config, PrettyReadable a) => DefaultPrettyBy config (AsReadable a) Source #
Instance details Defined in PlutusCore.Pretty.Readable Methods defaultPrettyBy :: config -> AsReadable a -> Doc ann defaultPrettyListBy :: config -> [AsReadable a] -> Doc ann
PrettyDefaultBy config (AsReadable a) => PrettyBy config (AsReadable a) Source #
Instance details Defined in PlutusCore.Pretty.Readable Methods prettyBy :: config -> AsReadable a -> Doc ann # prettyListBy :: config -> [AsReadable a] -> Doc ann #
PrettyReadable a => Show (AsReadable a) Source #
Instance details Defined in PlutusCore.Pretty.Readable Methods showsPrec :: Int -> AsReadable a -> ShowS Source # show :: AsReadable a -> String Source # showList :: [AsReadable a] -> ShowS Source #
PrettyReadable a => Pretty (AsReadable a) Source #
Instance details Defined in PlutusCore.Pretty.Readable Methods pretty :: AsReadable a -> Doc ann # prettyList :: [AsReadable a] -> Doc ann #

data Parened a Source #

A value of type a to render in parens using the readable pretty-printer.

Constructors

Parened
Fields parenOpening :: String parenClosing :: String parenedValue :: a

Instances

Instances details

PrettyReadableBy configName a => PrettyBy (PrettyConfigReadable configName) (Parened a) Source #
Instance details Defined in PlutusCore.Pretty.Readable Methods prettyBy :: PrettyConfigReadable configName -> Parened a -> Doc ann # prettyListBy :: PrettyConfigReadable configName -> [Parened a] -> Doc ann #

inBraces :: a -> Parened a Source #

Enclose the given value, so that it's rendered inside of braces with no additional parens regardless of the RenderContext.

topPrettyConfigReadable :: configName -> ShowKinds -> PrettyConfigReadable configName Source #

A PrettyConfigReadable with the fixity specified to topFixity.

botPrettyConfigReadable :: configName -> ShowKinds -> PrettyConfigReadable configName Source #

A PrettyConfigReadable with the fixity specified to botFixity.

binderFixity :: Fixity Source #

The fixity of a binder.

arrowFixity :: Fixity Source #

The fixity of (->).

iterTyForallPrettyM :: (MonadPrettyReadable configName env m, PrettyReadableBy configName arg, PrettyReadableBy configName body) => [arg] -> body -> m (Doc ann) Source #

Lay out an iterated TyForall via iterBinderPrettyM.

iterLamAbsPrettyM :: (MonadPrettyReadable configName env m, PrettyReadableBy configName arg, PrettyReadableBy configName body) => [arg] -> body -> m (Doc ann) Source #

Lay out an iterated LamAbs via iterBinderPrettyM.

iterTyAbsPrettyM :: (MonadPrettyReadable configName env m, PrettyReadableBy configName arg, PrettyReadableBy configName body) => [arg] -> body -> m (Doc ann) Source #

Lay out an iterated TyAbs via iterBinderPrettyM.

iterArrowPrettyM :: (MonadPrettyReadable configName env m, PrettyReadableBy configName a) => [a] -> a -> m (Doc ann) Source #

Lay out an iterated ->.

iterAppDocM :: MonadPrettyContext config env m => (AnyToDoc config ann -> AnyToDoc config ann -> NonEmpty (Doc ann)) -> m (Doc ann) Source #

Lay out an iteration application, providing to the caller a function to render the head of the application and a function to render each of the arguments.

iterInterAppPrettyM :: (MonadPrettyReadable configName env m, PrettyReadableBy configName fun, PrettyReadableBy configName ty, PrettyReadableBy configName term) => fun -> [Either ty term] -> m (Doc ann) Source #

Lay out interleaved function applications either as

foo {a} x {b} y z

or as

foo
  {a}
  x
  {b}
  y
  z

Lefts are laid out in braces, Rights are laid out without braces.

iterAppPrettyM :: (MonadPrettyContext config env m, PrettyBy config fun, PrettyBy config term) => fun -> [term] -> m (Doc ann) Source #

Lay out iterated function applications either as

foo x y z

or as

foo
  x
  y
  z

Utils

prettyBytes :: ByteString -> Doc ann Source #

newtype ConstConfig Source #

The type of configs used for pretty-printing constants. Has a RenderContext inside, so that we don't add redundant parens to the output.

Constructors

ConstConfig
Fields unConstConfig :: RenderContext

Instances

Instances details

HasRenderContext ConstConfig Source #
Instance details Defined in PlutusCore.Pretty.PrettyConst Methods renderContext :: Lens' ConstConfig RenderContext #
NonDefaultPrettyBy ConstConfig Text Source #
Instance details Defined in PlutusCore.Pretty.PrettyConst Methods nonDefaultPrettyBy :: ConstConfig -> Text -> Doc ann nonDefaultPrettyListBy :: ConstConfig -> [Text] -> Doc ann
NonDefaultPrettyBy ConstConfig Integer Source #
Instance details Defined in PlutusCore.Pretty.PrettyConst Methods nonDefaultPrettyBy :: ConstConfig -> Integer -> Doc ann nonDefaultPrettyListBy :: ConstConfig -> [Integer] -> Doc ann
NonDefaultPrettyBy ConstConfig () Source #
Instance details Defined in PlutusCore.Pretty.PrettyConst Methods nonDefaultPrettyBy :: ConstConfig -> () -> Doc ann nonDefaultPrettyListBy :: ConstConfig -> [()] -> Doc ann
NonDefaultPrettyBy ConstConfig Bool Source #
Instance details Defined in PlutusCore.Pretty.PrettyConst Methods nonDefaultPrettyBy :: ConstConfig -> Bool -> Doc ann nonDefaultPrettyListBy :: ConstConfig -> [Bool] -> Doc ann
PrettyBy ConstConfig ByteString Source #
Instance details Defined in PlutusCore.Pretty.PrettyConst Methods prettyBy :: ConstConfig -> ByteString -> Doc ann # prettyListBy :: ConstConfig -> [ByteString] -> Doc ann #
PrettyBy ConstConfig Element Source #
Instance details Defined in PlutusCore.Crypto.BLS12_381.G1 Methods prettyBy :: ConstConfig -> Element -> Doc ann # prettyListBy :: ConstConfig -> [Element] -> Doc ann #
PrettyBy ConstConfig Element Source #
Instance details Defined in PlutusCore.Crypto.BLS12_381.G2 Methods prettyBy :: ConstConfig -> Element -> Doc ann # prettyListBy :: ConstConfig -> [Element] -> Doc ann #
PrettyBy ConstConfig MlResult Source #
Instance details Defined in PlutusCore.Crypto.BLS12_381.Pairing Methods prettyBy :: ConstConfig -> MlResult -> Doc ann # prettyListBy :: ConstConfig -> [MlResult] -> Doc ann #
PrettyBy ConstConfig Data Source #
Instance details Defined in PlutusCore.Pretty.PrettyConst Methods prettyBy :: ConstConfig -> Data -> Doc ann # prettyListBy :: ConstConfig -> [Data] -> Doc ann #
PrettyBy ConstConfig K Source #
Instance details Defined in PlutusCore.Pretty.PrettyConst Methods prettyBy :: ConstConfig -> K -> Doc ann # prettyListBy :: ConstConfig -> [K] -> Doc ann #
PrettyBy ConstConfig Quantity Source #
Instance details Defined in PlutusCore.Pretty.PrettyConst Methods prettyBy :: ConstConfig -> Quantity -> Doc ann # prettyListBy :: ConstConfig -> [Quantity] -> Doc ann #
PrettyBy ConstConfig Value Source #
Instance details Defined in PlutusCore.Pretty.PrettyConst Methods prettyBy :: ConstConfig -> Value -> Doc ann # prettyListBy :: ConstConfig -> [Value] -> Doc ann #
Show a => DefaultPrettyBy ConstConfig (PrettyAny a) Source #
Instance details Defined in PlutusCore.Pretty.PrettyConst Methods defaultPrettyBy :: ConstConfig -> PrettyAny a -> Doc ann defaultPrettyListBy :: ConstConfig -> [PrettyAny a] -> Doc ann
DefaultPrettyBy ConstConfig (PrettyAny a) => NonDefaultPrettyBy ConstConfig (PrettyAny a) Source #
Instance details Defined in PlutusCore.Pretty.PrettyConst Methods nonDefaultPrettyBy :: ConstConfig -> PrettyAny a -> Doc ann nonDefaultPrettyListBy :: ConstConfig -> [PrettyAny a] -> Doc ann
PrettyConst a => NonDefaultPrettyBy ConstConfig (Vector a) Source #
Instance details Defined in PlutusCore.Pretty.PrettyConst Methods nonDefaultPrettyBy :: ConstConfig -> Vector a -> Doc ann nonDefaultPrettyListBy :: ConstConfig -> [Vector a] -> Doc ann
PrettyConst a => NonDefaultPrettyBy ConstConfig [a] Source #
Instance details Defined in PlutusCore.Pretty.PrettyConst Methods nonDefaultPrettyBy :: ConstConfig -> [a] -> Doc ann nonDefaultPrettyListBy :: ConstConfig -> [[a]] -> Doc ann
DefaultPrettyBy ConstConfig (PrettyAny a) => PrettyBy ConstConfig (PrettyAny a) Source #
Instance details Defined in PlutusCore.Pretty.PrettyConst Methods prettyBy :: ConstConfig -> PrettyAny a -> Doc ann # prettyListBy :: ConstConfig -> [PrettyAny a] -> Doc ann #
(PrettyConst a, PrettyConst b) => NonDefaultPrettyBy ConstConfig (a, b) Source #
Instance details Defined in PlutusCore.Pretty.PrettyConst Methods nonDefaultPrettyBy :: ConstConfig -> (a, b) -> Doc ann nonDefaultPrettyListBy :: ConstConfig -> [(a, b)] -> Doc ann
(Closed uni, Everywhere uni PrettyConst) => PrettyBy ConstConfig (ValueOf uni a) Source #
Instance details Defined in PlutusCore.Pretty.PrettyConst Methods prettyBy :: ConstConfig -> ValueOf uni a -> Doc ann # prettyListBy :: ConstConfig -> [ValueOf uni a] -> Doc ann #
(Closed uni, Everywhere uni PrettyConst) => PrettyBy ConstConfig (Some (ValueOf uni)) Source #
Instance details Defined in PlutusCore.Pretty.PrettyConst Methods prettyBy :: ConstConfig -> Some (ValueOf uni) -> Doc ann # prettyListBy :: ConstConfig -> [Some (ValueOf uni)] -> Doc ann #
type HasPrettyDefaults ConstConfig Source #
Instance details Defined in PlutusCore.Pretty.PrettyConst type HasPrettyDefaults ConstConfig = 'False

type PrettyConst = PrettyBy ConstConfig Source #

type PrettyUni (uni :: Type -> Type) = (PrettyParens (SomeTypeIn uni), Closed uni, Everywhere uni PrettyConst) Source #

The set of constraints we need to be able to print built-in types and their values.

type ThrowableBuiltins (uni :: Type -> Type) fun = (PrettyUni uni, Pretty fun, Typeable uni, Typeable fun) Source #

The set of constraints we need to be able to throw exceptions with things with built-in types and functions in them.

prettyConst :: PrettyConst a => RenderContext -> a -> Doc ann Source #

data Associativity #

Constructors

LeftAssociative
RightAssociative
NonAssociative

Instances

Instances details

Show Associativity
Instance details Defined in Text.Fixity.Internal Methods showsPrec :: Int -> Associativity -> ShowS Source # show :: Associativity -> String Source # showList :: [Associativity] -> ShowS Source #
Eq Associativity
Instance details Defined in Text.Fixity.Internal Methods (==) :: Associativity -> Associativity -> Bool Source # (/=) :: Associativity -> Associativity -> Bool Source #

type Fixity = FixityOver Precedence #

data FixityOver prec #

Constructors

Fixity
Fields _fixityAssociativity :: !Associativity _fixityPrecedence :: !prec

Instances

Instances details

Show prec => Show (FixityOver prec)
Instance details Defined in Text.Fixity.Internal Methods showsPrec :: Int -> FixityOver prec -> ShowS Source # show :: FixityOver prec -> String Source # showList :: [FixityOver prec] -> ShowS Source #
Eq prec => Eq (FixityOver prec)
Instance details Defined in Text.Fixity.Internal Methods (==) :: FixityOver prec -> FixityOver prec -> Bool Source # (/=) :: FixityOver prec -> FixityOver prec -> Bool Source #

type Precedence = Double #

type RenderContext = RenderContextOver Precedence #

data RenderContextOver prec #

Constructors

RenderContext
Fields _renderContextDirection :: !Direction _renderContextFixity :: !(FixityOver prec)

Instances

Instances details

HasRenderContext RenderContext
Instance details Defined in Text.PrettyBy.Fixity Methods renderContext :: Lens' RenderContext RenderContext #
PrettyBy RenderContext (DefaultUni a) Source #
Instance details Defined in PlutusCore.Default.Universe Methods prettyBy :: RenderContext -> DefaultUni a -> Doc ann # prettyListBy :: RenderContext -> [DefaultUni a] -> Doc ann #
PrettyBy RenderContext (SomeTypeIn DefaultUni) Source #
Instance details Defined in PlutusCore.Default.Universe Methods prettyBy :: RenderContext -> SomeTypeIn DefaultUni -> Doc ann # prettyListBy :: RenderContext -> [SomeTypeIn DefaultUni] -> Doc ann #
Show prec => Show (RenderContextOver prec)
Instance details Defined in Text.Fixity.Internal Methods showsPrec :: Int -> RenderContextOver prec -> ShowS Source # show :: RenderContextOver prec -> String Source # showList :: [RenderContextOver prec] -> ShowS Source #
Eq prec => Eq (RenderContextOver prec)
Instance details Defined in Text.Fixity.Internal Methods (==) :: RenderContextOver prec -> RenderContextOver prec -> Bool Source # (/=) :: RenderContextOver prec -> RenderContextOver prec -> Bool Source #

inContextM :: (a -> InContextM config (Doc ann)) -> config -> a -> Doc ann #

juxtPrettyM :: (MonadPrettyContext config env m, PrettyBy config a, PrettyBy config b) => a -> b -> m (Doc ann) #

newtype Sole a #

Constructors

Sole
Fields unSole :: a

Instances

Instances details

HasPrettyConfigName (Sole PrettyConfigName) Source #
Instance details Defined in PlutusCore.Pretty.ConfigName Methods toPrettyConfigName :: Sole PrettyConfigName -> PrettyConfigName Source #
HasPrettyConfig (Sole config) config
Instance details Defined in Text.PrettyBy.Fixity Methods prettyConfig :: Lens' (Sole config) config #
MonadReader (Sole config) (InContextM config)
Instance details Defined in Text.PrettyBy.Fixity Methods ask :: InContextM config (Sole config) Source # local :: (Sole config -> Sole config) -> InContextM config a -> InContextM config a Source # reader :: (Sole config -> a) -> InContextM config a Source #
type HasPrettyDefaults (Sole config) Source #
Instance details Defined in PlutusCore.Pretty.Extra type HasPrettyDefaults (Sole config) = HasPrettyDefaults config

botFixity :: Fixity #

botRenderContext :: RenderContext #

juxtFixity :: Fixity #

topFixity :: Fixity #

topRenderContext :: RenderContext #

unitFixity :: Fixity #

data Direction #

Constructors

ToTheLeft
ToTheRight

Instances

Instances details

Show Direction
Instance details Defined in Text.Fixity.Internal Methods showsPrec :: Int -> Direction -> ShowS Source # show :: Direction -> String Source # showList :: [Direction] -> ShowS Source #
Eq Direction
Instance details Defined in Text.Fixity.Internal Methods (==) :: Direction -> Direction -> Bool Source # (/=) :: Direction -> Direction -> Bool Source #

encloseIn :: Ord prec => (a -> a) -> RenderContextOver prec -> FixityOver prec -> a -> a #

class HasPrettyConfig env config | env -> config where #

Methods

prettyConfig :: Lens' env config #

Instances

Instances details

HasPrettyConfig (Sole config) config
Instance details Defined in Text.PrettyBy.Fixity Methods prettyConfig :: Lens' (Sole config) config #

type MonadPretty config env (m :: Type -> Type) = (MonadReader env m, HasPrettyConfig env config) #

displayM :: forall str a m env config. (MonadPretty config env m, PrettyBy config a, Render str) => a -> m str #

prettyM :: (MonadPretty config env m, PrettyBy config a) => a -> m (Doc ann) #

class HasRenderContext config where #

Methods

renderContext :: Lens' config RenderContext #

Instances

Instances details

HasRenderContext ConstConfig Source #
Instance details Defined in PlutusCore.Pretty.PrettyConst Methods renderContext :: Lens' ConstConfig RenderContext #
HasRenderContext RenderContext
Instance details Defined in Text.PrettyBy.Fixity Methods renderContext :: Lens' RenderContext RenderContext #
HasRenderContext (PrettyConfigReadable configName) Source #
Instance details Defined in PlutusCore.Pretty.Readable Methods renderContext :: Lens' (PrettyConfigReadable configName) RenderContext #

newtype InContextM config a #

Constructors

InContextM
Fields unInContextM :: Reader (Sole config) a

Instances

Instances details

Profunctor InContextM
Instance details Defined in PlutusCore.Pretty.Extra Methods dimap :: (a -> b) -> (c -> d) -> InContextM b c -> InContextM a d lmap :: (a -> b) -> InContextM b c -> InContextM a c rmap :: (b -> c) -> InContextM a b -> InContextM a c (#.) :: forall a b c q. Coercible c b => q b c -> InContextM a b -> InContextM a c (.#) :: forall a b c q. Coercible b a => InContextM b c -> q a b -> InContextM a c
Applicative (InContextM config)
Instance details Defined in Text.PrettyBy.Fixity Methods pure :: a -> InContextM config a Source # (<>) :: InContextM config (a -> b) -> InContextM config a -> InContextM config b Source # liftA2 :: (a -> b -> c) -> InContextM config a -> InContextM config b -> InContextM config c Source # (>) :: InContextM config a -> InContextM config b -> InContextM config b Source # (<*) :: InContextM config a -> InContextM config b -> InContextM config a Source #
Functor (InContextM config)
Instance details Defined in Text.PrettyBy.Fixity Methods fmap :: (a -> b) -> InContextM config a -> InContextM config b Source # (<$) :: a -> InContextM config b -> InContextM config a Source #
Monad (InContextM config)
Instance details Defined in Text.PrettyBy.Fixity Methods (>>=) :: InContextM config a -> (a -> InContextM config b) -> InContextM config b Source # (>>) :: InContextM config a -> InContextM config b -> InContextM config b Source # return :: a -> InContextM config a Source #
MonadReader (Sole config) (InContextM config)
Instance details Defined in Text.PrettyBy.Fixity Methods ask :: InContextM config (Sole config) Source # local :: (Sole config -> Sole config) -> InContextM config a -> InContextM config a Source # reader :: (Sole config -> a) -> InContextM config a Source #
(HasRenderContext config, doc ~ Doc ann) => IsString (InContextM config doc)
Instance details Defined in Text.PrettyBy.Fixity Methods fromString :: String -> InContextM config doc Source #

compoundDocM :: MonadPrettyContext config env m => Fixity -> ((forall a. PrettyBy config a => Direction -> Fixity -> a -> Doc ann) -> Doc ann) -> m (Doc ann) #

encloseM :: MonadPrettyContext config env m => Fixity -> Doc ann -> m (Doc ann) #

infixDocM :: MonadPrettyContext config env m => Fixity -> (AnyToDoc config ann -> AnyToDoc config ann -> Doc ann) -> m (Doc ann) #

runInContextM :: config -> InContextM config a -> a #

sequenceDocM :: MonadPrettyContext config env m => Direction -> Fixity -> (AnyToDoc config ann -> Doc ann) -> m (Doc ann) #

unitDocM :: MonadPrettyContext config env m => Doc ann -> m (Doc ann) #

withPrettyAt :: MonadPrettyContext config env m => Direction -> Fixity -> (AnyToDoc config ann -> m r) -> m r #

withPrettyIn :: MonadPrettyContext config env m => ((forall a. PrettyBy config a => Direction -> Fixity -> a -> Doc ann) -> m r) -> m r #

type AnyToDoc config ann = forall a. PrettyBy config a => a -> Doc ann #

type MonadPrettyContext config env (m :: Type -> Type) = (MonadPretty config env m, HasRenderContext config) #