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

Directory listing for hypertypes-0.1.0.1 source tarball

hypertypes-0.1.0.1/

• ChangeLog.md
• LICENSE
• README.md
• Setup.hs
• hypertypes.cabal
• src/
  • Hyper.hs
  • Hyper/
    • Diff.hs
    • Infer.hs
    • Recurse.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
    • 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
      • AST/
        • 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
    • 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/
  • Benchmark.hs
  • LangA.hs
  • LangB.hs
  • LangC.hs
  • LangD.hs
  • ReadMeExamples.hs
  • Spec.hs
  • TypeLang.hs
  • Hyper/
    • Class/
      • Infer/
        • Infer1.hs
    • Type/
      • AST/
        • NamelessScope.hs
        • NamelessScope/
          • InvDeBruijn.hs