Agda-2.5.1: A dependently typed functional programming language and proof assistant
Agda.Syntax.Internal.Names
Description
Extract all names from things.
class NamesIn a where Source
Methods
namesIn :: a -> Set QName Source
Instances
namesInFoldable :: (Foldable f, NamesIn a) => f a -> Set QName Source
newtype PSyn Source
Constructors