ModuleAgda-2.8.0.2Haskell2010

Agda.Compiler.JS.Syntax

8 types
2 classes

PackageAgda-2.8.0.2
Exports10
LanguageHaskell2010
LicenceMIT

datadata Exp

Constructors

Self
Local LocalId
Global GlobalId
Undefined
Null
String Text
Char Char
Integer Integer
Double Double
Lambda Nat Exp
Object (Map MemberId Exp)
Array [(Comment, Exp)]
Apply Exp [Exp]
Lookup Exp MemberId
If Exp Exp Exp
BinOp Exp String Exp
PreOp String Exp
Const String
PlainJS String
Arbitrary JS code.

Instances5Eq, Show, Uses, Pretty, Globals

Eq ExpDefined in Agda-2.8.0.2 · Agda.Compiler.JS.Syntax
Show ExpDefined in Agda-2.8.0.2 · Agda.Compiler.JS.Syntax
Uses ExpDefined in Agda-2.8.0.2 · Agda.Compiler.JS.Syntax
Pretty ExpDefined in Agda-2.8.0.2 · Agda.Compiler.JS.Pretty
Globals ExpDefined in Agda-2.8.0.2 · Agda.Compiler.JS.Syntax

newtypenewtype LocalId

Constructors

LocalId Nat

Instances4Eq, Ord, Show, Pretty

Eq LocalIdDefined in Agda-2.8.0.2 · Agda.Compiler.JS.Syntax
Ord LocalIdDefined in Agda-2.8.0.2 · Agda.Compiler.JS.Syntax
Show LocalIdDefined in Agda-2.8.0.2 · Agda.Compiler.JS.Syntax
Pretty LocalIdDefined in Agda-2.8.0.2 · Agda.Compiler.JS.Pretty

newtypenewtype GlobalId

Constructors

GlobalId [String]

Instances5Eq, Ord, Show, Pretty

Eq GlobalIdDefined in Agda-2.8.0.2 · Agda.Compiler.JS.Syntax
Ord GlobalIdDefined in Agda-2.8.0.2 · Agda.Compiler.JS.Syntax
Show GlobalIdDefined in Agda-2.8.0.2 · Agda.Compiler.JS.Syntax
Pretty GlobalIdDefined in Agda-2.8.0.2 · Agda.Compiler.JS.Pretty
Pretty [(GlobalId, Export)]Defined in Agda-2.8.0.2 · Agda.Compiler.JS.Pretty

datadata MemberId

Constructors

MemberId String
MemberIndex Int Comment

Instances4Eq, Ord, Show, Pretty

Eq MemberIdDefined in Agda-2.8.0.2 · Agda.Compiler.JS.Syntax
Ord MemberIdDefined in Agda-2.8.0.2 · Agda.Compiler.JS.Syntax
Show MemberIdDefined in Agda-2.8.0.2 · Agda.Compiler.JS.Syntax
Pretty MemberIdDefined in Agda-2.8.0.2 · Agda.Compiler.JS.Pretty

newtypenewtype Comment

Constructors

Comment String

Instances8Eq, Ord, Show, Semigroup, Monoid, Uses, …

Eq CommentDefined in Agda-2.8.0.2 · Agda.Compiler.JS.Syntax
Ord CommentDefined in Agda-2.8.0.2 · Agda.Compiler.JS.Syntax
Show CommentDefined in Agda-2.8.0.2 · Agda.Compiler.JS.Syntax
Semigroup CommentDefined in Agda-2.8.0.2 · Agda.Compiler.JS.Syntax
Monoid CommentDefined in Agda-2.8.0.2 · Agda.Compiler.JS.Syntax
Uses CommentDefined in Agda-2.8.0.2 · Agda.Compiler.JS.Syntax
Pretty CommentDefined in Agda-2.8.0.2 · Agda.Compiler.JS.Pretty
Globals CommentDefined in Agda-2.8.0.2 · Agda.Compiler.JS.Syntax

datadata Export

Constructors

Export
- expName :: JSQName
- defn :: Exp

Instances4Show, Uses, Globals, Pretty

Show ExportDefined in Agda-2.8.0.2 · Agda.Compiler.JS.Syntax
Uses ExportDefined in Agda-2.8.0.2 · Agda.Compiler.JS.Syntax
Globals ExportDefined in Agda-2.8.0.2 · Agda.Compiler.JS.Syntax
Pretty [(GlobalId, Export)]Defined in Agda-2.8.0.2 · Agda.Compiler.JS.Pretty

typetype JSQName = List1 MemberId

datadata Module

Constructors

Module
- modName :: GlobalId
- imports :: [GlobalId]
- exports :: [Export]
- callMain :: Maybe Exp

Instances3Show, Pretty, Globals

Show ModuleDefined in Agda-2.8.0.2 · Agda.Compiler.JS.Syntax
Pretty ModuleDefined in Agda-2.8.0.2 · Agda.Compiler.JS.Pretty
Globals ModuleDefined in Agda-2.8.0.2 · Agda.Compiler.JS.Syntax

classclass Uses a where

Methods

uses :: a -> Set JSQName

Instances7Uses, …

Uses CommentDefined in Agda-2.8.0.2 · Agda.Compiler.JS.Syntax
Uses ExpDefined in Agda-2.8.0.2 · Agda.Compiler.JS.Syntax
Uses ExportDefined in Agda-2.8.0.2 · Agda.Compiler.JS.Syntax
Uses a => Uses [a]Defined in Agda-2.8.0.2 · Agda.Compiler.JS.Syntax
Uses a => Uses (Map k a)Defined in Agda-2.8.0.2 · Agda.Compiler.JS.Syntax
(Uses a, Uses b) => Uses (a, b)Defined in Agda-2.8.0.2 · Agda.Compiler.JS.Syntax
(Uses a, Uses b, Uses c) => Uses (a, b, c)Defined in Agda-2.8.0.2 · Agda.Compiler.JS.Syntax

classclass Globals a where

Methods

globals :: a -> Set GlobalId

Instances9Globals, …

Globals CommentDefined in Agda-2.8.0.2 · Agda.Compiler.JS.Syntax
Globals ExpDefined in Agda-2.8.0.2 · Agda.Compiler.JS.Syntax
Globals ExportDefined in Agda-2.8.0.2 · Agda.Compiler.JS.Syntax
Globals ModuleDefined in Agda-2.8.0.2 · Agda.Compiler.JS.Syntax
Globals a => Globals (Maybe a)Defined in Agda-2.8.0.2 · Agda.Compiler.JS.Syntax
Globals a => Globals [a]Defined in Agda-2.8.0.2 · Agda.Compiler.JS.Syntax
Globals a => Globals (Map k a)Defined in Agda-2.8.0.2 · Agda.Compiler.JS.Syntax
(Globals a, Globals b) => Globals (a, b)Defined in Agda-2.8.0.2 · Agda.Compiler.JS.Syntax
(Globals a, Globals b, Globals c) => Globals (a, b, c)Defined in Agda-2.8.0.2 · Agda.Compiler.JS.Syntax