Some or all of the QNames that can be found in the given thing.
ModuleAgda-2.8.0.2Haskell2010
Agda.Syntax.Internal.Names
Extract all names and meta-variables from things.
- 1 type
- 1 class
- 5 values
- PackageAgda-2.8.0.2
- Exports7
- LanguageHaskell2010
- LicenceMIT
- SourceNames.hs
Some or all of the QNames that can be found in the given thing.
Some or all of the meta-variables that can be found in the given thing.
Some or all of the meta-variables that can be found in the given thing.
Some or all of the names and meta-variables that can be found in the given thing.
Methods
namesAndMetasIn' :: Monoid m => (Either QName MetaId -> m) -> a -> mSome or all of the names and meta-variables that can be found in the given thing.
Instances60NamesIn, …
NamesIn AmbiguousQNameDefined in Agda-2.8.0.2 · Agda.Syntax.Internal.NamesNamesIn QNameDefined in Agda-2.8.0.2 · Agda.Syntax.Internal.NamesNamesIn MetaIdDefined in Agda-2.8.0.2 · Agda.Syntax.Internal.NamesNamesIn ClauseDefined in Agda-2.8.0.2 · Agda.Syntax.Internal.NamesNamesIn ConHeadDefined in Agda-2.8.0.2 · Agda.Syntax.Internal.NamesNamesIn ConPatternInfoDefined in Agda-2.8.0.2 · Agda.Syntax.Internal.NamesNamesIn LevelDefined in Agda-2.8.0.2 · Agda.Syntax.Internal.NamesNamesIn PlusLevelDefined in Agda-2.8.0.2 · Agda.Syntax.Internal.NamesNamesIn SortDefined in Agda-2.8.0.2 · Agda.Syntax.Internal.NamesNamesIn TermDefined in Agda-2.8.0.2 · Agda.Syntax.Internal.NamesNamesIn PSynDefined in Agda-2.8.0.2 · Agda.Syntax.Internal.NamesNamesIn LiteralDefined in Agda-2.8.0.2 · Agda.Syntax.Internal.NamesNamesIn CaseInfoDefined in Agda-2.8.0.2 · Agda.Syntax.Internal.NamesNamesIn CaseTypeDefined in Agda-2.8.0.2 · Agda.Syntax.Internal.NamesNamesIn CompiledDefined in Agda-2.8.0.2 · Agda.Syntax.Internal.NamesNamesIn TAltDefined in Agda-2.8.0.2 · Agda.Syntax.Internal.NamesNamesIn TTermDefined in Agda-2.8.0.2 · Agda.Syntax.Internal.NamesNamesIn CompiledClausesDefined in Agda-2.8.0.2 · Agda.Syntax.Internal.NamesNamesIn CompKitDefined in Agda-2.8.0.2 · Agda.Syntax.Internal.NamesNamesIn DefinitionDefined in Agda-2.8.0.2 · Agda.Syntax.Internal.NamesNamesIn DefnDefined in Agda-2.8.0.2 · Agda.Syntax.Internal.NamesNamesIn DisplayFormDefined in Agda-2.8.0.2 · Agda.Syntax.Internal.NamesNamesIn DisplayTermDefined in Agda-2.8.0.2 · Agda.Syntax.Internal.NamesNamesIn ExtLamInfoDefined in Agda-2.8.0.2 · Agda.Syntax.Internal.NamesNamesIn NLPSortDefined in Agda-2.8.0.2 · Agda.Syntax.Internal.NamesNamesIn NLPTypeDefined in Agda-2.8.0.2 · Agda.Syntax.Internal.NamesNamesIn NLPatDefined in Agda-2.8.0.2 · Agda.Syntax.Internal.NamesNamesIn PrimFunDefined in Agda-2.8.0.2 · Agda.Syntax.Internal.NamesNote that the primFunImplementation is skipped.
NamesIn RewriteRuleDefined in Agda-2.8.0.2 · Agda.Syntax.Internal.NamesNamesIn SectionDefined in Agda-2.8.0.2 · Agda.Syntax.Internal.NamesNamesIn SystemDefined in Agda-2.8.0.2 · Agda.Syntax.Internal.NamesNamesIn BoolDefined in Agda-2.8.0.2 · Agda.Syntax.Internal.NamesNamesIn (Pattern' a)Defined in Agda-2.8.0.2 · Agda.Syntax.Internal.NamesNamesIn (Pattern' a)Defined in Agda-2.8.0.2 · Agda.Syntax.Internal.NamesNamesIn a => NamesIn (Arg a)Defined in Agda-2.8.0.2 · Agda.Syntax.Internal.NamesNamesIn a => NamesIn (FieldAssignment' a)Defined in Agda-2.8.0.2 · Agda.Syntax.Internal.NamesNamesIn a => NamesIn (Abs a)Defined in Agda-2.8.0.2 · Agda.Syntax.Internal.NamesNamesIn a => NamesIn (Substitution' a)Defined in Agda-2.8.0.2 · Agda.Syntax.Internal.NamesNamesIn a => NamesIn (Tele a)Defined in Agda-2.8.0.2 · Agda.Syntax.Internal.NamesNamesIn a => NamesIn (Type' a)Defined in Agda-2.8.0.2 · Agda.Syntax.Internal.NamesNamesIn a => NamesIn (Elim' a)Defined in Agda-2.8.0.2 · Agda.Syntax.Internal.NamesNamesIn a => NamesIn (Case a)Defined in Agda-2.8.0.2 · Agda.Syntax.Internal.NamesNamesIn a => NamesIn (WithArity a)Defined in Agda-2.8.0.2 · Agda.Syntax.Internal.NamesNamesIn a => NamesIn (Builtin a)Defined in Agda-2.8.0.2 · Agda.Syntax.Internal.NamesNamesIn a => NamesIn (FunctionInverse' a)Defined in Agda-2.8.0.2 · Agda.Syntax.Internal.NamesNamesIn a => NamesIn (Open a)Defined in Agda-2.8.0.2 · Agda.Syntax.Internal.NamesNamesIn a => NamesIn (List1 a)Defined in Agda-2.8.0.2 · Agda.Syntax.Internal.NamesNamesIn a => NamesIn (Set a)Defined in Agda-2.8.0.2 · Agda.Syntax.Internal.NamesNamesIn a => NamesIn (Maybe a)Defined in Agda-2.8.0.2 · Agda.Syntax.Internal.NamesNamesIn a => NamesIn (Maybe a)Defined in Agda-2.8.0.2 · Agda.Syntax.Internal.NamesNamesIn a => NamesIn [a]Defined in Agda-2.8.0.2 · Agda.Syntax.Internal.NamesNamesIn a => NamesIn (Named n a)Defined in Agda-2.8.0.2 · Agda.Syntax.Internal.NamesNamesIn a => NamesIn (Map k a)Defined in Agda-2.8.0.2 · Agda.Syntax.Internal.Names(NamesIn a, NamesIn b) => NamesIn (Dom' a b)Defined in Agda-2.8.0.2 · Agda.Syntax.Internal.Names(NamesIn a, NamesIn b) => NamesIn (HashMap a b)Defined in Agda-2.8.0.2 · Agda.Syntax.Internal.Names(NamesIn a, NamesIn b) => NamesIn (a, b)Defined in Agda-2.8.0.2 · Agda.Syntax.Internal.Names(NamesIn a, NamesIn b, NamesIn c) => NamesIn (a, b, c)Defined in Agda-2.8.0.2 · Agda.Syntax.Internal.Names(NamesIn a, NamesIn b, NamesIn c, NamesIn d) => NamesIn (a, b, c, d)Defined in Agda-2.8.0.2 · Agda.Syntax.Internal.Names(NamesIn a, NamesIn b, NamesIn c, NamesIn d, NamesIn e) => NamesIn (a, b, c, d, e)Defined in Agda-2.8.0.2 · Agda.Syntax.Internal.Names(NamesIn a, NamesIn b, NamesIn c, NamesIn d, NamesIn e, NamesIn f) => NamesIn (a, b, c, d, e, f)Defined in Agda-2.8.0.2 · Agda.Syntax.Internal.Names