morley-1.7.0: Developer tools for the Michelson Language
Safe HaskellNone
LanguageHaskell2010

Morley.CLI

Description

Utilities for parsing Morley types using optparse-applicative.

Synopsis

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.

nowOption :: Parser (Maybe Timestamp) Source #

Parser for the time returned by NOW instruction.

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.

Orphan instances