Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
Documentation
data ProposalStore m a where Source #
StoreProposal :: GroupId -> Epoch -> ProposalRef -> ProposalOrigin -> RawMLS Proposal -> ProposalStore m () | |
GetProposal :: GroupId -> Epoch -> ProposalRef -> ProposalStore m (Maybe (RawMLS Proposal)) | |
GetAllPendingProposalRefs :: GroupId -> Epoch -> ProposalStore m [ProposalRef] | |
GetAllPendingProposals :: GroupId -> Epoch -> ProposalStore m [(Maybe ProposalOrigin, RawMLS Proposal)] | |
DeleteAllProposals :: GroupId -> ProposalStore m () |
deleteAllProposals :: forall r. Member ProposalStore r => GroupId -> Sem r () Source #
getAllPendingProposals :: forall r. Member ProposalStore r => GroupId -> Epoch -> Sem r [(Maybe ProposalOrigin, RawMLS Proposal)] Source #
getAllPendingProposalRefs :: forall r. Member ProposalStore r => GroupId -> Epoch -> Sem r [ProposalRef] Source #
getProposal :: forall r. Member ProposalStore r => GroupId -> Epoch -> ProposalRef -> Sem r (Maybe (RawMLS Proposal)) Source #
storeProposal :: forall r. Member ProposalStore r => GroupId -> Epoch -> ProposalRef -> ProposalOrigin -> RawMLS Proposal -> Sem r () Source #