Agda-2.3.2: A dependently typed functional programming language and proof assistant
Agda.TypeChecking.DisplayForm
displayForm :: QName -> Args -> TCM (Maybe DisplayTerm)
matchDisplayForm :: DisplayForm -> Args -> TCM (Maybe DisplayTerm)
class Match a where
Methods
match :: Nat -> a -> a -> TCM (Maybe [Term])
Instances