Skip to content

Instantly share code, notes, and snippets.

View entzik's full-sized avatar

Emil Kirschner entzik

5 followers · 0 following
View GitHub Profile
@entzik
entzik / updatecontract.hs
Created November 8, 2020 20:47
assertMsg "each voter is only allowed to cast one vote per option" (notElem voter crtVotes.voted)
create this with votes = updatedVotes
@entzik
entzik / slotupdate.hs
Created November 8, 2020 20:44
VotingSlot with count = crtVotes.count + 1, voted = voter :: crtVotes.voted
@entzik
entzik / textmapinsert.hs
Created November 8, 2020 20:42
updatedVotes = DA.TextMap.insert option (VotingSlot with count = crtVotes.count + 1, voted = voter :: crtVotes.voted) this.votes
@entzik
entzik / gist:e55bb8f0185ac2c1069ae4e3cb31fb7d
Created November 8, 2020 20:40
fromOptional.hs
crtVotes = fromOptional (VotingSlot with count = 0, voted = []) (DA.TextMap.lookup option this.votes)
@entzik
entzik / CastVoteDetail.hs
Created November 4, 2020 23:27
do
invite <- fetch inviteId
...
let
crtVotes = fromOptional (VotingSlot with count = 0, voted = []) (DA.TextMap.lookup option this.votes)
updatedVotes = DA.TextMap.insert option (VotingSlot with count = crtVotes.count + 1, voted = voter :: crtVotes.voted) this.votes
assertMsg "each voter is only allowed to cast one vote per option" (notElem voter crtVotes.voted)
create this with votes = updatedVotes
@entzik
entzik / CastVote.hs
Created November 4, 2020 21:44
preconsuming choice CastVote: ContractId Doodle
with
voter: Party
option: Text
inviteId: ContractId DoodleInvite
controller voter
do
invite <- fetch inviteId
assertMsg "this invite was issued for a different doodle" (invite.doodleName == name)
assertMsg "the voter casting the vote does not match the voter who received the invite" (invite.voter == voter)
@entzik
entzik / Vote.hs
Created October 31, 2020 23:40
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
@entzik
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
@entzik
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
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());
}