plutus-core-1.60.0.0: Language library for Plutus Core
Safe HaskellSafe-Inferred
LanguageHaskell2010

PlutusCore.Default

Synopsis
Show (DefaultUni a) # 
Instance details

Defined in PlutusCore.Default.Universe

Methods

showsPrec :: Int -> DefaultUni a -> ShowS #

show :: DefaultUni a -> String #

showList :: [DefaultUni a] -> ShowS #

Pretty (DefaultUni a) #

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 (SomeTypeIn DefaultUni) # 
Instance details

Defined in PlutusCore.Default.Universe

Methods

pretty :: SomeTypeIn DefaultUni -> Doc ann #

prettyList :: [SomeTypeIn DefaultUni] -> Doc ann #

Contains DefaultUni Text)
type ToHoles DefaultUni hole Vector) => DefaultUni (Esc a1) -> DefaultUni a #

pattern DefaultUniPair :: forall {a} {k1} {k2} {f1 :: k1 -> k2} {a1 :: k1} {k3} {k4} {f2 :: k3 -> k4} {a2 :: k3}. () => forall. (a ~ Esc (f1 a1), Esc f1 ~ Esc (f2 a2), Esc f2 ~ Esc (,)) => DefaultUni (Esc a2) -> DefaultUni (Esc a1) -> DefaultUni a #

noMoreTypeFunctions :: DefaultUni (Esc (f :: a -> b -> c -> d)) -> any #

For pleasing the coverage checker.

module Universe

module PlutusCore.Default.Builtins