Name

Namespace: Informedica.GenSolver.Lib
Parent Module: Variable

Funcions and type to handle Name that represents the name of a Variable.

Nested types and modules

Type	Description
Message	Error messages for type `Name`.
Name	Represents a non empty/null string identifying a `Variable`. `Name` can be no longer than 30 characters.
NameException	Exception type for `Name`.

Functions and values

Function or value	Description
`create succ fail n` Signature: succ:(Name -> '?6822) -> fail:(Message -> '?6822) -> n:string -> '?6822 Type parameters: '?6822	Create with continuation with succ function when success and fail function when failure. Creates a `Name` from a`string`.
`createExc` Signature: string -> Name	Create a `Name` that, raises an `NameException` when it fails.
`createOpt` Signature: string -> Name option	Returns a `Name` option if creation succeeds else `None`.
`raiseExc msg` Signature: msg:Message -> '?6820 Type parameters: '?6820	Raise a `NameException` with `Message` m.
`toString arg1` Signature: Name -> string	Return the `string` value of a `Name`.

Fork me on GitHub