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

add kind signatures to all agora decls

Browse source
This commit is contained in:
Emily Martins 2022-08-24 17:08:19 +02:00
parent 3317fa3529
commit 342ea6a60b
7 changed files with 30 additions and 21 deletions
Download patch file Download diff file Expand all files Collapse all files

6
agora/Agora/Proposal.hs
View file

@ -746,6 +746,7 @@ pisVotesEmpty = phoistAcyclic $
@since 0.1.0
-}
pwinner ::
forall (s :: S).
Term
s
( PProposalVotes
@ -766,6 +767,7 @@ pwinner = phoistAcyclic $
@since 0.1.0
-}
pwinner' ::
forall (s :: S).
Term
s
( PProposalVotes
@ -813,6 +815,7 @@ pwinner' = phoistAcyclic $
@since 0.1.0
-}
phighestVotes ::
forall (s :: S).
Term
s
( PProposalVotes
@ -835,6 +838,7 @@ phighestVotes = phoistAcyclic $
@since 0.1.0
-}
pneutralOption ::
forall (s :: S).
Term
s
( PMap 'Unsorted PResultTag PProposalEffectGroup
@ -883,7 +887,7 @@ pisProposalThresholdsValid = phoistAcyclic $
@since 0.1.0
-}
pretractVotes :: Term s (PResultTag :--> PInteger :--> PProposalVotes :--> PProposalVotes)
pretractVotes :: forall (s :: S). Term s (PResultTag :--> PInteger :--> PProposalVotes :--> PProposalVotes)
pretractVotes = phoistAcyclic $
plam $ \rt count votes ->
let voteMap :: Term _ (PMap 'Unsorted PResultTag PInteger)