Agda.Compiler.Treeless.EliminateLiteralPatterns

Converts case matches on literals to if cascades with equality comparisons.

Documentation

eliminateLiteralPatterns :: TTerm -> TCM TTerm

data BuiltinKit

Constructors

BuiltinKit

Fields

• nat :: Maybe QName
• int :: Maybe QName

transform :: BuiltinKit -> TTerm -> TTerm