Merge pull request #111 from bgamari/wip/nom

Df: Add consume combinator
clash-lang · Sep 9, 2024 · 64a0a58 · 64a0a58
2 parents 5645f14 + 5334f26
commit 64a0a58
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/clash-protocols/src/Protocols/Df.hs b/clash-protocols/src/Protocols/Df.hs
@@ -24,6 +24,7 @@ module Protocols.Df (
   -- * Operations on Df protocol
   empty,
   const,
+  consume,
   void,
   pure,
   map,
@@ -370,6 +371,10 @@ empty = Circuit (P.const ((), P.pure NoData))
 pure :: a -> Circuit () (Df dom a)
 pure a = Circuit (P.const ((), P.pure (Data a)))
 
+-- | Always acknowledge and ignore values.
+consume :: (C.HiddenReset dom) => Circuit (Df dom a) ()
+consume = Circuit (P.const (P.pure (Ack True), ()))
+
 -- | Never acknowledge values.
 void :: (C.HiddenReset dom) => Circuit (Df dom a) ()
 void =