Emil Kirschner entzik

entzik / gist:c45d432d9d26f18950841e533ed8f959

Last active October 11, 2020 19:10

key.hs

	where
	...
	key (organizer, name): (Party, Text)
	maintainer (fst key)

entzik / soc.hs

Created October 11, 2020 19:05

	where
	signatory organizer
	observer voters
	ensure (unique voters) && (unique options)

entzik / lists.hs

Last active October 11, 2020 19:58

	choice AddVoter : ContractId Doodle
	with
	voter: Party
	controller organizer
	do
	assertMsg "this doodle has been opened for voting, cannot add voters" (not open)
	create this with voters = voter::voters

	choice RemoveVoter : ContractId Doodle
	with

entzik / addtolist.hs

Created October 16, 2020 20:56

	do
	create this with voters = voter::voters

entzik / removefromlist.hs

Created October 16, 2020 21:02

	do
	create this with voters = DA.List.delete voter voters

entzik / createcontract.hs

Last active October 16, 2020 21:51

create this with voters = DA.List.delete elementToDelete voters

entzik / issueinvites.hs

Last active October 16, 2020 22:15

	preconsuming choice IssueInvites : ContractId Doodle
	controller organizer
	do
	assertMsg "this doodle has been opened for voting, cannot issue any more invites" (not open)
	DA.Traversable.mapA
	(\voter -> create DoodleInvite
	with doodleName = this.name, organizer = this.organizer, voter = voter)
	voters
	-- archive self
	create this with open = True

entzik / foreach.java

Last active October 16, 2020 22:45

	public static <T, R> List<R> mapA(Function<T,R> function, List<T> list) {
	return list.stream().map(t -> function.apply(t)).collect(Collectors.toList());
	}

entzik / DoodleInvite.hs

Last active October 31, 2020 22:04

	template DoodleInvite
	with
	doodleName: Text
	organizer: Party
	voter: Party
	where
	signatory organizer
	observer voter
	key (organizer, voter, doodleName) : (Party, Party, Text)
	maintainer key._1

entzik / VoteChoice.hs

Last active October 31, 2020 22:31

	nonconsuming choice Vote : ContractId Doodle
	with
	option: Text
	controller voter
	do
	doodleContractId <- lookupByKey @Doodle (organizer, doodleName)
	doodleContract <- fetch (fromSome doodleContractId)
	assertMsg "this party does not own the doodle " (organizer == doodleContract.organizer)
	exercise (fromSome doodleContractId) CastVote with voter = this.voter, option = option, inviteId = self