Logo fantomas

ILPreNamespace Type

One namespace of a type table, read only once something looks inside it. Inherit this to back a namespace with your own store; see also mkILPreNamespaceComputed.

Constructors

Constructor Description

ILPreNamespace(name)

Full Usage: ILPreNamespace(name)

Parameters:
    name : string

Returns: ILPreNamespace
name : string
Returns: ILPreNamespace

Instance members

Instance member Description

this.AllPreTypeDefs

Full Usage: this.AllPreTypeDefs

Returns: ILPreTypeDef[]

Forces the whole subtree.

Returns: ILPreTypeDef[]

this.ComputeNamespaces

Full Usage: this.ComputeNamespaces

Returns: ILPreNamespace[]
Modifiers: abstract

Called at most once, and independently of the types: importing a level's types must not read its children, nor the other way round.

Returns: ILPreNamespace[]

this.ComputeTypes

Full Usage: this.ComputeTypes

Returns: ILPreTypeDef[]
Modifiers: abstract

Called at most once.

Returns: ILPreTypeDef[]

this.GetNamespaces

Full Usage: this.GetNamespaces

Returns: ILPreNamespace[]

Realised independently of the types.

Returns: ILPreNamespace[]

this.GetTypes

Full Usage: this.GetTypes

Returns: ILPreTypeDef[]

Forces neither the children nor anything deeper.

Returns: ILPreTypeDef[]

this.Name

Full Usage: this.Name

Returns: string
Returns: string

this.TryFindPreTypeDef

Full Usage: this.TryFindPreTypeDef

Parameters:
    ns : string list
    n : string

Returns: ILPreTypeDef option

Descends only into the namespace on the type's path, so unrelated ones are never realised.

ns : string list
n : string
Returns: ILPreTypeDef option

Type something to start searching.