Safe Haskell	None
Language	Haskell2010

Plutus.Contract.Test.Coverage.Analysis.Pretty

Documentation

class Pretty a where Source #

Minimal complete definition

pretty | prettyPrec

Methods

pretty :: a -> Doc Source #

prettyPrec :: Int -> a -> Doc Source #

Instances

Instances details

Pretty Bool Source #
Instance details Defined in Plutus.Contract.Test.Coverage.Analysis.Pretty Methods pretty :: Bool -> Doc Source # prettyPrec :: Int -> Bool -> Doc Source #
Pretty Int Source #
Instance details Defined in Plutus.Contract.Test.Coverage.Analysis.Pretty Methods pretty :: Int -> Doc Source # prettyPrec :: Int -> Int -> Doc Source #
Pretty () Source #
Instance details Defined in Plutus.Contract.Test.Coverage.Analysis.Pretty Methods pretty :: () -> Doc Source # prettyPrec :: Int -> () -> Doc Source #
Pretty String Source #
Instance details Defined in Plutus.Contract.Test.Coverage.Analysis.Pretty Methods pretty :: String -> Doc Source # prettyPrec :: Int -> String -> Doc Source #
Pretty Doc Source #
Instance details Defined in Plutus.Contract.Test.Coverage.Analysis.Pretty Methods pretty :: Doc -> Doc Source # prettyPrec :: Int -> Doc -> Doc Source #
Pretty Text Source #
Instance details Defined in Plutus.Contract.Test.Coverage.Analysis.Pretty Methods pretty :: Text -> Doc Source # prettyPrec :: Int -> Text -> Doc Source #
Pretty DefaultFun Source #
Instance details Defined in Plutus.Contract.Test.Coverage.Analysis.Pretty Methods pretty :: DefaultFun -> Doc Source # prettyPrec :: Int -> DefaultFun -> Doc Source #
Pretty TyName Source #
Instance details Defined in Plutus.Contract.Test.Coverage.Analysis.Pretty Methods pretty :: TyName -> Doc Source # prettyPrec :: Int -> TyName -> Doc Source #
Pretty Name Source #
Instance details Defined in Plutus.Contract.Test.Coverage.Analysis.Pretty Methods pretty :: Name -> Doc Source # prettyPrec :: Int -> Name -> Doc Source #
Pretty NamedDeBruijn Source #
Instance details Defined in Plutus.Contract.Test.Coverage.Analysis.Pretty Methods pretty :: NamedDeBruijn -> Doc Source # prettyPrec :: Int -> NamedDeBruijn -> Doc Source #
Pretty NamedTyDeBruijn Source #
Instance details Defined in Plutus.Contract.Test.Coverage.Analysis.Pretty Methods pretty :: NamedTyDeBruijn -> Doc Source # prettyPrec :: Int -> NamedTyDeBruijn -> Doc Source #
Pretty Index Source #
Instance details Defined in Plutus.Contract.Test.Coverage.Analysis.Pretty Methods pretty :: Index -> Doc Source # prettyPrec :: Int -> Index -> Doc Source #
Pretty CovLoc Source #
Instance details Defined in Plutus.Contract.Test.Coverage.Analysis.Pretty Methods pretty :: CovLoc -> Doc Source # prettyPrec :: Int -> CovLoc -> Doc Source #
Pretty CoverageAnnotation Source #
Instance details Defined in Plutus.Contract.Test.Coverage.Analysis.Pretty Methods pretty :: CoverageAnnotation -> Doc Source # prettyPrec :: Int -> CoverageAnnotation -> Doc Source #
Pretty CoverageIndex Source #
Instance details Defined in Plutus.Contract.Test.Coverage.Analysis.Pretty Methods pretty :: CoverageIndex -> Doc Source # prettyPrec :: Int -> CoverageIndex -> Doc Source #
Pretty Weakening Source #
Instance details Defined in Plutus.Contract.Test.Coverage.Analysis.Pretty Methods pretty :: Weakening -> Doc Source # prettyPrec :: Int -> Weakening -> Doc Source #
Pretty DArg Source #
Instance details Defined in Plutus.Contract.Test.Coverage.Analysis.Pretty Methods pretty :: DArg -> Doc Source # prettyPrec :: Int -> DArg -> Doc Source #
Pretty DTyp Source #
Instance details Defined in Plutus.Contract.Test.Coverage.Analysis.Pretty Methods pretty :: DTyp -> Doc Source # prettyPrec :: Int -> DTyp -> Doc Source #
Pretty Dom Source #
Instance details Defined in Plutus.Contract.Test.Coverage.Analysis.Pretty Methods pretty :: Dom -> Doc Source # prettyPrec :: Int -> Dom -> Doc Source #
Pretty TyCtxEntry Source #
Instance details Defined in Plutus.Contract.Test.Coverage.Analysis.Pretty Methods pretty :: TyCtxEntry -> Doc Source # prettyPrec :: Int -> TyCtxEntry -> Doc Source #
Pretty DDat Source #
Instance details Defined in Plutus.Contract.Test.Coverage.Analysis.Pretty Methods pretty :: DDat -> Doc Source # prettyPrec :: Int -> DDat -> Doc Source #
Pretty DCon Source #
Instance details Defined in Plutus.Contract.Test.Coverage.Analysis.Pretty Methods pretty :: DCon -> Doc Source # prettyPrec :: Int -> DCon -> Doc Source #
Pretty a => Pretty [a] Source #
Instance details Defined in Plutus.Contract.Test.Coverage.Analysis.Pretty Methods pretty :: [a] -> Doc Source # prettyPrec :: Int -> [a] -> Doc Source #
Pretty a => Pretty (Maybe a) Source #
Instance details Defined in Plutus.Contract.Test.Coverage.Analysis.Pretty Methods pretty :: Maybe a -> Doc Source # prettyPrec :: Int -> Maybe a -> Doc Source #
Pretty a => Pretty (Set a) Source #
Instance details Defined in Plutus.Contract.Test.Coverage.Analysis.Pretty Methods pretty :: Set a -> Doc Source # prettyPrec :: Int -> Set a -> Doc Source #
Pretty (SomeTypeIn DefaultUni) Source #
Instance details Defined in Plutus.Contract.Test.Coverage.Analysis.Pretty Methods pretty :: SomeTypeIn DefaultUni -> Doc Source # prettyPrec :: Int -> SomeTypeIn DefaultUni -> Doc Source #
Pretty (Kind ann) Source #
Instance details Defined in Plutus.Contract.Test.Coverage.Analysis.Pretty Methods pretty :: Kind ann -> Doc Source # prettyPrec :: Int -> Kind ann -> Doc Source #
Pretty (CompiledCode a) Source #
Instance details Defined in Plutus.Contract.Test.Coverage.Analysis.Pretty Methods pretty :: CompiledCode a -> Doc Source # prettyPrec :: Int -> CompiledCode a -> Doc Source #
Pretty a => Pretty (SnocList a) Source #
Instance details Defined in Plutus.Contract.Test.Coverage.Analysis.Pretty Methods pretty :: SnocList a -> Doc Source # prettyPrec :: Int -> SnocList a -> Doc Source #
Pretty a => Pretty (NonNegative a) Source #
Instance details Defined in Plutus.Contract.Test.Coverage.Analysis.Pretty Methods pretty :: NonNegative a -> Doc Source # prettyPrec :: Int -> NonNegative a -> Doc Source #
(Pretty a, Pretty b) => Pretty (a, b) Source #
Instance details Defined in Plutus.Contract.Test.Coverage.Analysis.Pretty Methods pretty :: (a, b) -> Doc Source # prettyPrec :: Int -> (a, b) -> Doc Source #
(Pretty k, Pretty v) => Pretty (Map k v) Source #
Instance details Defined in Plutus.Contract.Test.Coverage.Analysis.Pretty Methods pretty :: Map k v -> Doc Source # prettyPrec :: Int -> Map k v -> Doc Source #
Pretty tyname => Pretty (TyVarDecl tyname ann) Source #
Instance details Defined in Plutus.Contract.Test.Coverage.Analysis.Pretty Methods pretty :: TyVarDecl tyname ann -> Doc Source # prettyPrec :: Int -> TyVarDecl tyname ann -> Doc Source #
Pretty (Some (ValueOf DefaultUni)) Source #
Instance details Defined in Plutus.Contract.Test.Coverage.Analysis.Pretty Methods pretty :: Some (ValueOf DefaultUni) -> Doc Source # prettyPrec :: Int -> Some (ValueOf DefaultUni) -> Doc Source #
(Pretty a, Pretty b, Pretty c) => Pretty (a, b, c) Source #
Instance details Defined in Plutus.Contract.Test.Coverage.Analysis.Pretty Methods pretty :: (a, b, c) -> Doc Source # prettyPrec :: Int -> (a, b, c) -> Doc Source #
PrettyTy tyname uni => Pretty (Type tyname uni ann) Source #
Instance details Defined in Plutus.Contract.Test.Coverage.Analysis.Pretty Methods pretty :: Type tyname uni ann -> Doc Source # prettyPrec :: Int -> Type tyname uni ann -> Doc Source #
PrettyTy tyname uni => Pretty (TyDecl tyname uni ann) Source #
Instance details Defined in Plutus.Contract.Test.Coverage.Analysis.Pretty Methods pretty :: TyDecl tyname uni ann -> Doc Source # prettyPrec :: Int -> TyDecl tyname uni ann -> Doc Source #
(Pretty name, Pretty (Some (ValueOf uni)), Pretty fun) => Pretty (Program name uni fun ann) Source #
Instance details Defined in Plutus.Contract.Test.Coverage.Analysis.Pretty Methods pretty :: Program name uni fun ann -> Doc Source # prettyPrec :: Int -> Program name uni fun ann -> Doc Source #
(Pretty name, Pretty (Some (ValueOf uni)), Pretty fun) => Pretty (Term name uni fun ann) Source #
Instance details Defined in Plutus.Contract.Test.Coverage.Analysis.Pretty Methods pretty :: Term name uni fun ann -> Doc Source # prettyPrec :: Int -> Term name uni fun ann -> Doc Source #
PrettyTm tyname name uni fun => Pretty (Term tyname name uni fun ann) Source #
Instance details Defined in Plutus.Contract.Test.Coverage.Analysis.Pretty Methods pretty :: Term tyname name uni fun ann -> Doc Source # prettyPrec :: Int -> Term tyname name uni fun ann -> Doc Source #
PrettyTm tyname name uni fun => Pretty (Datatype tyname name uni fun ann) Source #
Instance details Defined in Plutus.Contract.Test.Coverage.Analysis.Pretty Methods pretty :: Datatype tyname name uni fun ann -> Doc Source # prettyPrec :: Int -> Datatype tyname name uni fun ann -> Doc Source #
PrettyTm tyname name uni fun => Pretty (Program tyname name uni fun ann) Source #
Instance details Defined in Plutus.Contract.Test.Coverage.Analysis.Pretty Methods pretty :: Program tyname name uni fun ann -> Doc Source # prettyPrec :: Int -> Program tyname name uni fun ann -> Doc Source #
PrettyTm tyname name uni fun => Pretty (Binding tyname name uni fun ann) Source #
Instance details Defined in Plutus.Contract.Test.Coverage.Analysis.Pretty Methods pretty :: Binding tyname name uni fun ann -> Doc Source # prettyPrec :: Int -> Binding tyname name uni fun ann -> Doc Source #
(PrettyTy tyname uni, Pretty name) => Pretty (VarDecl tyname name uni fun ann) Source #
Instance details Defined in Plutus.Contract.Test.Coverage.Analysis.Pretty Methods pretty :: VarDecl tyname name uni fun ann -> Doc Source # prettyPrec :: Int -> VarDecl tyname name uni fun ann -> Doc Source #

(<?>) :: Doc -> Doc -> Doc Source #

pParen :: Bool -> Doc -> Doc Source #

type PrettyTm tyname name uni fun = (Eq tyname, Pretty tyname, Pretty name, Pretty (SomeTypeIn uni), Pretty (Some (ValueOf uni)), Pretty fun) Source #

type PrettyTy tyname uni = (Eq tyname, Pretty tyname, Pretty (SomeTypeIn uni)) Source #

ppTyBind :: Pretty tyname => (tyname, Kind ann) -> Doc Source #

ppAbstr :: Pretty b => Int -> (arg -> Doc) -> Doc -> ([arg], b) -> Doc Source #

ppApp :: PrettyTm tyname name uni fun => Int -> Term tyname name uni fun ann -> Doc Source #

ppApp' :: PrettyTm tyname name uni fun => Int -> Doc -> [Either (Type tyname uni ann) (Term tyname name uni fun ann)] -> Doc Source #

viewApp :: Term tyname name uni fun ann -> (Term tyname name uni fun ann, [Either (Type tyname uni ann) (Term tyname name uni fun ann)]) Source #

ppSubst :: Pretty a => Subst a -> Doc Source #

angles :: Doc -> Doc Source #