Packages

package HealthInsurance

Ordering
  1. Alphabetic
Visibility
  1. Public
  2. Protected

Type Members

  1. final case class AcceptAndSettleClaim(cashId: ContractId[Cash]) extends ValueRef with Product with Serializable
  2. final case class AddObserver(party: Party) extends ValueRef with Product with Serializable
  3. final case class Claim(insurer: Party, doctor: Party, client: Party, paymentBank: Party, treatment: Text, fee: Amount) extends Template[Claim] with Product with Serializable
  4. final case class CreateClaim(treatment: Text, doctor: Party, fee: Amount) extends ValueRef with Product with Serializable
  5. final case class Policy(insurer: Party, client: Party, paymentBank: Party, treatments: List[Text], observers: List[Party]) extends Template[Policy] with Product with Serializable

Value Members

  1. object AcceptAndSettleClaim extends ValueRefCompanion with (ContractId[Cash]) => AcceptAndSettleClaim with Serializable
  2. object AddObserver extends ValueRefCompanion with (Party) => AddObserver with Serializable
  3. object Claim extends TemplateCompanion[Claim] with (Party, Party, Party, Party, Text, Amount) => Claim with Serializable
  4. object CreateClaim extends ValueRefCompanion with (Text, Party, Amount) => CreateClaim with Serializable
  5. object Policy extends TemplateCompanion[Policy] with (Party, Party, Party, List[Text], List[Party]) => Policy with Serializable

Ungrouped