| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Morley.CLI
Description
Utilities for parsing Morley types using optparse-applicative.
Synopsis
- parserInfo :: ("usage" :! Doc) -> ("description" :! String) -> ("header" :! String) -> ("parser" :! Parser s) -> ParserInfo s
- contractFileOption :: Parser FilePath
- nowOption :: Parser (Maybe Timestamp)
- levelOption :: Parser (Maybe Natural)
- maxStepsOption :: Parser Word64
- dbPathOption :: Parser FilePath
- txDataOption :: Parser TxData
- keyHashOption :: Maybe KeyHash -> ("name" :! String) -> ("help" :! String) -> Parser KeyHash
- secretKeyOption :: Maybe SecretKey -> ("name" :! String) -> ("help" :! String) -> Parser SecretKey
- valueOption :: Maybe Value -> ("name" :! String) -> ("help" :! String) -> Parser Value
- mutezOption :: Maybe Mutez -> ("name" :! String) -> ("help" :! String) -> Parser Mutez
- addressOption :: Maybe Address -> ("name" :! String) -> ("help" :! String) -> Parser Address
- onelineOption :: Parser Bool
- entrypointOption :: ("name" :! String) -> ("help" :! String) -> Parser EpName
- mTextOption :: Maybe MText -> ("name" :! String) -> ("help" :! String) -> Parser MText
Full parsers
parserInfo :: ("usage" :! Doc) -> ("description" :! String) -> ("header" :! String) -> ("parser" :! Parser s) -> ParserInfo s Source #
Full parser for a client.
Options
contractFileOption :: Parser FilePath Source #
Parser for path to a contract code.
maxStepsOption :: Parser Word64 Source #
Parser for gas limit on contract execution.
dbPathOption :: Parser FilePath Source #
Parser for path to database with Morley state.
txDataOption :: Parser TxData Source #
Parser for transaction parameters.
keyHashOption :: Maybe KeyHash -> ("name" :! String) -> ("help" :! String) -> Parser KeyHash Source #
Generic parser to read an option of KeyHash type.
secretKeyOption :: Maybe SecretKey -> ("name" :! String) -> ("help" :! String) -> Parser SecretKey Source #
Generic parser to read an option of SecretKey type.
valueOption :: Maybe Value -> ("name" :! String) -> ("help" :! String) -> Parser Value Source #
Generic parser to read an option of Value type.
mutezOption :: Maybe Mutez -> ("name" :! String) -> ("help" :! String) -> Parser Mutez Source #
Generic parser to read an option of Mutez type.
addressOption :: Maybe Address -> ("name" :! String) -> ("help" :! String) -> Parser Address Source #
Generic parser to read an option of Address type.
onelineOption :: Parser Bool Source #
--oneline flag.
entrypointOption :: ("name" :! String) -> ("help" :! String) -> Parser EpName Source #
Generic parser to read an option of EpName type.
mTextOption :: Maybe MText -> ("name" :! String) -> ("help" :! String) -> Parser MText Source #
Generic parser to read an option of MText type.