BrownPLT.JavaScript.Contracts

Documentation

data Contract

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

Constructors

InterfaceExport String SourcePos Contract

InterfaceAlias String Contract

InterfaceStatement

Fields

interfaceStatement :: ParsedStatement

InterfaceInstance String SourcePos Contract

always an object contract

Instances

Show InterfaceItem

compile

Arguments

:: [ParsedStatement]

implementation

-> [InterfaceItem]

the interface

-> [ParsedStatement]

contract library

-> ParsedStatement

encapsulated implementation

compileFormatted

Arguments

:: String

implementation

-> String

implementation source

-> String

contract library

-> Bool

export?

-> [InterfaceItem]

the interface

-> String

encapsulated implementation

compileRelease

Arguments

:: String

implementation

-> String

implementation source

-> String

contract library

-> Bool

export?

-> [InterfaceItem]

the interface

-> Maybe String

the namespace name

-> String

encapsulated implementation

parseInterface :: String -> IO [InterfaceItem]

getContractLibraryPath :: IO FilePath