syntax-tree-0.1.0.0: Typed ASTs

Signatures

Modules

•  AST
  Submodules

  • Class
    Submodules

    • AST.Class.Apply
    • AST.Class.Foldable
    • AST.Class.Functor
    • AST.Class.Has
    • AST.Class.HasPlain
    •  AST.Class.Infer
      Submodules

      • AST.Class.Infer.Env
      • AST.Class.Infer.Infer1
      • AST.Class.Infer.InferOf
    • AST.Class.Monad
    • AST.Class.Nodes
    • AST.Class.Pointed
    • AST.Class.Recursive
    • AST.Class.Traversable
    • AST.Class.Unify
    • AST.Class.ZipMatch
  • Combinator
    Submodules

    • AST.Combinator.ANode
    • AST.Combinator.Compose
    • AST.Combinator.Flip
  • AST.Diff
  •  AST.Infer
    Submodules

    • AST.Infer.Blame
    • AST.Infer.ScopeLevel
    • AST.Infer.Term
  •  AST.Knot
    Submodules

    •  AST.Knot.Ann
      Submodules

      • AST.Knot.Ann.Arbitrary
    • AST.Knot.Functor
    • AST.Knot.Prune
    • AST.Knot.Pure
  • AST.Recurse
  • TH
    Submodules

    • AST.TH.Apply
    • AST.TH.Foldable
    • AST.TH.Functor
    • AST.TH.HasPlain
    • AST.TH.Nodes
    • AST.TH.Pointed
    • AST.TH.Traversable
    • AST.TH.ZipMatch
  • Term
    Submodules

    • AST.Term.App
    • AST.Term.FuncType
    • AST.Term.Lam
    • AST.Term.Let
    • AST.Term.Map
    •  AST.Term.NamelessScope
      Submodules

      • AST.Term.NamelessScope.InvDeBruijn
    • AST.Term.Nominal
    • AST.Term.Row
    •  AST.Term.Scheme
      Submodules

      • AST.Term.Scheme.AlphaEq
    • AST.Term.TypeSig
    • AST.Term.TypedLam
    • AST.Term.Var
  •  AST.Unify
    Submodules

    • AST.Unify.Apply
    •  AST.Unify.Binding
      Submodules

      •  AST.Unify.Binding.ST
        Submodules

        • AST.Unify.Binding.ST.Load
      • AST.Unify.Binding.Save
    • AST.Unify.Constraints
    • AST.Unify.Error
    • AST.Unify.Generalize
    • AST.Unify.Lookup
    • AST.Unify.New
    • AST.Unify.Occurs
    • AST.Unify.QuantifiedVar
    • AST.Unify.Term
• Data
  Submodules

  • Functor
    Submodules

    • Product
      Submodules

      • Data.Functor.Product.PolyKinds
    • Sum
      Submodules

      • Data.Functor.Sum.PolyKinds