DefaultGenesis returns the default genesis state.

DefaultParams returns a default set of parameters.

NewInterpreter creates a new Interpreter with the given options.

NewLimits creates a new Limits object.

NewParams creates a new Params object.

ParamKeyTable the param key table for launch module.

RegisterInterfaces registers the interfaces types with the interface registry.

RegisterLegacyAminoCodec registers concrete types on the LegacyAmino codec.

RegisterQueryServiceHandler registers the http handlers for service QueryService to "mux".

RegisterQueryServiceHandlerClient registers the http handlers for service QueryService to "mux".

RegisterQueryServiceHandlerFromEndpoint is same as RegisterQueryServiceHandler but automatically dials to "endpoint" and closes the connection when "ctx" gets done.

RegisterQueryServiceHandlerServer registers the http handlers for service QueryService to "mux".

WithBootstrap sets the bootstrap program.

WithMaxGas sets the max gas limits for interpreter.

WithMaxResultCount sets the maximum number of results that can be requested for a query.

WithMaxSize sets the max size limits accepted for a prolog program.

WithMaxUserOutputSize specifies the maximum number of bytes to keep in the user output.

WithPredicatesBlacklist sets the blacklist of predicates.

WithPredicatesWhitelist sets the whitelist of predicates.

WithVirtualFilesBlacklist sets the blacklist of predicates.

WithVirtualFilesWhitelist sets the whitelist of predicates.

AuthKeeperContextKey is the context key for the auth keeper.

BankKeeperContextKey is the context key for the bank keeper.

DefaultIndex is the default global index.

MemStoreKey defines the in-memory store key.

ModuleName defines the module name.

RouterKey defines the module's message routing key.

StoreKey defines the primary module store key.

Internal is returned when an internal error occurs.

Parameter store keys.

Parameter store keys.

LimitExceeded is returned when a limit is exceeded.

Parameter store keys.

Answer represents the answer to a logic query.

Filter defines the parameters for filtering the set of strings which can designate anything.

GasPolicy defines the policy for calculating predicate invocation costs and the resulting gas consumption.

GenesisState defines the logic module's genesis state.

Interpreter defines the various parameters for the interpreter.

Limits defines the limits of the logic module.

MsgUpdateParams defines a Msg for updating the x/logic module parameters.

MsgUpdateParamsResponse defines the response structure for executing a MsgUpdateParams message.

Params defines all the configuration parameters of the "logic" module.

PredicateCost defines the unit cost of a predicate during its invocation by the interpreter.

QueryServiceAskRequest is request type for the QueryService/Ask RPC method.

QueryServiceAskResponse is response type for the QueryService/Ask RPC method.

QueryServiceParamsRequest is request type for the QueryService/Params RPC method.

QueryServiceParamsResponse is response type for the QueryService/Params RPC method.

Result represents the result of a query.

Substitution represents a substitution made to the variables in the query to obtain the answer.

UnimplementedMsgServiceServer can be embedded to have forward compatible implementations.

UnimplementedQueryServiceServer can be embedded to have forward compatible implementations.

AccountKeeper defines the expected account keeper used for simulations (noalias).

BankKeeper defines the expected interface needed to retrieve account balances.

MsgServiceClient is the client API for MsgService service.

MsgServiceServer is the server API for MsgService service.

QueryServiceClient is the client API for QueryService service.

QueryServiceServer is the server API for QueryService service.

WasmKeeper defines the expected interface needed to request smart contracts.

ContextKey is a type for context keys.

InterpreterOption is a functional option for configuring the Interpreter.

LimitsOption is a functional option for configuring the Limits.