Unifier.h

Go to the documentation of this file.

#pragma once
 
#include "TipType.h"
#include "TipVar.h"
#include "TypeConstraint.h"
#include "UnionFind.h"
#include <set>
#include <vector>
 
class Unifier {
public:
  Unifier();
 
  explicit Unifier(std::vector<TypeConstraint>);
 
  ~Unifier() = default;
 
  void unify(std::shared_ptr<TipType> t1, std::shared_ptr<TipType> t2);
 
  void add(std::vector<TypeConstraint>);
 
  void solve();
 
  std::shared_ptr<TipType> inferred(std::shared_ptr<TipType> t);
 
  static bool isCons(std::shared_ptr<TipType> type);
  static bool isMu(std::shared_ptr<TipType> type);
  static bool isVar(std::shared_ptr<TipType> type);
  static bool isAlpha(std::shared_ptr<TipType> type);
  static bool isProperType(std::shared_ptr<TipType> type);
 
private:
  std::shared_ptr<TipType> close(std::shared_ptr<TipType> type,
                                 std::set<std::shared_ptr<TipVar>> visited);
  void throwUnifyException(std::shared_ptr<TipType> TipType1,
                           std::shared_ptr<TipType> TipType2);
 
  std::vector<TypeConstraint> constraints;
  std::shared_ptr<UnionFind> unionFind;
};