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