universe-1.2: universe.cabal
name: universe
version: 1.2
synopsis: A class for finite and recursively enumerable types.
description:
A class for finite and recursively enumerable types and some helper functions for enumerating them
.
@
class Universe a where universe :: [a]
class Universe a => Finite a where universeF :: [a]; universeF = universe
@
.
This also provides instances from @universe-instances-*" packages.
homepage: https://github.com/dmwit/universe
license: BSD3
license-file: LICENSE
author: Daniel Wagner
maintainer: me@dmwit.com
copyright: Daniel Wagner 2014
category: Data
build-type: Simple
cabal-version: >=1.10
extra-source-files: changelog
tested-with:
GHC ==8.8.1 || ==8.6.5 || ==8.4.4 || ==8.2.2 || ==8.0.2 || ==7.10.3 || ==7.8.4 || ==7.6.3 || ==7.4.2 || ==7.0.4
source-repository head
type: git
location: https://github.com/dmwit/universe
source-repository this
type: git
location: https://github.com/dmwit/universe
tag: 1.1
library
default-language: Haskell2010
hs-source-dirs: src
exposed-modules:
Data.Universe
Data.Universe.Instances.Reverse
build-depends:
universe-base >=1.1 && <1.1.2
, universe-instances-extended >=1.1.1 && <1.1.2
, universe-reverse-instances >=1.1 && <1.1.1
, universe-some >=1.2 && <1.2.1