Agda-2.5.2: A dependently typed functional programming language and proof assistant

Safe HaskellNone
LanguageHaskell2010

Agda.Compiler.JS.Syntax

Documentation

newtype LocalId #

Constructors

LocalId Nat 

data Export #

Constructors

Export 

Fields

Instances

data Module #

Constructors

Module 

Instances

class Uses a where #

Minimal complete definition

uses

Methods

uses :: a -> Set [MemberId] #

Instances

Uses Export # 

Methods

uses :: Export -> Set [MemberId] #

Uses Exp # 

Methods

uses :: Exp -> Set [MemberId] #

Uses a => Uses [a] # 

Methods

uses :: [a] -> Set [MemberId] #

Uses a => Uses (Map k a) # 

Methods

uses :: Map k a -> Set [MemberId] #

class Globals a where #

Minimal complete definition

globals

Methods

globals :: a -> Set GlobalId #

Instances

Globals Module # 

Methods

globals :: Module -> Set GlobalId #

Globals Export # 

Methods

globals :: Export -> Set GlobalId #

Globals Exp # 

Methods

globals :: Exp -> Set GlobalId #

Globals a => Globals [a] # 

Methods

globals :: [a] -> Set GlobalId #

Globals a => Globals (Map k a) # 

Methods

globals :: Map k a -> Set GlobalId #