Make the type variable

This commit is contained in:
MasseR committed 2026-10-22 12:17:58 +03:00
1 parent 6caa2acafb
commit 022342af32
1 file changed
+1 -1
+1 -1
View File
@@ -332,7 +332,7 @@ hold def = mapAccum step def id
holdKnown :: (Serialize a, Eq a) => Mealy m (Event a) (Maybe a) holdKnown :: (Serialize a, Eq a) => Mealy m (Event a) (Maybe a)
holdKnown = arr (fmap Just) >>> hold Nothing holdKnown = arr (fmap Just) >>> hold Nothing
snapshot :: (Serialize a, Eq a) => a -> Mealy m (Event (), a) a snapshot :: (Serialize a, Eq a) => a -> Mealy m (Event x, a) a
snapshot def = mapAccum step def id snapshot def = mapAccum step def id
where where
step prev (Tick, _) = prev step prev (Tick, _) = prev