Agda.Compiler.JS.Syntax

Documentation

data Exp

Constructors

Self

Local LocalId

Global GlobalId

Undefined

String String

Char Char

Integer Integer

Double Double

Lambda Nat Exp

Object (Map MemberId Exp)

Apply Exp [Exp]

Lookup Exp MemberId

If Exp Exp Exp

BinOp Exp String Exp

PreOp String Exp

Const String

Instances

Show Exp

Globals Exp

Uses Exp

Pretty Exp

EmbPrj Exp

Typeable * Exp

newtype LocalId

Constructors

LocalId Nat

Instances

Eq LocalId

Ord LocalId

Show LocalId

Pretty LocalId

EmbPrj LocalId

Typeable * LocalId

newtype GlobalId

Constructors

GlobalId [String]

Instances

Eq GlobalId

Ord GlobalId

Show GlobalId

Pretty GlobalId

EmbPrj GlobalId

Typeable * GlobalId

newtype MemberId

Constructors

MemberId String

Instances

Eq MemberId

Ord MemberId

Show MemberId

Pretty MemberId

EmbPrj MemberId

Typeable * MemberId

data Export

Constructors

Export

Fields

expName :: [MemberId]

defn :: Exp

Instances

Show Export

Globals Export

Uses Export

Typeable * Export

data Module

Constructors

Module

Fields

modName :: GlobalId

exports :: [Export]

Instances

Show Module

Globals Module

Pretty Module

Typeable * Module

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

Globals Module

Globals Export

Globals Exp

Globals a => Globals [a]

Globals a => Globals (Map k a)