Agda-2.4.2.2: A dependently typed functional programming language and proof assistant

Safe HaskellNone
LanguageHaskell98

Agda.TypeChecking.Monad.Base.KillRange

Contents

Description

KillRange instances for data structures from Base.

Synopsis

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.