Merge pull request #24 from mlang/usageMonoid

Usage is a Monoid
agrafix · Jul 13, 2024 · b1756a4 · b1756a4
2 parents e02e5d8 + 176a757
commit b1756a4
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/openai-servant/src/OpenAI/Resources.hs b/openai-servant/src/OpenAI/Resources.hs
@@ -133,6 +133,12 @@ data Usage = Usage
 
 $(deriveJSON (jsonOpts 2) ''Usage)
 
+instance Semigroup Usage where
+  Usage a1 a2 a3 <> Usage b1 b2 b3 = Usage (a1 + b1) (a2 + b2) (a3 + b3)
+
+instance Monoid Usage where
+  mempty = Usage 0 0 0
+
 ------------------------
 ------ Model API
 ------------------------