Package hydra.scala.syntax

Class DefDecl.Builder

java.lang.Object

hydra.scala.syntax.DefDecl.Builder

Enclosing class:

DefDecl

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

A fluent builder for DefDecl.

Constructor Summary

Constructors

Constructor	Description
Builder()

Method Summary

Modifier and Type	Method	Description
DefDecl	build()	Builds an immutable DefDecl.
DefDecl.Builder	decltpe(Type decltpe)
DefDecl.Builder	mods(java.util.List<Mod> mods)
DefDecl.Builder	name(NameData name)
DefDecl.Builder	paramss(java.util.List<java.util.List<ParamData>> paramss)
DefDecl.Builder	tparams(java.util.List<ParamType> tparams)

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

mods

public DefDecl.Builder mods(java.util.List<Mod> mods)

name

public DefDecl.Builder name(NameData name)

tparams

public DefDecl.Builder tparams(java.util.List<ParamType> tparams)

paramss

public DefDecl.Builder paramss(java.util.List<java.util.List<ParamData>> paramss)

decltpe

public DefDecl.Builder decltpe(Type decltpe)

build

public DefDecl build()

Builds an immutable DefDecl.