Agda-2.6.0.1: A dependently typed functional programming language and proof assistant

Safe HaskellNone
LanguageHaskell2010

Agda.Compiler.JS.Compiler

Synopsis

Documentation

data JSOptions Source #

Constructors

JSOptions 

Fields

prefix :: [Char] Source #

reorder' :: Set [MemberId] -> [Export] -> [Export] Source #

checkCompilerPragmas :: QName -> TCM () Source #

Ensure that there is at most one pragma for a name.

defJSDef :: Definition -> Maybe String Source #

outFile :: GlobalId -> TCM FilePath Source #

outFile_ :: TCM FilePath Source #

primitives :: Set String Source #

Primitives implemented in the JS Agda RTS.