import * as t from "io-ts/lib/index.js";
import { Contract } from "./contract.js";
import { ChoiceId, ChosenNum } from "./choices.js";
import { Party } from "./participants.js";
import { AccountId } from "./payee.js";
import { Token } from "./token.js";
/**
 * TODO: Comment
 * @see Section 2.1.6 and appendix E.11 of the {@link https://github.com/input-output-hk/marlowe/releases/download/v3/Marlowe.pdf | Marlowe spec}
 * @category Input
 */
export interface IChoice {
    for_choice_id: ChoiceId;
    input_that_chooses_num: ChosenNum;
}
/**
 * TODO: Comment
 * @see Section 2.1.6 and appendix E.11 of the {@link https://github.com/input-output-hk/marlowe/releases/download/v3/Marlowe.pdf | Marlowe spec}
 * @category Input
 */
export declare const IChoiceGuard: t.Type<IChoice>;
/**
 * TODO: Comment
 * @see Section 2.1.6 and appendix E.11 of the {@link https://github.com/input-output-hk/marlowe/releases/download/v3/Marlowe.pdf | Marlowe spec}
 * @category Input
 */
export interface IDeposit {
    input_from_party: Party;
    that_deposits: bigint;
    of_token: Token;
    into_account: AccountId;
}
/**
 * TODO: Comment
 * @see Section 2.1.6 and appendix E.11 of the {@link https://github.com/input-output-hk/marlowe/releases/download/v3/Marlowe.pdf | Marlowe spec}
 * @category Input
 */
export declare const IDepositGuard: t.TypeC<{
    input_from_party: t.UnionC<[t.Type<import("./participants.js").Address, import("./participants.js").Address, unknown>, t.Type<import("./participants.js").Role, import("./participants.js").Role, unknown>]>;
    that_deposits: t.BigIntC;
    of_token: t.Type<Token, Token, unknown>;
    into_account: t.UnionC<[t.Type<import("./participants.js").Address, import("./participants.js").Address, unknown>, t.Type<import("./participants.js").Role, import("./participants.js").Role, unknown>]>;
}>;
/**
 * Search [[lower-name-builders]]
 * @hidden
 */
export declare const inputNotify = "input_notify";
/**
 * TODO: Comment
 * @see Section 2.1.6 and appendix E.11 of the {@link https://github.com/input-output-hk/marlowe/releases/download/v3/Marlowe.pdf | Marlowe spec}
 * @category Input
 */
export type INotify = "input_notify";
/**
 * TODO: Comment
 * @see Section 2.1.6 and appendix E.11 of the {@link https://github.com/input-output-hk/marlowe/releases/download/v3/Marlowe.pdf | Marlowe spec}
 * @category Input
 */
export declare const INotifyGuard: t.Type<INotify>;
/**
 * TODO: Comment
 * @category Input
 */
export type BuiltinByteString = string;
/**
 * TODO: Comment
 * @category Input
 */
export declare const BuiltinByteStringGuard: t.Type<BuiltinByteString>;
/**
 * TODO: Comment
 * @category Input
 */
export type InputContent = IDeposit | IChoice | INotify;
/**
 * TODO: Comment
 * @category Input
 */
export declare const InputContentGuard: t.Type<InputContent>;
/**
 * TODO: Comment
 * @category Input
 */
export type NormalInput = InputContent;
/**
 * TODO: Comment
 * @category Input
 */
export declare const NormalInputGuard: t.Type<InputContent, InputContent, unknown>;
export interface MerkleizedHashAndContinuation {
    continuation_hash: BuiltinByteString;
    merkleized_continuation: Contract;
}
export declare const MerkleizedHashAndContinuationGuard: t.Type<MerkleizedHashAndContinuation>;
export type MerkleizedDeposit = IDeposit & MerkleizedHashAndContinuation;
export declare const MerkleizedDepositGuard: t.Type<MerkleizedDeposit>;
export type MerkleizedChoice = IChoice & MerkleizedHashAndContinuation;
export declare const MerkleizedChoiceGuard: t.Type<MerkleizedChoice>;
export type MerkleizedNotify = MerkleizedHashAndContinuation;
export declare const MerkleizedNotifyGuard: t.Type<MerkleizedHashAndContinuation, MerkleizedHashAndContinuation, unknown>;
/**
 * TODO: Revisit
 * @category Input
 */
export type MerkleizedInput = MerkleizedDeposit | MerkleizedChoice | MerkleizedNotify;
/**
 * TODO: Revisit
 * @category Input
 */
export declare const MerkleizedInputGuard: t.UnionC<[t.Type<MerkleizedDeposit, MerkleizedDeposit, unknown>, t.Type<MerkleizedChoice, MerkleizedChoice, unknown>, t.Type<MerkleizedHashAndContinuation, MerkleizedHashAndContinuation, unknown>]>;
/**
 * TODO: Revisit
 * @category Input
 */
export type Input = NormalInput | MerkleizedInput;
/**
 * TODO: Revisit
 * @category Input
 */
export declare const InputGuard: t.Type<Input>;
//# sourceMappingURL=inputs.d.ts.map