add missing doc strings

This commit is contained in:
fanghr 2022-05-20 01:10:24 +08:00
parent 3f5707eb86
commit bce9b45c25
No known key found for this signature in database
GPG key ID: 35CD9A71CD5D5870
2 changed files with 8 additions and 1 deletions

View file

@ -199,7 +199,10 @@ proposalTimingConfig =
, executingTime = 3000
}
-- FIXME: should be removed.
{- | Hard coded starting time of every propoal.
This will be calculated by the governor in the future.
FIXME: Remove this.
-}
tmpProposalStartingTime :: ProposalStartingTime
tmpProposalStartingTime = ProposalStartingTime 0

View file

@ -245,6 +245,10 @@ closedBoundedInterval from to = PlutusTx.intersection (PlutusTx.from from) (Plut
--------------------------------------------------------------------------------
{- | / O(n) /. The expression @'updateMap' f k v@ will update the value @x@ at key @k@.
If @f x@ is Nothing, the key-value pair will be deleted from the map, otherwise the
value will be updated.
-}
updateMap :: Eq k => (v -> Maybe v) -> k -> AssocMap.Map k v -> AssocMap.Map k v
updateMap f k =
AssocMap.mapMaybeWithKey