Add field names to Reception

ch1bo · ch1bo · commit fb5f16f48af8 · 2026-01-21T16:54:37.000+01:00
diff --git a/network-mux/src/Network/Mux/Channel.hs b/network-mux/src/Network/Mux/Channel.hs
@@ -87,7 +87,9 @@ data Channel m a = Channel {
     recv :: m (Maybe (Reception a))
   }
 
-data Reception a = MkReception !(IntMap Time) !a
+data Reception a = MkReception { receivalTimes :: !(IntMap Time)
+                               , received :: !a
+                               }
   deriving (Foldable, Functor, Traversable)
 
 -- | Given an isomorphism between @a@ and @b@ (in Kleisli category), transform

Original file line number	Diff line number	Diff line change
`@@ -87,7 +87,9 @@ data Channel m a = Channel {`
`87`	`87`	`recv :: m (Maybe (Reception a))`
`88`	`88`	`}`
`89`	`89`
`90`		`-data Reception a = MkReception !(IntMap Time) !a`
	`90`	`+data Reception a = MkReception { receivalTimes :: !(IntMap Time)`
	`91`	`+ , received :: !a`
	`92`	`+ }`
`91`	`93`	`deriving (Foldable, Functor, Traversable)`
`92`	`94`
`93`	`95`	`-- \| Given an isomorphism between @a@ and @b@ (in Kleisli category), transform`