WIP matchMaybe

tomjaguarpaw · Sep 5, 2021 · f03b182 · f03b182
1 parent 4faa2ec
commit f03b182
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/src/Opaleye/Internal/MaybeFields.hs b/src/Opaleye/Internal/MaybeFields.hs
@@ -92,6 +92,14 @@ justFields = pure
 maybeFields :: PP.Default IfPP b b => b -> (a -> b) -> MaybeFields a -> b
 maybeFields = maybeFieldsExplicit PP.def
 
+matchMaybe :: PP.Default IfPP b b => MaybeFields a -> (Maybe a -> b) -> b
+matchMaybe mf f = maybeFields (f Nothing) (f . Just) mf
+
+example :: MaybeFields a -> a
+example mf = matchMaybe mf $ \case
+  Nothing -> 0
+  Just x  -> x * 100
+
 -- | The Opaleye analogue of 'Data.Maybe.fromMaybe'
 fromMaybeFields :: PP.Default IfPP b b => b -> MaybeFields b -> b
 fromMaybeFields = fromMaybeFieldsExplicit PP.def