Skip to content

Instantly share code, notes, and snippets.

@da-blog
Created August 1, 2023 15:46
Show Gist options
  • Save da-blog/a6e641609c276b952d767556d9bab3f3 to your computer and use it in GitHub Desktop.
Save da-blog/a6e641609c276b952d767556d9bab3f3 to your computer and use it in GitHub Desktop.
data Roletype = Citizen | HealthClinic | StateHealthAgency | InsuranceCompany
deriving (Eq, Show)
template Network
with
operator : Party
where
signatory operator
controller operator can
nonconsuming InviteParty : ContractId PartyInvitation
with
party : Party
roletype : Roletype
do
create PartyInvitation with party, operator, roletype
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment