genvalidity-containers-0.5.1.1: test/Test/Validity/Containers/TreeSpec.hs

{-# LANGUAGE TypeApplications #-}

module Test.Validity.Containers.TreeSpec where

import Test.Hspec

import Data.GenValidity.Tree ()
import Data.Tree (Tree)
import Test.Validity

spec :: Spec
spec = do
    genValidSpec @(Tree Int)
    genValiditySpec @(Tree Rational)
    shrinkValidSpec @(Tree Int)
    shrinkValiditySpec @(Tree Rational)