compiler/elaboration/chr/CHRRelation.java

   1 package org.simantics.scl.compiler.elaboration.chr;
   2
   3 import org.simantics.scl.compiler.types.TPred;
   4 import org.simantics.scl.compiler.types.TVar;
   5 import org.simantics.scl.compiler.types.Type;
   6 import org.simantics.scl.compiler.types.Types;
   7 import org.simantics.scl.compiler.types.kinds.Kinds;
   8
   9 public interface CHRRelation {
  10     public static final TVar A = Types.var(Kinds.STAR);
  11
  12     TVar[] getTypeVariables();
  13     Type[] getParameterTypes();
  14     TPred[] getTypeConstraints();
  15     default String[] getFieldNames() {
  16         return null;
  17     }
  18 }