chr-core-0.1.0.4: chr-core.cabal
-- Initial chr.cabal generated by cabal init. For further documentation,
-- see http://haskell.org/cabal/users-guide/
name: chr-core
version: 0.1.0.4
synopsis: Constraint Handling Rules
description: Constraint Handling Rules evaluation engine
license: BSD3
license-file: LICENSE
author: Atze Dijkstra
maintainer: atzedijkstra@gmail.com
Homepage: https://github.com/atzedijkstra/chr
Bug-Reports: https://github.com/atzedijkstra/chr/issues
-- copyright:
category: Control
build-type: Simple
extra-source-files: ChangeLog.md, README.md
cabal-version: >=1.10
source-repository head
type: git
location: git@github.com:atzedijkstra/chr.git
library
exposed-modules:
CHR.Solve.MonoBacktrackPrio,
CHR.Types,
CHR.Types.Rule,
CHR.Types.Core
other-modules:
-- other-extensions:
default-extensions:
NoMagicHash,
DeriveGeneric,
DeriveDataTypeable,
TypeFamilies,
FlexibleContexts,
FunctionalDependencies,
FlexibleInstances,
RankNTypes
build-depends:
base >=4.8 && < 5,
-- array >= 0.3,
hashable >= 1.2.4,
unordered-containers >= 0.2.7,
containers >= 0.4,
mtl >= 2,
pqueue >= 1.3.1,
-- vector >= 0.11,
-- fclabels >= 2.0.3,
chr-data >= 0.1.0.1,
chr-pretty >= 0.1.0.0,
logict-state >= 0.1.0.5
hs-source-dirs: src
default-language: Haskell2010