Safe Haskell | None |
---|---|
Language | Haskell2010 |
Agda.Compiler.JS.Syntax
Documentation
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. |
Constructors
GlobalId [String] |
Instances
Pretty GlobalId Source # | |
Defined in Agda.Compiler.JS.Pretty Methods pretty :: (Nat, Bool, JSModuleStyle) -> GlobalId -> Doc Source # prettyPrec :: Int -> (Nat, Bool, JSModuleStyle) -> GlobalId -> Doc Source # | |
Show GlobalId Source # | |
Eq GlobalId Source # | |
Ord GlobalId Source # | |
Defined in Agda.Compiler.JS.Syntax | |
Pretty [(GlobalId, Export)] Source # | |
Defined in Agda.Compiler.JS.Pretty |
Constructors
MemberId String | |
MemberIndex Int Comment |
Instances
Pretty MemberId Source # | |
Defined in Agda.Compiler.JS.Pretty Methods pretty :: (Nat, Bool, JSModuleStyle) -> MemberId -> Doc Source # prettyPrec :: Int -> (Nat, Bool, JSModuleStyle) -> MemberId -> Doc Source # | |
Show MemberId Source # | |
Eq MemberId Source # | |
Ord MemberId Source # | |
Defined in Agda.Compiler.JS.Syntax |
Constructors
Comment String |
Instances
Pretty Comment Source # | |
Defined in Agda.Compiler.JS.Pretty Methods pretty :: (Nat, Bool, JSModuleStyle) -> Comment -> Doc Source # prettyPrec :: Int -> (Nat, Bool, JSModuleStyle) -> Comment -> Doc Source # | |
Globals Comment Source # | |
Uses Comment Source # | |
Monoid Comment Source # | |
Semigroup Comment Source # | |
Show Comment Source # | |
Eq Comment Source # | |
Ord Comment Source # | |
Constructors
Module | |
Minimal complete definition
Nothing
Methods
Instances
Uses Comment Source # | |
Uses Exp Source # | |
Uses Export Source # | |
Uses a => Uses [a] Source # | |
Defined in Agda.Compiler.JS.Syntax | |
Uses a => Uses (Map k a) Source # | |
Defined in Agda.Compiler.JS.Syntax | |
(Uses a, Uses b) => Uses (a, b) Source # | |
Defined in Agda.Compiler.JS.Syntax | |
(Uses a, Uses b, Uses c) => Uses (a, b, c) Source # | |
Defined in Agda.Compiler.JS.Syntax |
class Globals a where Source #
Minimal complete definition
Nothing
Methods
Instances
Globals Comment Source # | |
Globals Exp Source # | |
Globals Export Source # | |
Globals Module Source # | |
Globals a => Globals (Maybe a) Source # | |
Globals a => Globals [a] Source # | |
Defined in Agda.Compiler.JS.Syntax | |
Globals a => Globals (Map k a) Source # | |
Defined in Agda.Compiler.JS.Syntax | |
(Globals a, Globals b) => Globals (a, b) Source # | |
Defined in Agda.Compiler.JS.Syntax | |
(Globals a, Globals b, Globals c) => Globals (a, b, c) Source # | |
Defined in Agda.Compiler.JS.Syntax |