Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusCore.Executable.Common

Synopsis

module PlutusCore.Executable.Types
class PrintBudgetState cost
data SomeExample
- = SomeTypedExample SomeTypedExample
- | SomeUntypedExample SomeUntypedExample
data SomeTypedExample
- = SomeTypeExample TypeExample
- | SomeTypedTermExample TypedTermExample
newtype SomeUntypedExample = SomeUntypedTermExample UntypedTermExample
newtype UntypedTermExample = UntypedTermExample (Doc a #

getUplcExamples :: IO [(ExampleName, SomeExample)] #

Get available untyped examples. Currently the untyped examples are obtained by erasing typed ones, but it might be useful to have some untyped ones that can't be obtained by erasure.

helpText #

Arguments

:: SrcSpan) #

Parse a program. The first argument (normally the file path) describes the input stream, the second is the program text.

printBudgetState :: PrintBudgetState cost => PrettyConfigPlc (p ann)) => Output -> Format -> PrintMode -> p ann -> IO () #

writeToOutput :: Show a => Output -> a -> IO () #