packages feed

cursor-gen-0.4.0.0: test/Cursor/Map/KeyValueSpec.hs

{-# LANGUAGE TypeApplications #-}

module Cursor.Map.KeyValueSpec
  ( spec,
  )
where

import Cursor.Map.KeyValue
import Cursor.Map.KeyValue.Gen ()
import Test.Hspec
import Test.Validity

spec :: Spec
spec = do
  eqSpec @(KeyValueCursor Bool Bool Bool Bool)
  genValidSpec @(KeyValueCursor Bool Bool Bool Bool)
  eqSpec @KeyValueToggle
  genValidSpec @KeyValueToggle