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

Agda.TypeChecking.DisplayForm

Documentation

displayForm :: QName -> Args -> TCM (Maybe DisplayTerm)Source

matchDisplayForm :: DisplayForm -> Args -> Maybe DisplayTerm Source

class Match a whereSource

Methods

match :: Nat -> a -> a -> Maybe [Term]Source