name: empty-monad version: 0.1.0.1 synopsis: A container that always has no values. description: Like arithmetics is incomplete without zero, set theory is impossible without a notion of an empty set, algorithm theory must take into account totally undefined functions -- so the domain of data types needs its absolute zero. 'Void' type from the @void@ package provides a zero element for the kind @*@ of unparametrized types. This package does the same for the kind @*->*@ of types with one parameter. license: BSD3 license-file: LICENSE author: Vadim Vinnik maintainer: vadim.vinnik@gmail.com copyright: Vadim Vinnik, 2017 homepage: https://github.com/vadimvinnik/empty-monad category: Data build-type: Simple cabal-version: >=1.10 source-repository head type: git location: https://github.com/vadimvinnik/empty-monad.git library exposed-modules: Data.Empty build-depends: base >=4.8 && <5.0 hs-source-dirs: src default-language: Haskell98