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 DisplayTermSource

class Match a whereSource

Methods

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

Instances

Match Term 
Match a => Match [a] 
Match a => Match (Arg a)