Declarations (Averest)

Declarations Module

Namespace: Averest.Core
Assembly: Averest.dll

Types

Type	Description
Decl	declaration
Flow
Interface	interface
Storage

Functions and values

Function or value	Description
`AddDecl decls (qn, decl)` Full Usage: `AddDecl decls (qn, decl)` Parameters: decls : `Map<'a, 'b>` qn : `'a` decl : `'b` Returns: `Map<'a, 'b>`	decls : `Map<'a, 'b>` qn : `'a` decl : `'b` Returns: `Map<'a, 'b>`
`DeclOfQName decls qn` Full Usage: `DeclOfQName decls qn` Parameters: decls : `Map<QName, Decl>` qn : `QName` Returns: `Decl`	decls : `Map<QName, Decl>` qn : `QName` Returns: `Decl`
`Decls2List decls` Full Usage: `Decls2List decls` Parameters: decls : `Map<'a, 'b>` Returns: `('a * 'b) list`	convert declarations to interfaces decls : `Map<'a, 'b>` Returns: `('a * 'b) list`
`FilterByFlow flow iface` Full Usage: `FilterByFlow flow iface` Parameters: flow : `Flow` iface : `Interface` Returns: `(QName * Decl) list`	filters a given Interface (Declaration list) by given flow of variables flow : `Flow` iface : `Interface` Returns: `(QName * Decl) list`
`FilterByFlows flowL iface` Full Usage: `FilterByFlows flowL iface` Parameters: flowL : `Flow list` iface : `Interface` Returns: `(QName * Decl) list`	filters a given Interface (Declaration list) by given flow list of variables flowL : `Flow list` iface : `Interface` Returns: `(QName * Decl) list`
`FilterByQNames qnL iface` Full Usage: `FilterByQNames qnL iface` Parameters: qnL : `QName list` iface : `Interface` Returns: `(QName * Decl) list`	filters a given Interface (Declaration list) by given flow of variables qnL : `QName list` iface : `Interface` Returns: `(QName * Decl) list`
`FilterByStorage store iface` Full Usage: `FilterByStorage store iface` Parameters: store : `Storage` iface : `Interface` Returns: `(QName * Decl) list`	filters a given Interface (Declaration list) by given storage of variables store : `Storage` iface : `Interface` Returns: `(QName * Decl) list`
`FilterByStorages storeL iface` Full Usage: `FilterByStorages storeL iface` Parameters: storeL : `Storage list` iface : `Interface` Returns: `(QName * Decl) list`	filters a given Interface (Declaration list) by given storage list of variables storeL : `Storage list` iface : `Interface` Returns: `(QName * Decl) list`
`FlowOfQName decls qn` Full Usage: `FlowOfQName decls qn` Parameters: decls : `Map<QName, Decl>` qn : `QName` Returns: `Flow`	decls : `Map<QName, Decl>` qn : `QName` Returns: `Flow`
`Interface2Decls declList` Full Usage: `Interface2Decls declList` Parameters: declList : `(QName * Decl) list` Returns: `Map<QName, Decl>`	convert interfaces to declarations declList : `(QName * Decl) list` Returns: `Map<QName, Decl>`
`NewDecls ()` Full Usage: `NewDecls ()` Parameters: () : `unit` Returns: `Map<QName, Decl>`	() : `unit` Returns: `Map<QName, Decl>`
`PrnDecl decl` Full Usage: `PrnDecl decl` Parameters: decl : `Decl` Returns: `PrnDrv -> unit`	decl : `Decl` Returns: `PrnDrv -> unit`
`PrnFlow flow` Full Usage: `PrnFlow flow` Parameters: flow : `Flow` Returns: `PrnDrv -> unit`	flow : `Flow` Returns: `PrnDrv -> unit`
`PrnInterface iface` Full Usage: `PrnInterface iface` Parameters: iface : `(QName * Decl) list` Returns: `PrnDrv -> unit`	iface : `(QName * Decl) list` Returns: `PrnDrv -> unit`
`PrnStorage storage` Full Usage: `PrnStorage storage` Parameters: storage : `Storage` Returns: `PrnDrv -> unit`	storage : `Storage` Returns: `PrnDrv -> unit`
`QNamesOfInterface iface` Full Usage: `QNamesOfInterface iface` Parameters: iface : `Interface` Returns: `QName list`	iface : `Interface` Returns: `QName list`
`StorageOfQName decls qn` Full Usage: `StorageOfQName decls qn` Parameters: decls : `Map<QName, Decl>` qn : `QName` Returns: `Storage`	decls : `Map<QName, Decl>` qn : `QName` Returns: `Storage`
`TypeOfQName decls qn` Full Usage: `TypeOfQName decls qn` Parameters: decls : `Map<QName, Decl>` qn : `QName` Returns: `QType`	decls : `Map<QName, Decl>` qn : `QName` Returns: `QType`
`isReadableFlow fl` Full Usage: `isReadableFlow fl` Parameters: fl : `Flow` Returns: `bool`	fl : `Flow` Returns: `bool`
`isReadableQName decls qn` Full Usage: `isReadableQName decls qn` Parameters: decls : `Map<QName, Decl>` qn : `QName` Returns: `bool`	decls : `Map<QName, Decl>` qn : `QName` Returns: `bool`
`isWriteableFlow fl` Full Usage: `isWriteableFlow fl` Parameters: fl : `Flow` Returns: `bool`	fl : `Flow` Returns: `bool`
`isWriteableQName decls qn` Full Usage: `isWriteableQName decls qn` Parameters: decls : `Map<QName, Decl>` qn : `QName` Returns: `bool`	decls : `Map<QName, Decl>` qn : `QName` Returns: `bool`