Package net.hydromatic.morel.ast

Class Core.ConPat

java.lang.Object

net.hydromatic.morel.ast.AstNode

net.hydromatic.morel.ast.Core.BaseNode

net.hydromatic.morel.ast.Core.Pat

net.hydromatic.morel.ast.Core.ConPat

Enclosing class:

Core

public static class Core.ConPat
extends Core.Pat

Type constructor pattern with an argument.

For example, in "fun nvl NIL = 0 | OPTION x = x", "OPTION x" is a type constructor pattern that binds "x"; and "NIL" is a type constructor pattern whose pat is null.

See Also:

• Core.Con0Pat

Field Summary

Fields

Modifier and Type	Field	Description
final Core.Pat	pat
final String	tyCon

Fields inherited from class net.hydromatic.morel.ast.Core.Pat

type

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

op, pos

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	ConPat(Op op, Type type, String tyCon, Core.Pat pat)	Mostly-private constructor.
(package private)	ConPat(Type type, String tyCon, Core.Pat pat)

Method Summary

Modifier and Type	Method	Description
Core.Pat	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.
Core.ConPat	copy(String tyCon, Core.Pat pat)	Creates a copy of this ConPat with given contents, or this if the contents are the same.
(package private) AstWriter	unparse(AstWriter w, int left, int right)

Methods inherited from class net.hydromatic.morel.ast.Core.Pat

type, typeKey

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

tyCon

public final String tyCon

pat

public final Core.Pat pat

Constructor Details

ConPat

protected ConPat(Op op,
 Type type,
 String tyCon,
 Core.Pat pat)

Mostly-private constructor.

Exposed so that "op ::" (cons) can supply a different Op value. The "list" datatype is not represented the same as other datatypes, and the separate "op" value allows us to deconstruct it in a different way.

ConPat

ConPat(Type type,
 String tyCon,
 Core.Pat pat)

Method Details

unparse

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

Specified by:

unparse in class AstNode

accept

public Core.Pat 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 Core.Pat

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.

Overrides:

accept in class Core.BaseNode

copy

public Core.ConPat copy(String tyCon,
 Core.Pat pat)

Creates a copy of this ConPat with given contents, or this if the contents are the same.