JsContracts-0.4: Design-by-contract for JavaScript Source code Contents Index

BrownPLT.JavaScript.Contracts

Documentation

data Contract Source

Constructors FlatContract SourcePos ParsedExpression NamedContract SourcePos String FunctionContract SourcePos [Contract] (Maybe Contract) Contract ConstructorContract SourcePos String [Contract] FixedArrayContract SourcePos [Contract] ArrayContract SourcePos Contract ObjectContract SourcePos [(String, Contract)] Instances Show Contract

data InterfaceItem Source

Constructors InterfaceExport String SourcePos Contract InterfaceAlias String Contract InterfaceStatement interfaceStatement :: ParsedStatement InterfaceInstance String SourcePos Contract always an object contract Instances Show InterfaceItem

compile Source

:: [ParsedStatement] implementation -> [InterfaceItem] the interface -> [ParsedStatement] contract library -> ParsedStatement encapsulated implementation

compileFormatted Source

:: String implementation -> String implementation source -> String contract library -> [InterfaceItem] the interface -> String encapsulated implementation

compileRelease Source

:: String implementation -> String implementation source -> String contract library -> [InterfaceItem] the interface -> Maybe String the namespace name -> String encapsulated implementation

parseInterface :: String -> IO [InterfaceItem] Source

getContractLibraryPath :: IO FilePath Source

Produced by Haddock version 2.4.2