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

Directory listing for datafix-0.0.0.2 candidate source tarball

datafix-0.0.0.2/

• CHANGELOG.md
• LICENSE
• README.md
• Setup.hs
• datafix.cabal
• stack.yaml
• bench/
  • Main.hs
• examples/
  • Fac.hs
  • Fib.hs
  • Mutual.hs
  • Sum.hs
  • Analyses/
    • AdHocStrAnal.hs
    • StrAnal.hs
    • StrAnal/
      • Analysis.hs
      • Arity.hs
      • Strictness.hs
    • Syntax/
      • CoreSynF.hs
      • MkCoreFromFile.hs
      • MkCoreHelpers.hs
    • Templates/
      • LetDn.hs
• exprs/
  • const.hs
  • findLT.hs
  • kahan.hs
  • lambda.hs
  • sieve.hs
• lattices/
  • Algebra/
    • Lattice.hs
• src/
  • Datafix.hs
  • Datafix/
    • Common.hs
    • Denotational.hs
    • Entailments.hs
    • Explicit.hs
    • IntArgsMonoMap.hs
    • IntArgsMonoSet.hs
    • MonoMap.hs
    • NodeAllocator.hs
    • ProblemBuilder.hs
    • Tutorial.hs
    • Worklist.hs
    • Utils/
      • Constraints.hs
      • GrowableVector.hs
      • TypeLevel.hs
    • Worklist/
      • Denotational.hs
      • Graph.hs
      • Internal.hs
      • Graph/
        • Dense.hs
        • Sparse.hs
• tests/
  • Critical.hs
  • Main.hs
  • StrAnal.hs
  • Trivial.hs
  • doctest.hs