| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
PlutusCore.Executable.Parsers
Description
Common option parsers for executables
Synopsis
- input ∷ Parser Input
- fileInput ∷ Parser Input
- stdInput ∷ Parser Input
- output ∷ Parser Output
- fileOutput ∷ Parser Output
- stdOutput ∷ Parser Output
- noOutput ∷ Parser Output
- formatHelp ∷ String
- formatReader ∷ String → Maybe Format
- inputformat ∷ Parser Format
- outputformat ∷ Parser Format
- tracemode ∷ Parser TraceMode
- files ∷ Parser Files
- applyOpts ∷ Parser ApplyOptions
- printmode ∷ Parser PrintMode
- nameformat ∷ Parser NameFormat
- certifier ∷ Parser Certifier
- printOpts ∷ Parser PrintOptions
- convertOpts ∷ Parser ConvertOptions
- certifierOutputMode ∷ Parser CertifierOutputMode
- simplifyOpts ∷ Parser (SimplifyOpts name a)
- optimiseOpts ∷ Parser (OptimiseOptions name a)
- exampleMode ∷ Parser ExampleMode
- exampleAvailable ∷ Parser ExampleMode
- exampleName ∷ Parser ExampleName
- exampleSingle ∷ Parser ExampleMode
- exampleOpts ∷ Parser ExampleOptions
- builtinSemanticsVariantReader ∷ String → Maybe (BuiltinSemanticsVariant DefaultFun)
- showBuiltinSemanticsVariant ∷ BuiltinSemanticsVariant DefaultFun → String
- builtinSemanticsVariant ∷ Parser (BuiltinSemanticsVariant DefaultFun)
- pirFormatHelp ∷ String
- pirFormatReader ∷ String → Maybe PirFormat
- pPirInputFormat ∷ Parser PirFormat
- pPirOutputFormat ∷ Parser PirFormat
- languageReader ∷ String → Maybe Language
- pLanguage ∷ Parser Language
Documentation
Parser for an input stream. If none is specified, default to stdin for ease of use in pipeline.
output ∷ Parser Output Source #
Parser for an output stream. If none is specified, default to stdout for ease of use in pipeline.
simplifyOpts ∷ Parser (SimplifyOpts name a) Source #
optimiseOpts ∷ Parser (OptimiseOptions name a) Source #