JsContracts-0.5.1: Design-by-contract for JavaScript

BrownPLT.JavaScript.Contracts

Documentation

compileSource

Arguments

:: [ParsedStatement]

implementation

-> [InterfaceItem]

the interface

-> [ParsedStatement]

contract library

-> ParsedStatement

encapsulated implementation

compileFormattedSource

Arguments

:: String

implementation

-> String

implementation source

-> String

contract library

-> [InterfaceItem]

the interface

-> String

encapsulated implementation

compileReleaseSource

Arguments

:: String

implementation

-> String

implementation source

-> String

contract library

-> [InterfaceItem]

the interface

-> Maybe String

the namespace name

-> String

encapsulated implementation