Ajout d'une méthode d'extension à un enregistrement avec l'unité de mesure

Question

Pourquoi ce travail:

type Money = 
    { Amount : decimal } with 

    member inline m.gotMoney : bool = 
     m.Amount > 0M 

mais cela ne

type MoneyUOM<[<Measure>]'currency> = 
    { Amount : decimal<'currency> } with 

    member inline m.gotMoney : bool = 
     m.Amount > 0M<_> 

Au lieu de cela, je me error FS0339: The signature and implementation are not compatible because the type parameter in the class/signature has a different compile-time requirement to the one in the member/implementation

Answer 1

DecimalWithMeasure est utile ici. Par exemple, cela fonctionne pour moi:

type MoneyUOM<[<Measure>]'currency> = 
    { Amount : decimal<'currency> } with 

    member m.gotMoney() : bool = 
     let zero = LanguagePrimitives.DecimalWithMeasure<'currency> 0M 
     m.Amount > zero