cabal-version: >=1.14 name: countable version: 0.2 x-follows-version-policy: license: BSD3 license-file: LICENSE copyright: Ashley Yakeley author: Ashley Yakeley maintainer: Ashley Yakeley homepage: https://github.com/AshleyYakeley/countable bug-reports: https://github.com/AshleyYakeley/countable/issues 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 Empty@, for empty types . * @data Nothing@, an empty type . Some orphan instances: . * @(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 build-type: Simple library hs-source-dirs: src default-language: Haskell98 default-extensions: EmptyDataDecls ExistentialQuantification build-depends: base ==4.* exposed-modules: Data.Expression Data.Searchable Data.Countable Data.Empty ghc-options: -Wall