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

Safe HaskellNone
LanguageHaskell98

Agda.TypeChecking.Patterns.Abstract

Description

Tools to manipulate patterns in abstract syntax in the TCM (type checking monad).

Synopsis

Documentation

expandLitPattern :: NamedArg Pattern -> TCM (NamedArg Pattern) Source

Expand literal integer pattern into suc/zero constructor patterns.