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

Directory listing for compdata-0.2 source tarball

compdata-0.2/

• LICENSE
• Setup.hs
• compdata.cabal
• benchmark/
  • Benchmark.hs
  • DataTypes.hs
  • Functions.hs
  • Test.hs
  • Transformations.hs
  • DataTypes/
    • Comp.hs
    • Standard.hs
    • Transform.hs
  • Functions/
    • Comp.hs
    • Standard.hs
    • Comp/
      • Desugar.hs
      • Eval.hs
      • FreeVars.hs
      • Inference.hs
    • Standard/
      • Desugar.hs
      • Eval.hs
      • FreeVars.hs
      • Inference.hs
  • Multi/
    • DataTypes/
      • Comp.hs
    • Functions/
      • Comp/
        • Desugar.hs
        • Eval.hs
• src/
  • Data/
    • Comp.hs
    • Comp/
      • Algebra.hs
      • Arbitrary.hs
      • Automata.hs
      • Decompose.hs
      • DeepSeq.hs
      • Derive.hs
      • Equality.hs
      • Generic.hs
      • Matching.hs
      • Multi.hs
      • Ops.hs
      • Ordering.hs
      • Product.hs
      • Show.hs
      • Sum.hs
      • Term.hs
      • TermRewriting.hs
      • Unification.hs
      • Variables.hs
      • Derive/
        • Arbitrary.hs
        • DeepSeq.hs
        • Equality.hs
        • Foldable.hs
        • Ordering.hs
        • Show.hs
        • SmartConstructors.hs
        • Traversable.hs
        • Utils.hs
        • Multi/
          • Equality.hs
          • Foldable.hs
          • Functor.hs
          • Show.hs
          • SmartConstructors.hs
          • Traversable.hs
      • Multi/
        • Algebra.hs
        • Equality.hs
        • Foldable.hs
        • Functor.hs
        • Ops.hs
        • Product.hs
        • Show.hs
        • Sum.hs
        • Term.hs
        • Traversable.hs
        • Variables.hs
• testsuite/
  • tests/
    • Data_Test.hs
    • Data/
      • Comp_Test.hs
      • Comp/
        • Equality_Test.hs
    • Test/
      • Utils.hs