Safe Haskell | None |
---|---|
Language | Haskell2010 |
Agda.Syntax.Internal.Names
Description
Extract all names from things.
Documentation
Minimal complete definition
Instances
NamesIn AmbiguousQName # | |
NamesIn QName # | |
NamesIn Literal # | |
NamesIn Clause # | |
NamesIn LevelAtom # | |
NamesIn PlusLevel # | |
NamesIn Level # | |
NamesIn Sort # | |
NamesIn Term # | |
NamesIn ConHead # | |
NamesIn CompiledClauses # | |
NamesIn Defn # | |
NamesIn Definition # | |
NamesIn DisplayTerm # | |
NamesIn DisplayForm # | |
NamesIn PSyn # | |
NamesIn a => NamesIn [a] # | |
NamesIn a => NamesIn (Maybe a) # | |
NamesIn a => NamesIn (Dom a) # | |
NamesIn a => NamesIn (Arg a) # | |
NamesIn a => NamesIn (FieldAssignment' a) # | |
NamesIn (Pattern' a) # | |
NamesIn a => NamesIn (Tele a) # | |
NamesIn a => NamesIn (Type' a) # | |
NamesIn a => NamesIn (Abs a) # | |
NamesIn a => NamesIn (Elim' a) # | |
NamesIn (Pattern' a) # | |
NamesIn a => NamesIn (Case a) # | |
NamesIn a => NamesIn (WithArity a) # | |
NamesIn a => NamesIn (Local a) # | |
NamesIn a => NamesIn (Open a) # | |
(NamesIn a, NamesIn b) => NamesIn (a, b) # | |
NamesIn a => NamesIn (Named n a) # | |
(NamesIn a, NamesIn b, NamesIn c) => NamesIn (a, b, c) # | |