JsContracts-0.5.1: Design-by-contract for JavaScript

BrownPLT.JavaScript.Contracts.Interface

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

contractPos :: Contract -> SourcePosSource

data InterfaceItem Source

Constructors

InterfaceExport String SourcePos Contract 
InterfaceAlias String Contract 
InterfaceStatement 

Fields

interfaceStatement :: ParsedStatement
 
InterfaceInstance String SourcePos Contract

always an object contract

Instances