• Home
• Search 
• Browse
• What's new
• Upload
• User accounts

Directory listing for souffle-haskell-3.4.0 candidate source tarball

souffle-haskell-3.4.0/

• CHANGELOG.md
• LICENSE
• README.md
• Setup.hs
• souffle-haskell.cabal
• benchmarks/
  • bench.hs
  • fixtures/
    • bench.cpp
• cbits/
  • souffle.cpp
  • souffle.h
  • souffle/
    • CompiledSouffle.h
    • LICENSE
    • RamTypes.h
    • RecordTable.h
    • SignalHandler.h
    • SouffleInterface.h
    • SymbolTable.h
    • datastructure/
      • BTree.h
      • BTreeDelete.h
      • BTreeUtil.h
      • Brie.h
      • ConcurrentFlyweight.h
      • ConcurrentInsertOnlyHashMap.h
      • EquivalenceRelation.h
      • LambdaBTree.h
      • PiggyList.h
      • Table.h
      • UnionFind.h
    • io/
      • IOSystem.h
      • ReadStream.h
      • ReadStreamCSV.h
      • ReadStreamJSON.h
      • ReadStreamSQLite.h
      • SerialisationStream.h
      • WriteStream.h
      • WriteStreamCSV.h
      • WriteStreamJSON.h
      • WriteStreamSQLite.h
      • gzfstream.h
    • utility/
      • CacheUtil.h
      • ContainerUtil.h
      • DynamicCasting.h
      • EvaluatorUtil.h
      • FileUtil.h
      • General.h
      • Iteration.h
      • MiscUtil.h
      • ParallelUtil.h
      • StreamUtil.h
      • StringUtil.h
      • Types.h
      • json11.h
      • span.h
      • tinyformat.h
• lib/
  • Language/
    • Souffle/
      • Analysis.hs
      • Class.hs
      • Compiled.hs
      • Internal.hs
      • Interpreted.hs
      • Marshal.hs
      • Internal/
        • Bindings.hs
• tests/
  • test.hs
  • Test/
    • Language/
      • Souffle/
        • AnalysisSpec.hs
        • CompiledSpec.hs
        • DerivingViaSpec.hs
        • InterpretedSpec.hs
        • MarshalSpec.hs
  • fixtures/
    • edge_cases.cpp
    • path.cpp
    • round_trip.cpp