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

Directory listing for compdata-0.5.1 source tarball

compdata-0.5.1/

• 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
• examples/
  • Examples/
    • Common.hs
    • Desugar.hs
    • Eval.hs
    • EvalM.hs
    • Automata/
      • Compiler.hs
    • Multi/
      • Common.hs
      • Desugar.hs
      • Eval.hs
      • EvalI.hs
      • EvalM.hs
    • MultiParam/
      • FOL.hs
      • Lambda.hs
    • Param/
      • Graph.hs
      • Lambda.hs
      • Names.hs
• src/
  • Data/
    • Comp.hs
    • Comp/
      • Algebra.hs
      • Annotation.hs
      • Arbitrary.hs
      • Automata.hs
      • Decompose.hs
      • DeepSeq.hs
      • Derive.hs
      • Desugar.hs
      • Equality.hs
      • Generic.hs
      • Matching.hs
      • Multi.hs
      • MultiParam.hs
      • Number.hs
      • Ops.hs
      • Ordering.hs
      • Param.hs
      • Show.hs
      • Sum.hs
      • Term.hs
      • TermRewriting.hs
      • Thunk.hs
      • Unification.hs
      • Variables.hs
      • Automata/
        • Product.hs
        • Product/
          • Derive.hs
      • Derive/
        • Arbitrary.hs
        • DeepSeq.hs
        • Equality.hs
        • Foldable.hs
        • HaskellStrict.hs
        • Injections.hs
        • LiftSum.hs
        • Ordering.hs
        • Projections.hs
        • Show.hs
        • SmartAConstructors.hs
        • SmartConstructors.hs
        • Traversable.hs
        • Utils.hs
      • Multi/
        • Algebra.hs
        • Annotation.hs
        • Derive.hs
        • Desugar.hs
        • Equality.hs
        • Generic.hs
        • HFoldable.hs
        • HFunctor.hs
        • HTraversable.hs
        • Ops.hs
        • Ordering.hs
        • Show.hs
        • Sum.hs
        • Term.hs
        • Variables.hs
        • Derive/
          • Equality.hs
          • HFoldable.hs
          • HFunctor.hs
          • HTraversable.hs
          • Injections.hs
          • LiftSum.hs
          • Ordering.hs
          • Projections.hs
          • Show.hs
          • SmartAConstructors.hs
          • SmartConstructors.hs
      • MultiParam/
        • Algebra.hs
        • Annotation.hs
        • Derive.hs
        • Desugar.hs
        • Equality.hs
        • FreshM.hs
        • HDifunctor.hs
        • HDitraversable.hs
        • Ops.hs
        • Ordering.hs
        • Show.hs
        • Sum.hs
        • Term.hs
        • Derive/
          • Equality.hs
          • HDifunctor.hs
          • Injections.hs
          • LiftSum.hs
          • Ordering.hs
          • Projections.hs
          • Show.hs
          • SmartAConstructors.hs
          • SmartConstructors.hs
      • Param/
        • Algebra.hs
        • Annotation.hs
        • Derive.hs
        • Desugar.hs
        • Difunctor.hs
        • Ditraversable.hs
        • Equality.hs
        • FreshM.hs
        • Ops.hs
        • Ordering.hs
        • Show.hs
        • Sum.hs
        • Term.hs
        • Thunk.hs
        • Derive/
          • Difunctor.hs
          • Ditraversable.hs
          • Equality.hs
          • Injections.hs
          • LiftSum.hs
          • Ordering.hs
          • Projections.hs
          • Show.hs
          • SmartAConstructors.hs
          • SmartConstructors.hs
• testsuite/
  • tests/
    • Data_Test.hs
    • Data/
      • Comp_Test.hs
      • Comp/
        • Equality_Test.hs
        • Examples_Test.hs
        • Examples/
          • Comp.hs
          • Multi.hs
          • MultiParam.hs
          • Param.hs
    • Test/
      • Utils.hs