Agda-2.4.0: A dependently typed functional programming language and proof assistant
Agda.Compiler.JS.Syntax
data Exp Source
Constructors
Instances
newtype LocalId Source
newtype GlobalId Source
newtype MemberId Source
data Export Source
Fields
data Module Source
class Uses a whereSource
Methods
uses :: a -> Set [MemberId]Source
class Globals a whereSource
globals :: a -> Set GlobalIdSource