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