49215cb · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

on master help sign in

add info

49215cbbe5invis9 years ago

src/IRTS/JavaScript/AST.hs+8

compare with master

unifiedsplit

@@ -1,3 +1,11 @@

1+{-|

2+Module : IRTS.JavaScript.AST

3+Description : The JavaScript AST.

4+Copyright :

5+License : BSD3

6+Maintainer : The Idris Community.

7+-}

1{-# LANGUAGE DeriveDataTypeable, OverloadedStrings #-}

9{-# LANGUAGE DeriveDataTypeable, OverloadedStrings #-}

3module IRTS.JavaScript.AST

11module IRTS.JavaScript.AST

src/IRTS/JavaScript/Name.hs+8

@@ -1,3 +1,11 @@

1+{-|

2+Module : IRTS.JavaScript.Name

3+Description : The JavaScript name mangler.

4+Copyright :

5+License : BSD3

6+Maintainer : The Idris Community.

7+-}

1{-# LANGUAGE OverloadedStrings, PatternGuards #-}

9{-# LANGUAGE OverloadedStrings, PatternGuards #-}

3module IRTS.JavaScript.Name

11module IRTS.JavaScript.Name

src/IRTS/JavaScript/PrimOp.hs+8

@@ -1,3 +1,11 @@

1+{-|

2+Module : IRTS.JavaScript.PrimOp

3+Description : The JavaScript primitive operations.

4+Copyright :

5+License : BSD3

6+Maintainer : The Idris Community.

7+-}

1{-# LANGUAGE OverloadedStrings, PatternGuards, StandaloneDeriving #-}

9{-# LANGUAGE OverloadedStrings, PatternGuards, StandaloneDeriving #-}

3module IRTS.JavaScript.PrimOp

11module IRTS.JavaScript.PrimOp

src/IRTS/JavaScript/Specialize.hs+8

@@ -1,3 +1,11 @@

1+{-|

2+Module : IRTS.JavaScript.Specialize

3+Description : The JavaScript specializer.

4+Copyright :

5+License : BSD3

6+Maintainer : The Idris Community.

7+-}

1{-# LANGUAGE OverloadedStrings, PatternGuards #-}

9{-# LANGUAGE OverloadedStrings, PatternGuards #-}

3module IRTS.JavaScript.Specialize

11module IRTS.JavaScript.Specialize