packages feed

cursor-gen-0.4.0.0: test/Cursor/MapSpec.hs

{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE TypeApplications #-}

module Cursor.MapSpec
  ( spec,
  )
where

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

spec :: Spec
spec = do
  eqSpec @(MapCursor Bool Bool Bool Bool)
  genValidSpec @(MapCursor Bool Bool Bool Bool)