Safe Haskell	None
Language	Haskell98

Agda.Syntax.Internal.Names

Description

Extract all names from things.

Documentation

class NamesIn a where Source #

Minimal complete definition

namesIn

Methods

namesIn :: a -> Set QName Source #

Instances

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

namesInFoldable :: (Foldable f, NamesIn a) => f a -> Set QName Source #

newtype PSyn Source #

Constructors

PSyn PatternSynDefn

Instances

NamesIn PSyn Source #
Methods namesIn :: PSyn -> Set QName Source #