cursor-gen-0.4.0.0: test/Cursor/Simple/Tree/CollapseSpec.hs

{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TypeApplications #-}

module Cursor.Simple.Tree.CollapseSpec
  ( spec,
  )
where

import Cursor.Simple.Tree hiding (TreeCursor)
import Cursor.Simple.Tree.Gen ()
import Test.Hspec
import Test.Validity

spec :: Spec
spec = do
  describe "treeCursorOpenCurrentForest" $
    it "produces valid cursors" $
      producesValid $
        treeCursorOpenCurrentForest @Bool @Bool
  describe "treeCursorCloseCurrentForest" $
    it "produces valid cursors" $
      producesValid $
        treeCursorCloseCurrentForest @Bool @Bool
  describe "treeCursorToggleCurrentForest" $
    it "produces valid cursors" $
      producesValid $
        treeCursorToggleCurrentForest @Bool @Bool
  describe "treeCursorOpenCurrentForestRecursively" $
    it "produces valid cursors" $
      producesValid $
        treeCursorOpenCurrentForestRecursively @Bool @Bool
  describe "treeCursorToggleCurrentForestRecursively" $
    it "produces valid cursors" $
      producesValid $
        treeCursorToggleCurrentForestRecursively @Bool @Bool