Package hydra.haskell.syntax

Class TypedPattern.Builder

java.lang.Object

hydra.haskell.syntax.TypedPattern.Builder

Enclosing class:

TypedPattern

public static final class TypedPattern.Builder
extends java.lang.Object

A fluent builder for TypedPattern.

Constructor Summary

Constructors

Constructor	Description
Builder()

Method Summary

Modifier and Type	Method	Description
TypedPattern	build()	Builds an immutable TypedPattern.
TypedPattern.Builder	inner(Pattern inner)
TypedPattern.Builder	type(Type type)

Methods inherited from class java.lang.Object

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

Constructor Detail

Builder

public Builder()

Method Detail

inner

public TypedPattern.Builder inner(Pattern inner)

type

public TypedPattern.Builder type(Type type)

build

public TypedPattern build()

Builds an immutable TypedPattern.