PlutusCore.Core.Instance.Pretty.Plc
Contents
Methods
prettyBy ∷ PrettyConfigPlc → Kind ann → Doc ann0 Source #
prettyListBy ∷ PrettyConfigPlc → [Kind ann] → Doc ann0 Source #
prettyBy ∷ PrettyConfigPlc → Type tyname uni ann → Doc ann0 Source #
prettyListBy ∷ PrettyConfigPlc → [Type tyname uni ann] → Doc ann0 Source #
prettyBy ∷ PrettyConfigPlc → Program tyname name uni fun ann → Doc ann0 Source #
prettyListBy ∷ PrettyConfigPlc → [Program tyname name uni fun ann] → Doc ann0 Source #
prettyBy ∷ PrettyConfigPlc → Term tyname name uni fun ann → Doc ann0 Source #
prettyListBy ∷ PrettyConfigPlc → [Term tyname name uni fun ann] → Doc ann0 Source #