Name: fcf-containers
Synopsis: Data structures and algorithms for first-class-families
Description:
Package fcf-containers provides type-level functions and data structures
that operate on type-level computations. Specifically, we mimick the
contents of containers-package and show how these can be used. Everything is
based on the ideas given in the first-class-families -package.
Homepage: https://github.com/gspia/fcf-containers
Version: 0.3.0
Build-type: Simple
Author: gspia
Maintainer: iahogsp@gmail.com
License: BSD3
License-file: LICENSE
Category: Other
Copyright: gspia (c) 2020-
Extra-source-files: README.md, TODO.md, CHANGELOG.md, default.nix, shell.nix
Cabal-version: 1.24
Tested-With: GHC ==8.8.1 || ==8.6.5 || ==8.4.4 || ==8.2.2
library
hs-source-dirs: src
exposed-modules: Fcf.Data.MapC
, Fcf.Data.Tree
, Fcf.Data.Set
, Fcf.Data.Symbol
, Fcf.Data.Text
, Fcf.Alg.List
, Fcf.Alg.Sort
, Fcf.Alg.Tree
, Fcf.Alg.Morphism
build-depends: base >= 4.9 && < 4.14
, first-class-families >= 0.7 && < 0.8
ghc-options: -Wall
default-language: Haskell2010
-- ghc-options:
-- -O2
Executable orbits
hs-source-dirs: examples,src
main-is: Orbits.hs
default-language: Haskell2010
other-modules: Fcf.Alg.Morphism
, Fcf.Alg.List
, Fcf.Alg.Tree
, Fcf.Data.Tree
build-depends: base
, first-class-families
-- ghc-options:
-- -ddump-simpl
-- -O2
Executable haiku
hs-source-dirs: examples,src
main-is: Haiku.hs
default-language: Haskell2010
other-modules: Fcf.Alg.Morphism
, Fcf.Alg.List
, Fcf.Data.Tree
, Fcf.Data.MapC
, Fcf.Data.Set
, Fcf.Data.Symbol
, Fcf.Data.Text
build-depends: base
, first-class-families
test-suite fcf-test
type: exitcode-stdio-1.0
hs-source-dirs: test
main-is: test.hs
default-language: Haskell2010
build-depends:
base
, first-class-families
, fcf-containers
test-suite fcf-doctest
type: exitcode-stdio-1.0
hs-source-dirs: test
main-is: doctest.hs
default-language: Haskell2010
if impl(ghc >= 8.6)
build-depends:
base,
doctest,
Glob
else
buildable: False
source-repository head
type: git
location: https://github.com/gspia/fcf-containers