packages feed

genvalidity-containers-0.8.0.2: 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)