Permalink
Find file
Fetching contributors…
Cannot retrieve contributors at this time
97 lines (93 sloc) 2.6 KB
Name: uhc-util
Version: 0.1.6.7
cabal-version: >= 1.6
License: BSD3
Copyright: Utrecht University, Department of Information and Computing Sciences, Software Technology group
Build-Type: Simple
license-file: LICENSE
Author: Atze Dijkstra
Maintainer: atze@uu.nl
Homepage: https://github.com/UU-ComputerScience/uhc-util
Bug-Reports: https://github.com/UU-ComputerScience/uhc-util/issues
Category: Development
Description: General purpose utilities for UHC and related tools
Synopsis: UHC utilities
extra-source-files: changelog.md
source-repository head
type: git
location: git://github.com/UU-ComputerScience/uhc-util.git
library
Build-Depends:
base >= 4.8.1 && < 5,
mtl >= 2,
transformers >= 0.4.2,
fgl >= 5.4,
hashable >= 1.2.4,
containers >= 0.4,
directory >= 1.1,
array >= 0.3,
process >= 1.1,
binary >= 0.5,
bytestring >= 0.9,
uulib >= 0.9.19,
time-compat >= 0.1.0.1,
time >= 1.2,
fclabels >= 2.0.3,
logict-state >= 0.1.0.2,
pqueue >= 1.3.1
Exposed-Modules:
UHC.Util.AGraph,
UHC.Util.AssocL,
UHC.Util.Binary,
UHC.Util.CHR,
UHC.Util.CHR.Key,
UHC.Util.CHR.Base,
UHC.Util.CHR.Rule,
UHC.Util.CHR.Solve.TreeTrie.Mono,
UHC.Util.CHR.Solve.TreeTrie.MonoBacktrackPrio,
UHC.Util.CHR.Solve.TreeTrie.Examples.Term.Main,
UHC.Util.CHR.Solve.TreeTrie.Visualizer,
UHC.Util.CHR.GTerm,
UHC.Util.CompileRun,
UHC.Util.CompileRun2,
UHC.Util.CompileRun3,
UHC.Util.Control.Monad,
UHC.Util.Debug,
UHC.Util.DependencyGraph,
UHC.Util.Error,
UHC.Util.FastSeq,
UHC.Util.FPath,
UHC.Util.Fresh,
UHC.Util.Hashable,
UHC.Util.Lens,
UHC.Util.Nm,
UHC.Util.ParseErrPrettyPrint,
UHC.Util.ParseUtils,
UHC.Util.Pretty,
UHC.Util.PrettySimple,
UHC.Util.PrettyUtils,
UHC.Util.Rel,
UHC.Util.RelMap,
UHC.Util.RLList,
UHC.Util.RLList.LexScope,
UHC.Util.ScanUtils,
UHC.Util.ScopeMapGam,
UHC.Util.ScopeVarMp,
UHC.Util.Serialize,
UHC.Util.Substitutable,
UHC.Util.Time,
UHC.Util.TreeTrie,
UHC.Util.TreeTrie2,
UHC.Util.Utils,
UHC.Util.VarLookup,
UHC.Util.VarMp
Other-Modules:
UHC.Util.CHR.Solve.TreeTrie.Internal.Shared,
UHC.Util.CHR.Solve.TreeTrie.Internal,
UHC.Util.CHR.GTerm.AST,
UHC.Util.CHR.GTerm.Parser,
UHC.Util.CHR.Solve.TreeTrie.Examples.Term.AST
Ghc-Options:
HS-Source-Dirs: src
Build-Tools:
Extensions: NoMagicHash, DeriveGeneric, DeriveDataTypeable, TypeFamilies, FlexibleContexts, FunctionalDependencies, FlexibleInstances