Sulkta-OSS/agora
3
0
Fork 0
Code Issues 1 Pull requests Projects Releases Packages Wiki Activity Actions

bump plutarch/LPE/PCB; point plutarch to master branch

Browse source
This commit is contained in:
Hongrui Fang 2022-09-01 14:00:22 +08:00 • committed by 方泓睿
parent 00a3931df8
commit ce787fe19c
6 changed files with 618 additions and 1578 deletions
Download patch file Download diff file Expand all files Collapse all files

3
agora/Agora/Proposal.hs
View file

@ -728,6 +728,7 @@ phasNeutralEffect = phoistAcyclic $ PAssocMap.pany # PAssocMap.pnull
-}
pisEffectsVotesCompatible ::
forall (s :: S).
(PIsListLike PList PResultTag) =>
Term
s
( PMap 'Sorted PResultTag PProposalEffectGroup
@ -735,7 +736,7 @@ pisEffectsVotesCompatible ::
:--> PBool
)
pisEffectsVotesCompatible = phoistAcyclic $
plam $ \((PM.pkeys #) -> effectKeys) ((PM.pkeys #) . pto -> voteKeys) ->
plam $ \((PM.pkeys @PList #) -> effectKeys) ((PM.pkeys #) . pto -> voteKeys) ->
plistEquals # effectKeys # voteKeys
{- | Retutns true if vote counts of /all/ the options are zero.