Morley.Client.Parser

Documentation

data ClientArgs

Constructors

ClientArgs MorleyClientConfig ClientArgsRaw

data ClientArgsRaw where

Constructors

Originate :: OriginateArgs -> ClientArgsRaw

GetScriptSize :: GetScriptSizeArgs -> ClientArgsRaw

Transfer :: TransferArgs -> ClientArgsRaw

GetBalance :: L1AddressKind kind => AddressOrAlias kind -> ClientArgsRaw

GetBlockHeader :: BlockId -> ClientArgsRaw

GetBlockOperations :: BlockId -> ClientArgsRaw

data OriginateArgs

Constructors

OriginateArgs

Fields

• oaMbContractFile :: Maybe FilePath
• oaContractName :: ContractAlias
• oaInitialBalance :: Mutez
• oaInitialStorage :: Value
• oaOriginateFrom :: ImplicitAddressOrAlias
• oaMbFee :: Maybe Mutez

data TransferArgs

Constructors

TransferArgs

Fields

• taSender :: ImplicitAddressOrAlias
• taDestination :: SomeAddressOrAlias
• taAmount :: Mutez
• taParameter :: Value
• taMbFee :: Maybe Mutez

data GetScriptSizeArgs

Constructors

GetScriptSizeArgs

Fields

• ssScriptFile :: FilePath
• ssStorage :: Value

addressOrAliasOption :: forall (kind :: AddressKind). (SingI kind, L1AddressKind kind) => Maybe (AddressOrAlias kind) -> ("name" :! String) -> ("help" :! String) -> Parser (AddressOrAlias kind)

clientConfigParser :: Parser MorleyClientConfig

morleyClientInfo :: ParserInfo ClientArgs

parserInfo :: ("usage" :! Doc) -> ("description" :! String) -> ("header" :! String) -> ("parser" :! Parser s) -> ParserInfo s

originateArgsOption :: Parser OriginateArgs

mbContractFileOption :: Parser (Maybe FilePath)

contractNameOption :: Parser ContractAlias

Parser utilities

baseUrlReader :: ReadM BaseUrl

Utility reader to use in parsing BaseUrl.