Package net.hydromatic.morel.ast

Class Ast.TyCon

java.lang.Object

net.hydromatic.morel.ast.AstNode

net.hydromatic.morel.ast.Ast.TyCon

Enclosing class:

Ast

public static class Ast.TyCon
extends AstNode

Type constructor.

For example, in the datatype declaration datatype 'a option = NIL | SOME of 'a, "NIL" and "SOME of 'a" are both type constructors.

Field Summary

Fields

Modifier and Type	Field	Description
final Ast.Id	id
final @Nullable Ast.Type	type

Fields inherited from class net.hydromatic.morel.ast.AstNode

op, pos

Constructor Summary

Constructors

Constructor	Description
TyCon(Pos pos, Ast.Id id, Ast.Type type)

Method Summary

Modifier and Type	Method	Description
AstNode	accept(Shuttle shuttle)	Accepts a shuttle, calling the Shuttle.visit(net.hydromatic.morel.ast.Ast.Literal) method appropriate to the type of this node, and returning the result.
void	accept(Visitor visitor)	Accepts a visitor, calling the Shuttle.visit(net.hydromatic.morel.ast.Ast.Literal) method appropriate to the type of this node, and returning the result.
(package private) AstWriter	unparse(AstWriter w, int left, int right)

Methods inherited from class net.hydromatic.morel.ast.AstNode

toString, unparse

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Details

id

public final Ast.Id id

type

public final @Nullable Ast.Type type

Constructor Details

TyCon

TyCon(Pos pos,
 Ast.Id id,
 Ast.Type type)

Method Details

accept

public void accept(Visitor visitor)

Description copied from class: AstNode

Accepts a visitor, calling the Shuttle.visit(net.hydromatic.morel.ast.Ast.Literal) method appropriate to the type of this node, and returning the result.

Specified by:

accept in class AstNode

unparse

AstWriter unparse(AstWriter w,
 int left,
 int right)

Specified by:

unparse in class AstNode

accept

public AstNode accept(Shuttle shuttle)

Description copied from class: AstNode

Accepts a shuttle, calling the Shuttle.visit(net.hydromatic.morel.ast.Ast.Literal) method appropriate to the type of this node, and returning the result.

Specified by:

accept in class AstNode