patrickaldis/garnet
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Generalise test monoid instance

Browse Source
This commit is contained in:
George Thomas 2026-01-01 13:24:49 +00:00
parent f7c9297a85
commit 8442ce8dba
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
haskell/Pre.hs
View File

@ -152,7 +152,7 @@ applyPuzzleParts e = \case
PuzzlePartsNil -> (HNil, []) PuzzlePartsNil -> (HNil, [])
PuzzlePartsCons f o ps -> let r = f e in bimap (HCons r) (o r :) $ applyPuzzleParts e ps PuzzlePartsCons f o ps -> let r = f e in bimap (HCons r) (o r :) $ applyPuzzleParts e ps
instance Semigroup (TestDefM '[] () ()) where instance Semigroup (TestDefM a b ()) where
(<>) = (>>) (<>) = (>>)
instance Monoid (TestDefM '[] () ()) where instance Monoid (TestDefM a b ()) where
mempty = pure () mempty = pure ()