Safe Haskell	None
Language	Haskell98

Agda.Syntax.Internal.Names

Description

Extract all names from things.

Documentation

class NamesIn a where Source

Methods

Instances

NamesIn AmbiguousQName Source
NamesIn QName Source
NamesIn Literal Source
NamesIn Clause Source
NamesIn LevelAtom Source
NamesIn PlusLevel Source
NamesIn Level Source
NamesIn Sort Source
NamesIn Term Source
NamesIn ConHead Source
NamesIn CompiledClauses Source
NamesIn Defn Source
NamesIn Definition Source
NamesIn DisplayTerm Source
NamesIn DisplayForm Source
NamesIn PSyn Source
NamesIn a => NamesIn [a] Source
NamesIn a => NamesIn (Maybe a) Source
NamesIn a => NamesIn (Dom a) Source
NamesIn a => NamesIn (Arg a) Source
NamesIn a => NamesIn (FieldAssignment' a) Source
NamesIn (Pattern' a) Source
NamesIn (Pattern' a) Source
NamesIn a => NamesIn (ClauseBodyF a) Source
NamesIn a => NamesIn (Tele a) Source
NamesIn a => NamesIn (Type' a) Source
NamesIn a => NamesIn (Abs a) Source
NamesIn a => NamesIn (Elim' a) Source
NamesIn a => NamesIn (Case a) Source
NamesIn a => NamesIn (WithArity a) Source
NamesIn a => NamesIn (Open a) Source
(NamesIn a, NamesIn b) => NamesIn (a, b) Source
NamesIn a => NamesIn (Named n a) Source
(NamesIn a, NamesIn b, NamesIn c) => NamesIn (a, b, c) Source

Constructors

Instances