cabal-version: 2.2 -- This file has been generated from package.yaml by hpack version 0.34.4. -- -- see: https://github.com/sol/hpack name: countable version: 1.2 synopsis: Countable, Searchable, Finite, Empty classes description: * @class Countable@, for countable types . * @class AtLeastOneCountable@, for countable types that have at least one value . * @class InfiniteCountable@, for infinite countable types . * @class Searchable@, for types that can be searched over. This turns out to include some infinite types, see . . * @class Finite@, for finite types . * @class Singular@, for singular (n = 1) types . * @class Empty@, for empty (n = 0) types . Some orphan instances (in their own modules): . * @(Searchable a,Eq b) => Eq (a -> b)@ / / . * @Finite t => Foldable ((->) t)@ / / . * @Finite a => Traversable ((->) a)@ / / . * @(Show a,Finite a,Show b) => Show (a -> b)@ / / category: Data homepage: https://github.com/AshleyYakeley/countable bug-reports: https://github.com/AshleyYakeley/countable/issues author: Ashley Yakeley maintainer: copyright: (c) 2010-2022 Ashley Yakeley license: BSD-3-Clause license-file: LICENSE build-type: Simple extra-source-files: changelog.md library exposed-modules: Data.Searchable Data.Countable Data.Singular Data.Empty Data.Function.Eq Data.Function.Foldable Data.Function.Traversable Data.Function.Show other-modules: Data.Expression hs-source-dirs: src default-extensions: EmptyCase ExistentialQuantification ghc-options: -Wall build-depends: base >=4.15 && <5 default-language: Haskell2010 test-suite test type: exitcode-stdio-1.0 main-is: Count.hs other-modules: Show TypeName Three Golden hs-source-dirs: test default-extensions: EmptyCase ExistentialQuantification GeneralizedNewtypeDeriving ScopedTypeVariables ghc-options: -Wall build-depends: base >=4.15 && <5 , bytestring , countable , silently , tasty , tasty-golden , tasty-hunit default-language: Haskell2010