Class Ast.DatatypeBind

  • Enclosing class:
    Ast

    public static class Ast.DatatypeBind
    extends AstNode
    Parse tree node of a datatype binding.

    Example: the datatype declaration datatype 'a x = X1 of 'a | X2 and y = Y consists of type bindings 'a x = X1 of 'a | X2 and y = Y.

    • Field Detail

      • tyVars

        public final java.util.List<Ast.TyVar> tyVars
      • name

        public final Ast.Id name
      • tyCons

        public final java.util.List<Ast.TyCon> tyCons
    • Constructor Detail

      • DatatypeBind

        DatatypeBind​(Pos pos,
                     com.google.common.collect.ImmutableList<Ast.TyVar> tyVars,
                     Ast.Id name,
                     com.google.common.collect.ImmutableList<Ast.TyCon> tyCons)