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

module Cursor.Simple.Tree.InsertSpec
  ( spec
  ) where

import Test.Hspec

import Test.Validity

import Cursor.Simple.Tree hiding (TreeCursor)
import Cursor.Simple.Tree.Gen ()

spec :: Spec
spec = do
  describe "treeCursorInsert" $ do
    it "produces valids on valids" $
      producesValidsOnValids2 $ treeCursorInsert @Rational @Rational
    it "inserts the element" pending
  describe "treeCursorInsertAndSelect" $ do
    it "produces valids on valids" $
      producesValidsOnValids2 $ treeCursorInsertAndSelect @Rational
    it "inserts and select the element" pending
  describe "treeCursorAppend" $ do
    it "produces valids on valids" $
      producesValidsOnValids2 $ treeCursorAppend @Rational @Rational
    it "appends the element" pending
  describe "treeCursorAppendAndSelect" $ do
    it "produces valids on valids" $
      producesValidsOnValids2 $ treeCursorAppendAndSelect @Rational
    it "appends and select the element" pending
  describe "treeCursorAddChildAtPos" $ do
    it "produces valid cursors " $
      producesValidsOnValids3 $ treeCursorAddChildAtPos @Rational @Rational
    it
      "adds a tree at the given index in the children of the current node"
      pending
  describe "treeCursorAddChildAtStart" $ do
    it "produces valid cursors " $
      producesValidsOnValids2 $ treeCursorAddChildAtStart @Rational @Rational
    it "adds a tree at the start of the children of the current node" pending
  describe "treeCursorAddChildAtEnd" $ do
    it "produces valid cursors " $
      producesValidsOnValids2 $ treeCursorAddChildAtEnd @Rational @Rational
    it "adds a tree at the end of the children of the current node" pending