JsContracts-0.4: Design-by-contract for JavaScriptSource codeContentsIndex
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)]
show/hide Instances
contractPos :: Contract -> SourcePosSource
data InterfaceItem Source
Constructors
InterfaceExport String SourcePos Contract
InterfaceAlias String Contract
InterfaceStatement
interfaceStatement :: ParsedStatement
InterfaceInstance String SourcePos Contractalways an object contract
show/hide Instances
Produced by Haddock version 2.4.2