Safe Haskell | None |
---|
Agda.TypeChecking.Monad.Base.KillRange
- killRangeMap :: (KillRange k, KillRange v) => KillRangeT (Map k v)
KillRange on CompiledClause
KillRange on standard data types and Utils
killRangeMap :: (KillRange k, KillRange v) => KillRangeT (Map k v)Source
Remove ranges in keys and values of a map.