| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Morley.Client.Parser
Contents
Synopsis
- data ClientArgs = ClientArgs MorleyClientConfig ClientArgsRaw
- data ClientArgsRaw where
- Originate :: OriginateArgs -> ClientArgsRaw
- GetScriptSize :: GetScriptSizeArgs -> ClientArgsRaw
- Transfer :: TransferArgs -> ClientArgsRaw
- TransferTicket :: TransferTicketArgs -> ClientArgsRaw
- GetBalance :: L1AddressKind kind => AddressOrAlias kind -> ClientArgsRaw
- GetBlockHeader :: BlockId -> ClientArgsRaw
- GetBlockOperations :: BlockId -> ClientArgsRaw
- TicketBalance :: SomeAddressOrAlias -> TicketBalanceArgs -> ClientArgsRaw
- AllTicketBalances :: ContractAddressOrAlias -> ClientArgsRaw
- data OriginateArgs = OriginateArgs {
- oaMbContractFile :: Maybe FilePath
- oaContractName :: ContractAlias
- oaInitialBalance :: Mutez
- oaInitialStorage :: Value
- oaOriginateFrom :: ImplicitAddressOrAlias
- oaMbFee :: Maybe Mutez
- oaDelegate :: Maybe KeyHash
- data TransferArgs = TransferArgs {
- taSender :: ImplicitAddressOrAlias
- taDestination :: SomeAddressOrAlias
- taAmount :: Mutez
- taParameter :: Value
- taMbFee :: Maybe Mutez
- data GetScriptSizeArgs = GetScriptSizeArgs {
- ssScriptFile :: FilePath
- ssStorage :: Value
- data TicketBalanceArgs = TicketBalanceArgs {
- tbaTicketer :: ContractAddress
- tbaContent :: Value
- tbaContentType :: Ty
- data TransferTicketArgs = TransferTicketArgs {
- ttaSender :: ImplicitAddressOrAlias
- ttaTicketContents :: Value
- ttaTicketType :: Ty
- ttaTicketTicketer :: ContractAddressOrAlias
- ttaTicketAmount :: Natural
- ttaDestination :: SomeAddressOrAlias
- ttaMbFee :: Maybe Mutez
- 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
- baseUrlReader :: ReadM BaseUrl
Documentation
data ClientArgs Source #
Constructors
| ClientArgs MorleyClientConfig ClientArgsRaw |
data ClientArgsRaw where Source #
Constructors
| Originate :: OriginateArgs -> ClientArgsRaw | |
| GetScriptSize :: GetScriptSizeArgs -> ClientArgsRaw | |
| Transfer :: TransferArgs -> ClientArgsRaw | |
| TransferTicket :: TransferTicketArgs -> ClientArgsRaw | |
| GetBalance :: L1AddressKind kind => AddressOrAlias kind -> ClientArgsRaw | |
| GetBlockHeader :: BlockId -> ClientArgsRaw | |
| GetBlockOperations :: BlockId -> ClientArgsRaw | |
| TicketBalance :: SomeAddressOrAlias -> TicketBalanceArgs -> ClientArgsRaw | |
| AllTicketBalances :: ContractAddressOrAlias -> ClientArgsRaw |
data OriginateArgs Source #
Constructors
| OriginateArgs | |
Fields
| |
data TransferArgs Source #
Constructors
| TransferArgs | |
Fields
| |
data GetScriptSizeArgs Source #
Constructors
| GetScriptSizeArgs | |
Fields
| |
data TicketBalanceArgs Source #
Constructors
| TicketBalanceArgs | |
Fields
| |
data TransferTicketArgs Source #
Constructors
| TransferTicketArgs | |
Fields
| |
addressOrAliasOption :: forall (kind :: AddressKind). (SingI kind, L1AddressKind kind) => Maybe (AddressOrAlias kind) -> ("name" :! String) -> ("help" :! String) -> Parser (AddressOrAlias kind) #
parserInfo :: ("usage" :! Doc) -> ("description" :! String) -> ("header" :! String) -> ("parser" :! Parser s) -> ParserInfo s #
contractNameOption :: Parser ContractAlias Source #