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

Safe HaskellSafe-Infered

Agda.Compiler.JS.Syntax

Documentation

data Export

Constructors

Export 

Fields

expName :: [MemberId]
 
defn :: Exp
 

class Uses a where

Methods

uses :: a -> Set [MemberId]

Instances

Uses Export 
Uses Exp 
Uses a => Uses [a] 
Uses a => Uses (Map k a) 

class Globals a where

Methods

globals :: a -> Set GlobalId

Instances