plutus-tx-plugin-1.30.0.0: The Plutus Tx compiler and GHC plugin
Safe HaskellSafe-Inferred
LanguageHaskell2010

PlutusTx.Options

Synopsis

Documentation

type OptionKey = Text Source #

type OptionValue = Text Source #

data Implication a Source #

A data type representing option a implying option b.

Constructors

∀ b. Implication (a → Bool) (Lens' PluginOptions b) b 

data PluginOption Source #

A plugin option definition for a PluginOptions field of type a.

Constructors

∀ a.Pretty a ⇒ PluginOption 

Fields

pluginOptions ∷ Map OptionKey PluginOption Source #

Definition of plugin options.

flag ∷ (a → a) → OptionKeyMaybe OptionValue → Validation ParseError (a → a) Source #

plcParserOptionParser a → OptionKeyMaybe OptionValue → Validation ParseError (a → a) Source #

readOptionRead a ⇒ OptionKeyMaybe OptionValue → Validation ParseError (a → a) Source #

fromReadOptionRead a ⇒ OptionKey → (a → Validation ParseError b) → Maybe OptionValue → Validation ParseError (b → b) Source #

Obtain an option value of type a from an Int.

toKeyValue ∷ CommandLineOption → (OptionKey, Maybe OptionValue) Source #

parsePluginOptions ∷ [CommandLineOption] → Validation ParseErrors PluginOptions Source #

Parses the arguments that were given to ghc at commandline as "-fplugin-opt PlutusTx.Plugin:opt" or "-fplugin-opt PlutusTx.Plugin:opt=val"