add missing doc strings
This commit is contained in:
parent
ec48f4de95
commit
67a5f3a54d
2 changed files with 8 additions and 1 deletions
|
|
@ -199,7 +199,10 @@ proposalTimingConfig =
|
||||||
, executingTime = 3000
|
, 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
|
||||||
tmpProposalStartingTime = ProposalStartingTime 0
|
tmpProposalStartingTime = ProposalStartingTime 0
|
||||||
|
|
||||||
|
|
|
||||||
|
|
@ -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 :: Eq k => (v -> Maybe v) -> k -> AssocMap.Map k v -> AssocMap.Map k v
|
||||||
updateMap f k =
|
updateMap f k =
|
||||||
AssocMap.mapMaybeWithKey
|
AssocMap.mapMaybeWithKey
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue