| Safe Haskell | Safe-Inferred |
|---|---|
| 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)
- minBlockTimeOption :: 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 :: SingI kind => Maybe (KindedAddress kind) -> ("name" :! String) -> ("help" :! String) -> Parser (KindedAddress kind)
- aliasOption :: (SingI kind, L1AddressKind kind) => String -> Parser (Alias kind)
- addressOrAliasOption :: (SingI kind, L1AddressKind kind) => Maybe (AddressOrAlias kind) -> ("name" :! String) -> ("help" :! String) -> Parser (AddressOrAlias kind)
- someAddressOrAliasOption :: Maybe SomeAddressOrAlias -> ("name" :! String) -> ("help" :! String) -> Parser SomeAddressOrAlias
- onelineOption :: Parser Bool
- entrypointOption :: ("name" :! String) -> ("help" :! String) -> Parser EpName
- mTextOption :: Maybe MText -> ("name" :! String) -> ("help" :! String) -> Parser MText
- payloadOption :: Parser ByteString
- timeOption :: Parser TLTime
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 :: SingI kind => Maybe (KindedAddress kind) -> ("name" :! String) -> ("help" :! String) -> Parser (KindedAddress kind) Source #
Generic parser to read an option of KindedAddress type.
aliasOption :: (SingI kind, L1AddressKind kind) => String -> Parser (Alias kind) Source #
addressOrAliasOption :: (SingI kind, L1AddressKind kind) => Maybe (AddressOrAlias kind) -> ("name" :! String) -> ("help" :! String) -> Parser (AddressOrAlias kind) Source #
Generic parser to read an option of AddressOrAlias type.
someAddressOrAliasOption :: Maybe SomeAddressOrAlias -> ("name" :! String) -> ("help" :! String) -> Parser SomeAddressOrAlias Source #
Generic parser to read an option of SomeAddressOrAlias 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.
payloadOption :: Parser ByteString Source #
Parser for timelocked chest payload.
timeOption :: Parser TLTime Source #
Parser for timelocked chest time.