> ## Documentation Index
> Fetch the complete documentation index at: https://cantonfoundation-generated-references-json-api-reference-up.mintlify.site/llms.txt
> Use this file to discover all available pages before exploring further.

# Splice.Types

> Documentation for Splice.Types

## Data Types

<div id="type-splice-types-fordso-8725">
  **data** ForDso
</div>

> The group of contracts managed by the DSO party.
>
> Used for checked fetches.
>
> <div id="constr-splice-types-fordso-8586">
>   ForDso
> </div>
>
> > | Field | Type                                                                                     | Description |
> > | ----- | ---------------------------------------------------------------------------------------- | ----------- |
> > | dso   | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) |             |
>
> **instance** [Eq](/appdev/reference/daml-standard-library/prelude#class-ghc-classes-eq-22713) ForDso
>
> **instance** [Show](/appdev/reference/daml-standard-library/prelude#class-ghc-show-show-65360) ForDso
>
> **instance** GetField "dso" ForDso [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932)
>
> **instance** SetField "dso" ForDso [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932)
>
> **instance** HasCheckedFetch DevelopmentFundCoupon ForDso
>
> **instance** HasCheckedFetch FeaturedAppActivityMarker ForDso
>
> **instance** HasCheckedFetch UnclaimedDevelopmentFundCoupon ForDso
>
> **instance** HasCheckedFetch UnclaimedReward ForDso
>
> **instance** HasCheckedFetch ValidatorRewardCoupon ForDso
>
> **instance** HasCheckedFetch AmuletAllocation ForDso
>
> **instance** HasCheckedFetch AmuletRules ForDso
>
> **instance** HasCheckedFetch MemberTraffic ForDso
>
> **instance** HasCheckedFetch TransferCommand ForDso
>
> **instance** HasCheckedFetch ExternalPartyConfigState ForDso
>
> **instance** HasCheckedFetch ClosedMiningRound ForDso
>
> **instance** HasCheckedFetch IssuingMiningRound ForDso
>
> **instance** HasCheckedFetch OpenMiningRound ForDso
>
> **instance** HasCheckedFetch SummarizingMiningRound ForDso
>
> **instance** HasCheckedFetch ValidatorLicense ForDso
>
> **instance** HasCheckedFetch AllocationView ForDso
>
> **instance** HasCheckedFetch TransferInstructionView ForDso

<div id="type-splice-types-forowner-62144">
  **data** ForOwner
</div>

> The group of contracts managed by the DSO party and owned by a specific party.
>
> Used for checked fetches.
>
> <div id="constr-splice-types-forowner-89915">
>   ForOwner
> </div>
>
> > | Field | Type                                                                                     | Description |
> > | ----- | ---------------------------------------------------------------------------------------- | ----------- |
> > | dso   | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) |             |
> > | owner | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) |             |
>
> **instance** [Eq](/appdev/reference/daml-standard-library/prelude#class-ghc-classes-eq-22713) ForOwner
>
> **instance** [Show](/appdev/reference/daml-standard-library/prelude#class-ghc-show-show-65360) ForOwner
>
> **instance** GetField "dso" ForOwner [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932)
>
> **instance** GetField "owner" ForOwner [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932)
>
> **instance** SetField "dso" ForOwner [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932)
>
> **instance** SetField "owner" ForOwner [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932)
>
> **instance** HasCheckedFetch Amulet ForOwner
>
> **instance** HasCheckedFetch AppRewardCoupon ForOwner
>
> **instance** HasCheckedFetch DevelopmentFundCoupon ForOwner
>
> **instance** HasCheckedFetch FeaturedAppActivityMarker ForOwner
>
> **instance** HasCheckedFetch LockedAmulet ForOwner
>
> **instance** HasCheckedFetch SvRewardCoupon ForOwner
>
> **instance** HasCheckedFetch UnclaimedActivityRecord ForOwner
>
> **instance** HasCheckedFetch TransferPreapproval ForOwner
>
> **instance** HasCheckedFetch TransferCommandCounter ForOwner
>
> **instance** HasCheckedFetch ValidatorFaucetCoupon ForOwner
>
> **instance** HasCheckedFetch ValidatorLivenessActivityRecord ForOwner
>
> **instance** HasCheckedFetch HoldingView ForOwner

<div id="type-splice-types-forround-72197">
  **data** ForRound
</div>

> The group of contracts managed by the DSO party for a specific mining round.
>
> Used for checked fetches.
>
> <div id="constr-splice-types-forround-96474">
>   ForRound
> </div>
>
> > | Field | Type                                                                                     | Description |
> > | ----- | ---------------------------------------------------------------------------------------- | ----------- |
> > | dso   | [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932) |             |
> > | round | Round                                                                                    |             |
>
> **instance** [Eq](/appdev/reference/daml-standard-library/prelude#class-ghc-classes-eq-22713) ForRound
>
> **instance** [Show](/appdev/reference/daml-standard-library/prelude#class-ghc-show-show-65360) ForRound
>
> **instance** GetField "dso" ForRound [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932)
>
> **instance** GetField "round" ForRound Round
>
> **instance** SetField "dso" ForRound [Party](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-party-57932)
>
> **instance** SetField "round" ForRound Round
>
> **instance** HasCheckedFetch ClosedMiningRound ForRound
>
> **instance** HasCheckedFetch IssuingMiningRound ForRound
>
> **instance** HasCheckedFetch OpenMiningRound ForRound
>
> **instance** HasCheckedFetch SummarizingMiningRound ForRound

<div id="type-splice-types-round-16181">
  **data** Round
</div>

> <div id="constr-splice-types-round-29804">
>   Round
> </div>
>
> > | Field  | Type                                                                            | Description |
> > | ------ | ------------------------------------------------------------------------------- | ----------- |
> > | number | [Int](/appdev/reference/daml-standard-library/prelude#type-ghc-types-int-37261) |             |
>
> **instance** [Eq](/appdev/reference/daml-standard-library/prelude#class-ghc-classes-eq-22713) Round
>
> **instance** [Ord](/appdev/reference/daml-standard-library/prelude#class-ghc-classes-ord-6395) Round
>
> **instance** [Show](/appdev/reference/daml-standard-library/prelude#class-ghc-show-show-65360) Round
>
> **instance** GetField "createdAt" ExpiringAmount Round
>
> **instance** GetField "firstReceivedFor" FaucetState Round
>
> **instance** GetField "holdingFeesOpenRoundNumber" ExternalPartyConfigState Round
>
> **instance** GetField "initialRound" AmuletRules\_Bootstrap\_RoundsResult ([Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) Round)
>
> **instance** GetField "issuingMiningRounds" TransferContext ([Map](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-map-90052) Round ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) IssuingMiningRound))
>
> **instance** GetField "issuingMiningRounds" TransferContextSummary ([Map](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-map-90052) Round IssuingMiningRound)
>
> **instance** GetField "issuingMiningRounds" TransferContextSummaryV2 ([Map](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-map-90052) Round IssuingMiningRound)
>
> **instance** GetField "lastReceivedFor" FaucetState Round
>
> **instance** GetField "number" Round [Int](/appdev/reference/daml-standard-library/prelude#type-ghc-types-int-37261)
>
> **instance** GetField "openRoundNumber" TransferContextSummaryV2 Round
>
> **instance** GetField "round" (AmuletCreateSummary amuletContractId) Round
>
> **instance** GetField "round" AmuletExpireSummary Round
>
> **instance** GetField "round" AppRewardCoupon Round
>
> **instance** GetField "round" SvRewardCoupon Round
>
> **instance** GetField "round" ValidatorRewardCoupon Round
>
> **instance** GetField "round" AmuletRules\_BuyMemberTrafficResult Round
>
> **instance** GetField "round" TransferResult Round
>
> **instance** GetField "round" ClosedMiningRound Round
>
> **instance** GetField "round" IssuingMiningRound Round
>
> **instance** GetField "round" OpenMiningRound Round
>
> **instance** GetField "round" SummarizingMiningRound Round
>
> **instance** GetField "round" ForRound Round
>
> **instance** GetField "round" ValidatorFaucetCoupon Round
>
> **instance** GetField "round" ValidatorLivenessActivityRecord Round
>
> **instance** SetField "createdAt" ExpiringAmount Round
>
> **instance** SetField "firstReceivedFor" FaucetState Round
>
> **instance** SetField "holdingFeesOpenRoundNumber" ExternalPartyConfigState Round
>
> **instance** SetField "initialRound" AmuletRules\_Bootstrap\_RoundsResult ([Optional](/appdev/reference/daml-standard-library/prelude#type-da-internal-prelude-optional-37153) Round)
>
> **instance** SetField "issuingMiningRounds" TransferContext ([Map](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-map-90052) Round ([ContractId](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-contractid-95282) IssuingMiningRound))
>
> **instance** SetField "issuingMiningRounds" TransferContextSummary ([Map](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-map-90052) Round IssuingMiningRound)
>
> **instance** SetField "issuingMiningRounds" TransferContextSummaryV2 ([Map](/appdev/reference/daml-standard-library/prelude#type-da-internal-lf-map-90052) Round IssuingMiningRound)
>
> **instance** SetField "lastReceivedFor" FaucetState Round
>
> **instance** SetField "number" Round [Int](/appdev/reference/daml-standard-library/prelude#type-ghc-types-int-37261)
>
> **instance** SetField "openRoundNumber" TransferContextSummaryV2 Round
>
> **instance** SetField "round" (AmuletCreateSummary amuletContractId) Round
>
> **instance** SetField "round" AmuletExpireSummary Round
>
> **instance** SetField "round" AppRewardCoupon Round
>
> **instance** SetField "round" SvRewardCoupon Round
>
> **instance** SetField "round" ValidatorRewardCoupon Round
>
> **instance** SetField "round" AmuletRules\_BuyMemberTrafficResult Round
>
> **instance** SetField "round" TransferResult Round
>
> **instance** SetField "round" ClosedMiningRound Round
>
> **instance** SetField "round" IssuingMiningRound Round
>
> **instance** SetField "round" OpenMiningRound Round
>
> **instance** SetField "round" SummarizingMiningRound Round
>
> **instance** SetField "round" ForRound Round
>
> **instance** SetField "round" ValidatorFaucetCoupon Round
>
> **instance** SetField "round" ValidatorLivenessActivityRecord Round

## Functions

<div id="function-splice-types-isdefinedround-76197">
  isDefinedRound
  : Round -> [Bool](/appdev/reference/daml-standard-library/prelude#type-ghc-types-bool-66265)

  Check if a round has a positive round number
</div>