leancheck-instances-0.0.1: src/Test/LeanCheck/Instances/Natural.hs

module Test.LeanCheck.Instances.Natural () where

import Numeric.Natural
import Test.LeanCheck

instance Listable Natural where
  list = [0..]