packages feed

genvalidity-containers-0.5.1.0: 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 Double)
    shrinkValidSpec @(Tree Int)
    shrinkValiditySpec @(Tree Double)