diff --git a/test/Model/TypesSpec.hs b/test/Model/TypesSpec.hs index bfe154a02..d30237550 100644 --- a/test/Model/TypesSpec.hs +++ b/test/Model/TypesSpec.hs @@ -140,6 +140,10 @@ instance Arbitrary AuthenticationMode where shrink AuthLDAP = [] shrink (AuthPWHash _) = [AuthLDAP] + +instance Arbitrary LecturerType where + arbitrary = genericArbitrary + shrink = genericShrink spec :: Spec @@ -199,6 +203,8 @@ spec = do [ eqLaws, ordLaws, showReadLaws, boundedEnumLaws, finiteLaws, hashableLaws, jsonLaws, pathPieceLaws, jsonKeyLaws ] lawsCheckHspec (Proxy @AuthTagActive) [ eqLaws, ordLaws, showReadLaws, jsonLaws, persistFieldLaws ] + lawsCheckHspec (Proxy @LecturerType) + [ eqLaws, ordLaws, showReadLaws, boundedEnumLaws, finiteLaws, jsonLaws, pathPieceLaws, persistFieldLaws ] describe "TermIdentifier" $ do it "has compatible encoding/decoding to/from Text" . property $