Safe Haskell	None
Language	Haskell2010

PlutusIR.Core.Instance.Pretty

Contents

Orphan instances

Orphan instances

PrettyBy (PrettyConfigClassic configName) Strictness Source #
Instance details Methods prettyBy :: PrettyConfigClassic configName -> Strictness -> Doc ann # prettyListBy :: PrettyConfigClassic configName -> [Strictness] -> Doc ann #
PrettyBy (PrettyConfigClassic configName) Recursivity Source #
Instance details Methods prettyBy :: PrettyConfigClassic configName -> Recursivity -> Doc ann # prettyListBy :: PrettyConfigClassic configName -> [Recursivity] -> Doc ann #
(PrettyClassicBy configName tyname, Pretty ann) => PrettyBy (PrettyConfigClassic configName) (TyVarDecl tyname ann) Source #
Instance details Methods prettyBy :: PrettyConfigClassic configName -> TyVarDecl tyname ann -> Doc ann0 # prettyListBy :: PrettyConfigClassic configName -> [TyVarDecl tyname ann] -> Doc ann0 #
(PrettyClassicBy configName tyname, PrettyClassicBy configName name, GShow uni, Closed uni, Everywhere uni PrettyConst, Pretty fun, Pretty ann) => PrettyBy (PrettyConfigClassic configName) (Program tyname name uni fun ann) Source #
Instance details 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, GShow uni, Closed uni, Everywhere uni PrettyConst, Pretty fun, Pretty ann) => PrettyBy (PrettyConfigClassic configName) (Term tyname name uni fun ann) Source #
Instance details Methods prettyBy :: PrettyConfigClassic configName -> Term tyname name uni fun ann -> Doc ann0 # prettyListBy :: PrettyConfigClassic configName -> [Term tyname name uni fun ann] -> Doc ann0 #
(PrettyClassicBy configName tyname, PrettyClassicBy configName name, GShow uni, Closed uni, Everywhere uni PrettyConst, Pretty fun, Pretty ann) => PrettyBy (PrettyConfigClassic configName) (Binding tyname name uni fun ann) Source #
Instance details Methods prettyBy :: PrettyConfigClassic configName -> Binding tyname name uni fun ann -> Doc ann0 # prettyListBy :: PrettyConfigClassic configName -> [Binding tyname name uni fun ann] -> Doc ann0 #
(PrettyClassicBy configName tyname, PrettyClassicBy configName name, GShow uni, Everywhere uni PrettyConst, Pretty ann) => PrettyBy (PrettyConfigClassic configName) (Datatype tyname name uni fun ann) Source #
Instance details Methods prettyBy :: PrettyConfigClassic configName -> Datatype tyname name uni fun ann -> Doc ann0 # prettyListBy :: PrettyConfigClassic configName -> [Datatype tyname name uni fun ann] -> Doc ann0 #
(PrettyClassicBy configName tyname, PrettyClassicBy configName name, GShow uni, Everywhere uni PrettyConst, Pretty ann) => PrettyBy (PrettyConfigClassic configName) (VarDecl tyname name uni fun ann) Source #
Instance details Methods prettyBy :: PrettyConfigClassic configName -> VarDecl tyname name uni fun ann -> Doc ann0 # prettyListBy :: PrettyConfigClassic configName -> [VarDecl tyname name uni fun ann] -> Doc ann0 #
(PrettyClassic tyname, Pretty ann) => Pretty (TyVarDecl tyname ann) Source #
Instance details Methods pretty :: TyVarDecl tyname ann -> Doc ann0 # prettyList :: [TyVarDecl tyname ann] -> Doc ann0 #
(PrettyClassic tyname, PrettyClassic name, GShow uni, Closed uni, Everywhere uni PrettyConst, Pretty fun, Pretty ann) => Pretty (Program tyname name uni fun ann) Source #
Instance details Methods pretty :: Program tyname name uni fun ann -> Doc ann0 # prettyList :: [Program tyname name uni fun ann] -> Doc ann0 #
(PrettyClassic tyname, PrettyClassic name, GShow uni, Closed uni, Everywhere uni PrettyConst, Pretty fun, Pretty ann) => Pretty (Term tyname name uni fun ann) Source #
Instance details Methods pretty :: Term tyname name uni fun ann -> Doc ann0 # prettyList :: [Term tyname name uni fun ann] -> Doc ann0 #
(PrettyClassic tyname, PrettyClassic name, GShow uni, Closed uni, Everywhere uni PrettyConst, Pretty fun, Pretty ann) => Pretty (Binding tyname name uni fun ann) Source #
Instance details Methods pretty :: Binding tyname name uni fun ann -> Doc ann0 # prettyList :: [Binding tyname name uni fun ann] -> Doc ann0 #
(PrettyClassic tyname, PrettyClassic name, GShow uni, Everywhere uni PrettyConst, Pretty ann) => Pretty (Datatype tyname name uni fun ann) Source #
Instance details Methods pretty :: Datatype tyname name uni fun ann -> Doc ann0 # prettyList :: [Datatype tyname name uni fun ann] -> Doc ann0 #
(PrettyClassic tyname, PrettyClassic name, GShow uni, Everywhere uni PrettyConst, Pretty ann) => Pretty (VarDecl tyname name uni fun ann) Source #
Instance details Methods pretty :: VarDecl tyname name uni fun ann -> Doc ann0 # prettyList :: [VarDecl tyname name uni fun ann] -> Doc ann0 #