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

PlutusTx.Options

Synopsis

Documentation

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

pluginOptionsMap OptionKey PluginOption Source #

Definition of plugin options.

flag ∷ (a → a) → OptionKeyMaybe OptionValueValidation ParseError (a → a) Source #

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

Obtain an option value of type a from an Int.

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"