Safe Haskell	None
Language	Haskell2010

Agda.Compiler.JS.Syntax

Documentation

data Exp Source #

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

Instances details

Show Exp Source #
Instance details Defined in Agda.Compiler.JS.Syntax Methods showsPrec :: Int -> Exp -> ShowS # show :: Exp -> String # showList :: [Exp] -> ShowS #
Globals Exp Source #
Instance details Defined in Agda.Compiler.JS.Syntax Methods globals :: Exp -> Set GlobalId Source #
Uses Exp Source #
Instance details Defined in Agda.Compiler.JS.Syntax Methods uses :: Exp -> Set [MemberId] Source #
Pretty Exp Source #
Instance details Defined in Agda.Compiler.JS.Pretty Methods pretty :: Nat -> Int -> Exp -> String Source #

newtype LocalId Source #

Constructors

LocalId Nat

Instances

Instances details

Eq LocalId Source #
Instance details Defined in Agda.Compiler.JS.Syntax Methods (==) :: LocalId -> LocalId -> Bool # (/=) :: LocalId -> LocalId -> Bool #
Ord LocalId Source #
Instance details Defined in Agda.Compiler.JS.Syntax Methods compare :: LocalId -> LocalId -> Ordering # (<) :: LocalId -> LocalId -> Bool # (<=) :: LocalId -> LocalId -> Bool # (>) :: LocalId -> LocalId -> Bool # (>=) :: LocalId -> LocalId -> Bool # max :: LocalId -> LocalId -> LocalId # min :: LocalId -> LocalId -> LocalId #
Show LocalId Source #
Instance details Defined in Agda.Compiler.JS.Syntax Methods showsPrec :: Int -> LocalId -> ShowS # show :: LocalId -> String # showList :: [LocalId] -> ShowS #
Pretty LocalId Source #
Instance details Defined in Agda.Compiler.JS.Pretty Methods pretty :: Nat -> Int -> LocalId -> String Source #

newtype GlobalId Source #

Constructors

GlobalId [String]

Instances

Instances details

Eq GlobalId Source #
Instance details Defined in Agda.Compiler.JS.Syntax Methods (==) :: GlobalId -> GlobalId -> Bool # (/=) :: GlobalId -> GlobalId -> Bool #
Ord GlobalId Source #
Instance details Defined in Agda.Compiler.JS.Syntax Methods compare :: GlobalId -> GlobalId -> Ordering # (<) :: GlobalId -> GlobalId -> Bool # (<=) :: GlobalId -> GlobalId -> Bool # (>) :: GlobalId -> GlobalId -> Bool # (>=) :: GlobalId -> GlobalId -> Bool # max :: GlobalId -> GlobalId -> GlobalId # min :: GlobalId -> GlobalId -> GlobalId #
Show GlobalId Source #
Instance details Defined in Agda.Compiler.JS.Syntax Methods showsPrec :: Int -> GlobalId -> ShowS # show :: GlobalId -> String # showList :: [GlobalId] -> ShowS #
Pretty GlobalId Source #
Instance details Defined in Agda.Compiler.JS.Pretty Methods pretty :: Nat -> Int -> GlobalId -> String Source #

newtype MemberId Source #

Constructors

MemberId String

Instances

Instances details

Eq MemberId Source #
Instance details Defined in Agda.Compiler.JS.Syntax Methods (==) :: MemberId -> MemberId -> Bool # (/=) :: MemberId -> MemberId -> Bool #
Ord MemberId Source #
Instance details Defined in Agda.Compiler.JS.Syntax Methods compare :: MemberId -> MemberId -> Ordering # (<) :: MemberId -> MemberId -> Bool # (<=) :: MemberId -> MemberId -> Bool # (>) :: MemberId -> MemberId -> Bool # (>=) :: MemberId -> MemberId -> Bool # max :: MemberId -> MemberId -> MemberId # min :: MemberId -> MemberId -> MemberId #
Show MemberId Source #
Instance details Defined in Agda.Compiler.JS.Syntax Methods showsPrec :: Int -> MemberId -> ShowS # show :: MemberId -> String # showList :: [MemberId] -> ShowS #
Pretty MemberId Source #
Instance details Defined in Agda.Compiler.JS.Pretty Methods pretty :: Nat -> Int -> MemberId -> String Source #

data Export Source #

Constructors

Export
Fields expName :: [MemberId] defn :: Exp

Instances

Instances details

Show Export Source #
Instance details Defined in Agda.Compiler.JS.Syntax Methods showsPrec :: Int -> Export -> ShowS # show :: Export -> String # showList :: [Export] -> ShowS #
Globals Export Source #
Instance details Defined in Agda.Compiler.JS.Syntax Methods globals :: Export -> Set GlobalId Source #
Uses Export Source #
Instance details Defined in Agda.Compiler.JS.Syntax Methods uses :: Export -> Set [MemberId] Source #

data Module Source #

Constructors

Module
Fields modName :: GlobalId exports :: [Export] postscript :: Maybe Exp

Instances

Instances details

Show Module Source #
Instance details Defined in Agda.Compiler.JS.Syntax Methods showsPrec :: Int -> Module -> ShowS # show :: Module -> String # showList :: [Module] -> ShowS #
Globals Module Source #
Instance details Defined in Agda.Compiler.JS.Syntax Methods globals :: Module -> Set GlobalId Source #
Pretty Module Source #
Instance details Defined in Agda.Compiler.JS.Pretty Methods pretty :: Nat -> Int -> Module -> String Source #

class Uses a where Source #

Methods

uses :: a -> Set [MemberId] Source #

Instances

Instances details

Uses Export Source #
Instance details Defined in Agda.Compiler.JS.Syntax Methods uses :: Export -> Set [MemberId] Source #
Uses Exp Source #
Instance details Defined in Agda.Compiler.JS.Syntax Methods uses :: Exp -> Set [MemberId] Source #
Uses a => Uses [a] Source #
Instance details Defined in Agda.Compiler.JS.Syntax Methods uses :: [a] -> Set [MemberId] Source #
Uses a => Uses (Map k a) Source #
Instance details Defined in Agda.Compiler.JS.Syntax Methods uses :: Map k a -> Set [MemberId] Source #

class Globals a where Source #

Methods

globals :: a -> Set GlobalId Source #

Instances

Instances details

Globals Module Source #
Instance details Defined in Agda.Compiler.JS.Syntax Methods globals :: Module -> Set GlobalId Source #
Globals Export Source #
Instance details Defined in Agda.Compiler.JS.Syntax Methods globals :: Export -> Set GlobalId Source #
Globals Exp Source #
Instance details Defined in Agda.Compiler.JS.Syntax Methods globals :: Exp -> Set GlobalId Source #
Globals a => Globals [a] Source #
Instance details Defined in Agda.Compiler.JS.Syntax Methods globals :: [a] -> Set GlobalId Source #
Globals a => Globals (Map k a) Source #
Instance details Defined in Agda.Compiler.JS.Syntax Methods globals :: Map k a -> Set GlobalId Source #