Agda-2.2.6: 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
show/hide Instances
Match Term
Match a => Match ([] a)
Match a => Match (Arg a)
Produced by Haddock version 2.4.2