Safe Haskell	None
Language	Haskell2010

Agda.Syntax.Internal.Names

Description

Extract all names from things.

Documentation

class NamesIn a where #

Methods

namesIn :: a -> Set QName #

namesIn :: (Foldable f, NamesIn b, f b ~ a) => a -> Set QName #

Instances

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

newtype PSyn #

Constructors

PSyn PatternSynDefn

Instances

NamesIn PSyn #
Instance details Defined in Agda.Syntax.Internal.Names Methods namesIn :: PSyn -> Set QName #