Safe Haskell | None |
---|---|
Language | Haskell2010 |
Agda.Compiler.JS.Syntax
Documentation
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 | |
PlainJS String | Arbitrary JS code. |
Instances
Eq LocalId Source # | |
Ord LocalId Source # | |
Defined in Agda.Compiler.JS.Syntax | |
Show LocalId Source # | |
Pretty LocalId Source # | |
Instances
Eq GlobalId Source # | |
Ord GlobalId Source # | |
Defined in Agda.Compiler.JS.Syntax | |
Show GlobalId Source # | |
Pretty GlobalId Source # | |
Instances
Eq MemberId Source # | |
Ord MemberId Source # | |
Defined in Agda.Compiler.JS.Syntax | |
Show MemberId Source # | |
Pretty MemberId Source # | |