UoMs.fs

[<AutoOpen>]
module UoM =
    // Units of measure for other than integral types

    let inline (++) (w: ^W when ^W: (static member IsMeasureAbbrev: ^tm * ^t -> unit)) (t: ^t) = (# "" t: ^tm #)
    let inline (--) (w: ^W when ^W: (static member IsMeasureAbbrev: ^tm * ^t -> unit)) (tm: ^tm) = (# "" tm: ^t #)

    [<MeasureAnnotatedAbbreviation>]
    type Guid<[<Measure>] 'm> = Guid

    [<MeasureAnnotatedAbbreviation>]
    type string<[<Measure>] 'm> = string

    [<MeasureAnnotatedAbbreviation>]
    type bool<[<Measure>] 'm> = bool

    [<MeasureAnnotatedAbbreviation>]
    type byte<[<Measure>] 'm> = byte

    type UoM = UoM
    with
      static member IsMeasureAbbrev(_: Guid<'m>, _: Guid) = ()
      static member IsMeasureAbbrev(_: string<'m>, _: string) = ()
      static member IsMeasureAbbrev(_: bool<'m>, _: bool) = ()
      static member IsMeasureAbbrev(_: byte<'m>, _: byte) = ()