Safe Haskell | None |
---|---|
Language | Haskell98 |
KillRange
instances for data structures from Agda.TypeChecking.Monad.Base.
- killRangeMap :: (KillRange k, KillRange v) => KillRangeT (Map k v)
Documentation
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.