ProvidedMeasureBuilder
Namespace: ProviderImplementation.ProvidedTypes
Helps create erased provided unit-of-measure annotations.
Instance members
Instance member | Description |
AnnotateType(basic, argument)
Signature: (basic:Type * argument:Type list) -> Type
|
Returns a type where the type has been annotated with the given types and/or units-of-measure.
e.g. float, Vector
|
Inverse(denominator)
Signature: denominator:Type -> Type
|
Returns the measure indicating the inverse of two units of measure, e.g. 1 / s
|
One
Signature: Type
|
Gets the measure indicating the "1" unit of measure, that is the unitless measure.
CompiledName: get_One
|
Product(measure1, measure1)
Signature: (measure1:Type * measure1:Type) -> Type
|
Returns the measure indicating the product of two units of measure, e.g. kg * m
|
Ratio(numerator, denominator)
Signature: (numerator:Type * denominator:Type) -> Type
|
Returns the measure indicating the ratio of two units of measure, e.g. kg / m
|
SI(unitName)
Signature: unitName:string -> Type
|
Returns the measure for an SI unit from the F# core library, where the string is in capitals and US spelling, e.g. Meter
|
Square(measure)
Signature: measure:Type -> Type
|
Returns the measure indicating the square of a unit of measure, e.g. m * m
|
Static members
Static member | Description |
Default
Signature: ProvidedMeasureBuilder
|
The ProvidedMeasureBuilder for building measures.
CompiledName: get_Default
|