SQLProvider


ProvidedMeasureBuilder

Namespace: ProviderImplementation.ProvidedTypes
Attributes:
[<Class>]

Helps create erased provided unit-of-measure annotations.

Static members

Static memberDescription
ProvidedMeasureBuilder.AnnotateType(...)
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

ProvidedMeasureBuilder.Inverse(...)
Signature: denominator:Type -> Type

Returns the measure indicating the inverse of two units of measure, e.g. 1 / s

ProvidedMeasureBuilder.One
Signature: Type

Gets the measure indicating the "1" unit of measure, that is the unitless measure.

CompiledName: get_One

ProvidedMeasureBuilder.Product(...)
Signature: (measure1:Type * measure2:Type) -> Type

Returns the measure indicating the product of two units of measure, e.g. kg * m

ProvidedMeasureBuilder.Ratio(...)
Signature: (numerator:Type * denominator:Type) -> Type

Returns the measure indicating the ratio of two units of measure, e.g. kg / m

ProvidedMeasureBuilder.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

ProvidedMeasureBuilder.Square(measure)
Signature: measure:Type -> Type

Returns the measure indicating the square of a unit of measure, e.g. m * m

Fork me on GitHub