fraport/fradrive-old
Archived
3
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

fix(tests): remove invalid claim of commutativity

Browse Source
This commit is contained in:
Gregor Kleen 2020-11-28 13:58:03 +01:00
parent 23a21b905c
commit d2f0361e49
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
test/Model/Types/FileSpec.hs
View File

@ -67,6 +67,6 @@ spec = do
lawsCheckHspec (Proxy @(FileFieldUserOption Bool)) lawsCheckHspec (Proxy @(FileFieldUserOption Bool))
[ eqLaws, ordLaws, showLaws, showReadLaws, jsonLaws ] [ eqLaws, ordLaws, showLaws, showReadLaws, jsonLaws ]
lawsCheckHspec (Proxy @(FileReferenceTitleMap FileReference (FileFieldUserOption Bool))) lawsCheckHspec (Proxy @(FileReferenceTitleMap FileReference (FileFieldUserOption Bool)))
[ eqLaws, ordLaws, semigroupLaws, monoidLaws, semigroupMonoidLaws, idempotentSemigroupLaws, commutativeSemigroupLaws ] [ eqLaws, ordLaws, semigroupLaws, monoidLaws, semigroupMonoidLaws, idempotentSemigroupLaws ]
lawsCheckHspec (Proxy @(FileField FileReference)) lawsCheckHspec (Proxy @(FileField FileReference))
[ eqLaws, ordLaws, jsonLaws ] [ eqLaws, ordLaws, jsonLaws ]