Package hydra.core

Class Type

java.lang.Object

hydra.core.Type

All Implemented Interfaces:

java.io.Serializable

Direct Known Subclasses:

Type.Annotated, Type.Application, Type.Function, Type.Lambda, Type.List, Type.Literal, Type.Map, Type.Optional, Type.Product, Type.Record, Type.Set, Type.Sum, Type.Union, Type.Variable, Type.Wrap

public abstract class Type
extends java.lang.Object
implements java.io.Serializable

A data type

See Also:

Serialized Form

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	Type.Annotated
static class	Type.Application
static class	Type.Function
static class	Type.Lambda
static class	Type.List
static class	Type.Literal
static class	Type.Map
static class	Type.Optional
static interface	Type.PartialVisitor<R>
static class	Type.Product
static class	Type.Record
static class	Type.Set
static class	Type.Sum
static class	Type.Union
static class	Type.Variable
static interface	Type.Visitor<R>
static class	Type.Wrap

Field Summary

Fields

Modifier and Type	Field	Description
static Name	FIELD_NAME_ANNOTATED
static Name	FIELD_NAME_APPLICATION
static Name	FIELD_NAME_FUNCTION
static Name	FIELD_NAME_LAMBDA
static Name	FIELD_NAME_LIST
static Name	FIELD_NAME_LITERAL
static Name	FIELD_NAME_MAP
static Name	FIELD_NAME_OPTIONAL
static Name	FIELD_NAME_PRODUCT
static Name	FIELD_NAME_RECORD
static Name	FIELD_NAME_SET
static Name	FIELD_NAME_SUM
static Name	FIELD_NAME_UNION
static Name	FIELD_NAME_VARIABLE
static Name	FIELD_NAME_WRAP
static Name	TYPE_NAME

Method Summary

Modifier and Type	Method	Description
abstract <R> R	accept(Type.Visitor<R> visitor)

Methods inherited from class java.lang.Object

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

Field Detail

TYPE_NAME

public static final Name TYPE_NAME

FIELD_NAME_ANNOTATED

public static final Name FIELD_NAME_ANNOTATED

FIELD_NAME_APPLICATION

public static final Name FIELD_NAME_APPLICATION

FIELD_NAME_FUNCTION

public static final Name FIELD_NAME_FUNCTION

FIELD_NAME_LAMBDA

public static final Name FIELD_NAME_LAMBDA

FIELD_NAME_LIST

public static final Name FIELD_NAME_LIST

FIELD_NAME_LITERAL

public static final Name FIELD_NAME_LITERAL

FIELD_NAME_MAP

public static final Name FIELD_NAME_MAP

FIELD_NAME_OPTIONAL

public static final Name FIELD_NAME_OPTIONAL

FIELD_NAME_PRODUCT

public static final Name FIELD_NAME_PRODUCT

FIELD_NAME_RECORD

public static final Name FIELD_NAME_RECORD

FIELD_NAME_SET

public static final Name FIELD_NAME_SET

FIELD_NAME_SUM

public static final Name FIELD_NAME_SUM

FIELD_NAME_UNION

public static final Name FIELD_NAME_UNION

FIELD_NAME_VARIABLE

public static final Name FIELD_NAME_VARIABLE

FIELD_NAME_WRAP

public static final Name FIELD_NAME_WRAP

Method Detail

accept

public abstract <R> R accept(Type.Visitor<R> visitor)