BaseSpec.hs

{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TypeApplications #-}
{-# OPTIONS_GHC -fno-warn-orphans #-}

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

import Cursor.Simple.Tree hiding (TreeCursor)
import qualified Cursor.Simple.Tree as STC (TreeCursor)
import Cursor.Simple.Tree.Gen ()
import Cursor.Simple.Tree.TestUtils
import Test.Hspec
import Test.Validity

spec :: Spec
spec = do
  eqSpec @(STC.TreeCursor Int)
  genValidSpec @(STC.TreeCursor Bool)
  describe "makeTreeCursor" $
    it "produces valid cursors" $
      producesValid (makeTreeCursor @Bool)
  describe "makeNodeTreeCursor" $
    it "produces valid cursors" $
      producesValid2 (makeNodeTreeCursor @Bool @Bool)
  describe "makeTreeCursorWithSelection" $
    it "produces valid cursors" $
      producesValid2 (makeTreeCursorWithSelection @Bool)
  describe "singletonTreeCursor" $
    it "produces valid cursors" $
      producesValid (singletonTreeCursor @Bool)
  describe "rebuildTreeCursor" $ do
    it "produces valid trees" $ producesValid (rebuildTreeCursor @Bool)
    it "is the inverse of makeTreeCursor for integers" $
      inverseFunctions (makeTreeCursor @Int) rebuildTreeCursor
    it "is the inverse of makeTreeCursorWithSelection for the current selection" $
      forAllValid $
        \tc ->
          case makeTreeCursorWithSelection @Bool (treeCursorSelection tc) (rebuildTreeCursor tc) of
            Nothing -> expectationFailure "makeTreeCursorWithSelection should not have failed."
            Just r -> r `treeShouldBe` tc