Header menu logo Nao

WorkspaceRegistry Module

Functions and values

Function or value Description

fromVersionedWorkspaces workspaces

Full Usage: fromVersionedWorkspaces workspaces

Parameters:
    workspaces : (string * string * string) list

Returns: WorkspaceRegistry

Create a registry from multiple versioned workspace paths. Each entry is (key, version, path); registered under the id "key@version" so multiple versions of the same logical workspace coexist side by side.

workspaces : (string * string * string) list
Returns: WorkspaceRegistry

fromWorkspace path

Full Usage: fromWorkspace path

Parameters:
    path : string

Returns: WorkspaceRegistry

Create a registry and register a default workspace from a path

path : string
Returns: WorkspaceRegistry

fromWorkspaces workspaces

Full Usage: fromWorkspaces workspaces

Parameters:
    workspaces : (string * string) list

Returns: WorkspaceRegistry

Create a registry from multiple named workspace paths

workspaces : (string * string) list
Returns: WorkspaceRegistry

Type something to start searching.