Agda-2.2.10: A dependently typed functional programming language and proof assistant
Source code
Contents
Index
Agda.TypeChecking.DisplayForm
Documentation
displayForm
::
QName
->
Args
->
TCM
(
Maybe
DisplayTerm
)
Source
matchDisplayForm
::
DisplayForm
->
Args
->
Maybe
DisplayTerm
Source
class
Match
a
where
Source
Methods
match
::
Nat
-> a -> a ->
Maybe
[
Term
]
Source
Produced by
Haddock
version 2.6.1