cabal-version:  >=1.14
name:           countable
version:        0.2
x-follows-version-policy:
license:        BSD3
license-file:   LICENSE
copyright:      Ashley Yakeley <ashley@semantic.org>
author:         Ashley Yakeley <ashley@semantic.org>
maintainer:     Ashley Yakeley <ashley@semantic.org>
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 <http://math.andrej.com/2007/09/28/seemingly-impossible-functional-programs/>.
    .
    * @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