idris-0.9.11.1: Functional Programming Language with Dependent Types

Safe HaskellNone

IRTS.CodegenJavaScript

Documentation

codegenJavaScript :: JSTarget -> [(Name, SDecl)] -> FilePath -> OutputType -> IO ()Source

data JSTarget Source

Constructors

Node 
JavaScript 

Instances