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

Directory listing for hypertypes-0.2.2 source tarball

hypertypes-0.2.2/

• ChangeLog.md
• LICENSE
• README.md
• Setup.hs
• hypertypes.cabal
• src/
  • Hyper.hs
  • Hyper/
    • Diff.hs
    • Infer.hs
    • Recurse.hs
    • Syntax.hs
    • Type.hs
    • Unify.hs
    • Class/
      • Apply.hs
      • Context.hs
      • Foldable.hs
      • Functor.hs
      • HasPlain.hs
      • Infer.hs
      • Monad.hs
      • Morph.hs
      • Nodes.hs
      • Optic.hs
      • Pointed.hs
      • Recursive.hs
      • Traversable.hs
      • Unify.hs
      • ZipMatch.hs
      • Infer/
        • Env.hs
        • InferOf.hs
    • Combinator/
      • ANode.hs
      • Ann.hs
      • Compose.hs
      • Flip.hs
      • Func.hs
    • Infer/
      • Blame.hs
      • Result.hs
      • ScopeLevel.hs
    • Internal/
      • Prelude.hs
    • Syntax/
      • App.hs
      • FuncType.hs
      • Lam.hs
      • Let.hs
      • Map.hs
      • Nominal.hs
      • Row.hs
      • Scheme.hs
      • TypeSig.hs
      • TypedLam.hs
      • Var.hs
      • Scheme/
        • AlphaEq.hs
    • TH/
      • Apply.hs
      • Context.hs
      • Foldable.hs
      • Functor.hs
      • HasPlain.hs
      • Morph.hs
      • Nodes.hs
      • Pointed.hs
      • Traversable.hs
      • ZipMatch.hs
      • Internal/
        • Utils.hs
    • Type/
      • Functor.hs
      • Prune.hs
      • Pure.hs
    • Unify/
      • Binding.hs
      • Constraints.hs
      • Error.hs
      • Generalize.hs
      • New.hs
      • Occurs.hs
      • QuantifiedVar.hs
      • Term.hs
      • Binding/
        • ST.hs
        • Save.hs
        • ST/
          • Load.hs
• test/
  • AlphaEqTest.hs
  • Benchmark.hs
  • BlameTest.hs
  • ExprUtils.hs
  • LangA.hs
  • LangATest.hs
  • LangB.hs
  • LangBTest.hs
  • LangC.hs
  • LangD.hs
  • ReadMeExamples.hs
  • Spec.hs
  • TypeLang.hs
  • Hyper/
    • Class/
      • Infer/
        • Infer1.hs
    • Syntax/
      • NamelessScope.hs
      • NamelessScope/
        • InvDeBruijn.hs