Serialized Form

Package hydra.ast

Class hydra.ast.Associativity extends java.lang.Object implements Serializable

Class hydra.ast.Associativity.Both extends Associativity implements Serializable

Class hydra.ast.Associativity.Left extends Associativity implements Serializable

Class hydra.ast.Associativity.None extends Associativity implements Serializable

Class hydra.ast.Associativity.Right extends Associativity implements Serializable

Class hydra.ast.BlockStyle extends java.lang.Object implements Serializable

Serialized Fields

indent

Optional<java.lang.String> indent

An optional indentation string

newlineAfterContent

java.lang.Boolean newlineAfterContent

Whether to place a newline after the content

newlineBeforeContent

java.lang.Boolean newlineBeforeContent

Whether to place a newline before the content

Class hydra.ast.BracketExpr extends java.lang.Object implements Serializable

Serialized Fields

brackets

Brackets brackets

The bracket pair enclosing the expression

enclosed

Expr enclosed

The expression within the brackets

style

BlockStyle style

The formatting style for the bracketed block

Class hydra.ast.Brackets extends java.lang.Object implements Serializable

Serialized Fields

close

Symbol close

The closing bracket symbol

open

Symbol open

The opening bracket symbol

Class hydra.ast.Expr extends java.lang.Object implements Serializable

Class hydra.ast.Expr.Brackets extends Expr implements Serializable

Serialized Fields

value

BracketExpr value

Class hydra.ast.Expr.Const extends Expr implements Serializable

Serialized Fields

value

Symbol value

Class hydra.ast.Expr.Indent extends Expr implements Serializable

Serialized Fields

value

IndentedExpression value

Class hydra.ast.Expr.Op extends Expr implements Serializable

Serialized Fields

value

OpExpr value

Class hydra.ast.Expr.Seq extends Expr implements Serializable

Serialized Fields

value

SeqExpr value

Class hydra.ast.IndentedExpression extends java.lang.Object implements Serializable

Serialized Fields

expr

Expr expr

The expression to be indented

style

IndentStyle style

The indentation style

Class hydra.ast.IndentStyle extends java.lang.Object implements Serializable

Class hydra.ast.IndentStyle.AllLines extends IndentStyle implements Serializable

Serialized Fields

value

java.lang.String value

Class hydra.ast.IndentStyle.SubsequentLines extends IndentStyle implements Serializable

Serialized Fields

value

java.lang.String value

Class hydra.ast.Op extends java.lang.Object implements Serializable

Serialized Fields

associativity

Associativity associativity

The associativity of the operator

padding

Padding padding

The padding around the operator

precedence

Precedence precedence

The precedence of the operator

symbol

Symbol symbol

The operator symbol

Class hydra.ast.OpExpr extends java.lang.Object implements Serializable

Serialized Fields

lhs

Expr lhs

The left-hand side operand

op

Op op

The operator

rhs

Expr rhs

The right-hand side operand

Class hydra.ast.Padding extends java.lang.Object implements Serializable

Serialized Fields

left

Ws left

Padding to the left of the operator

right

Ws right

Padding to the right of the operator

Class hydra.ast.Precedence extends java.lang.Object implements Serializable

Serialized Fields

value

java.lang.Integer value

Class hydra.ast.SeqExpr extends java.lang.Object implements Serializable

Serialized Fields

elements

java.util.List<Expr> elements

The expressions to join

op

Op op

The separator operator

Class hydra.ast.Symbol extends java.lang.Object implements Serializable

Serialized Fields

value

java.lang.String value

Class hydra.ast.Ws extends java.lang.Object implements Serializable

Class hydra.ast.Ws.Break extends Ws implements Serializable

Class hydra.ast.Ws.BreakAndIndent extends Ws implements Serializable

Serialized Fields

value

java.lang.String value

Class hydra.ast.Ws.DoubleBreak extends Ws implements Serializable

Class hydra.ast.Ws.None extends Ws implements Serializable

Class hydra.ast.Ws.Space extends Ws implements Serializable

Package hydra.coders

Class hydra.coders.Adapter extends java.lang.Object implements Serializable

Serialized Fields

coder

Coder<V1,V2,E> coder

The coder for transforming instances of the source type to instances of the target type

isLossy

java.lang.Boolean isLossy

Whether information may be lost in the course of this adaptation

source

T1 source

The source type

target

T2 target

The target type

Class hydra.coders.AdapterContext extends java.lang.Object implements Serializable

Serialized Fields

adapters

java.util.Map<Name,Adapter<Type,Type,Term,Term,Error_>> adapters

A map of type names to adapters for those types

graph

Graph graph

The underlying graph of elements and primitives

language

Language language

The language being encoded or decoded

Class hydra.coders.Bicoder extends java.lang.Object implements Serializable

Serialized Fields

decode

java.util.function.Function<T2,Adapter<T2,T1,V2,V1,E>> decode

A function from target types to adapters

encode

java.util.function.Function<T1,Adapter<T1,T2,V1,V2,E>> encode

A function from source types to adapters

Class hydra.coders.CaseConventions extends java.lang.Object implements Serializable

Serialized Fields

constant

CaseConvention constant

Convention for compile-time constant names

directory

CaseConvention directory

Convention for each directory level in the emitted source tree

enumValue

CaseConvention enumValue

Convention for enum-variant value names

field

CaseConvention field

Convention for record field names

file

CaseConvention file

Convention for the source-file basename

module

CaseConvention module

Convention for a single segment of a module name

term

CaseConvention term

Convention for top-level term definitions (functions, module-level values)

termVariable

CaseConvention termVariable

Convention for locally-bound term names (lambda parameters, let-bindings)

type

CaseConvention type

Convention for type names

typeVariable

CaseConvention typeVariable

Convention for type-level variable names

Class hydra.coders.Coder extends java.lang.Object implements Serializable

Serialized Fields

decode

java.util.function.Function<V2,Either<E,V1>> decode

A function which decodes a codomain value to a domain value, with the possibility of failure

encode

java.util.function.Function<V1,Either<E,V2>> encode

A function which encodes a domain value to a codomain value, with the possibility of failure

Class hydra.coders.CoderDirection extends java.lang.Object implements Serializable

Class hydra.coders.CoderDirection.Decode extends CoderDirection implements Serializable

Class hydra.coders.CoderDirection.Encode extends CoderDirection implements Serializable

Class hydra.coders.Language extends java.lang.Object implements Serializable

Serialized Fields

caseConventions

CaseConventions caseConventions

Per-target case conventions for the various kinds of identifiers emitted by the coder

constraints

LanguageConstraints constraints

Constraints which characterize the language's type and term grammars

defaultFileExtension

FileExtension defaultFileExtension

Conventional file extension for emitted source files, without the leading dot (e.g. "scala", "py")

name

LanguageName name

The unique name of the language

supportedFeatures

java.util.Set<LanguageFeature> supportedFeatures

Target-language or target-runtime capabilities the emitter may assume are available

Class hydra.coders.LanguageConstraints extends java.lang.Object implements Serializable

Serialized Fields

floatTypes

java.util.Set<FloatType> floatTypes

All supported float types

integerTypes

java.util.Set<IntegerType> integerTypes

All supported integer types

literalVariants

java.util.Set<LiteralVariant> literalVariants

All supported literal variants

termVariants

java.util.Set<TermVariant> termVariants

All supported term variants

types

java.util.function.Function<Type,java.lang.Boolean> types

A logical set of types, as a predicate which tests a type for inclusion

typeVariants

java.util.Set<TypeVariant> typeVariants

All supported type variants

Class hydra.coders.LanguageFeature extends java.lang.Object implements Serializable

Class hydra.coders.LanguageFeature.NestedCaseStatements extends LanguageFeature implements Serializable

Class hydra.coders.LanguageFeature.NestedPolymorphicLetBindings extends LanguageFeature implements Serializable

Class hydra.coders.LanguageFeature.PartialApplication extends LanguageFeature implements Serializable

Class hydra.coders.LanguageName extends java.lang.Object implements Serializable

Serialized Fields

value

java.lang.String value

Class hydra.coders.TraversalOrder extends java.lang.Object implements Serializable

Class hydra.coders.TraversalOrder.Post extends TraversalOrder implements Serializable

Class hydra.coders.TraversalOrder.Pre extends TraversalOrder implements Serializable

Package hydra.core

Class hydra.core.AnnotatedTerm extends java.lang.Object implements Serializable

Serialized Fields

annotation

Term annotation

The annotation as a single term. By convention this is a map term (Name -> Term) so that multiple independent annotations can coexist, but applications are free to use any term shape.

body

Term body

The term being annotated

Class hydra.core.AnnotatedType extends java.lang.Object implements Serializable

Serialized Fields

annotation

Term annotation

The annotation as a single term. By convention this is a map term (Name -> Term) so that multiple independent annotations can coexist, but applications are free to use any term shape.

body

Type body

The type being annotated

Class hydra.core.Application extends java.lang.Object implements Serializable

Serialized Fields

argument

Term argument

The right-hand side of the application

function

Term function

The left-hand side of the application

Class hydra.core.ApplicationType extends java.lang.Object implements Serializable

Serialized Fields

argument

Type argument

The right-hand side of the application

function

Type function

The left-hand side of the application

Class hydra.core.Binding extends java.lang.Object implements Serializable

Serialized Fields

name

Name name

The name of the bound variable

term

Term term

The term to which the variable is bound

typeScheme

Optional<TypeScheme> typeScheme

The optional type scheme of the bound term

Class hydra.core.CaseAlternative extends java.lang.Object implements Serializable

Serialized Fields

handler

Term handler

The handler applied to the matched variant's payload

name

Name name

The name of the union variant matched by this alternative

Class hydra.core.CaseStatement extends java.lang.Object implements Serializable

Serialized Fields

cases

java.util.List<CaseAlternative> cases

A list of case alternatives, one per union variant being handled

default_

Optional<Term> default_

An optional default case, used if none of the explicit cases match

typeName

Name typeName

The name of the union type

Class hydra.core.EitherType extends java.lang.Object implements Serializable

Serialized Fields

left

Type left

The 'left' alternative

right

Type right

The 'right' alternative

Class hydra.core.Field extends java.lang.Object implements Serializable

Serialized Fields

name

Name name

The name of the field

term

Term term

The value of the field

Class hydra.core.FieldType extends java.lang.Object implements Serializable

Serialized Fields

name

Name name

The name of the field

type

Type type

The type of the field

Class hydra.core.FloatType extends java.lang.Object implements Serializable

Class hydra.core.FloatType.Float32 extends FloatType implements Serializable

Class hydra.core.FloatType.Float64 extends FloatType implements Serializable

Class hydra.core.FloatValue extends java.lang.Object implements Serializable

Class hydra.core.FloatValue.Float32 extends FloatValue implements Serializable

Serialized Fields

value

java.lang.Float value

Class hydra.core.FloatValue.Float64 extends FloatValue implements Serializable

Serialized Fields

value

java.lang.Double value

Class hydra.core.ForallType extends java.lang.Object implements Serializable

Serialized Fields

body

Type body

The body of the lambda

parameter

Name parameter

The variable which is bound by the lambda

Class hydra.core.FunctionType extends java.lang.Object implements Serializable

Serialized Fields

codomain

Type codomain

The codomain (output) type of the function

domain

Type domain

The domain (input) type of the function

Class hydra.core.Injection extends java.lang.Object implements Serializable

Serialized Fields

field

Field field

The field being injected, including its name and value

typeName

Name typeName

The name of the union type

Class hydra.core.IntegerType extends java.lang.Object implements Serializable

Class hydra.core.IntegerType.Bigint extends IntegerType implements Serializable

Class hydra.core.IntegerType.Int16 extends IntegerType implements Serializable

Class hydra.core.IntegerType.Int32 extends IntegerType implements Serializable

Class hydra.core.IntegerType.Int64 extends IntegerType implements Serializable

Class hydra.core.IntegerType.Int8 extends IntegerType implements Serializable

Class hydra.core.IntegerType.Uint16 extends IntegerType implements Serializable

Class hydra.core.IntegerType.Uint32 extends IntegerType implements Serializable

Class hydra.core.IntegerType.Uint64 extends IntegerType implements Serializable

Class hydra.core.IntegerType.Uint8 extends IntegerType implements Serializable

Class hydra.core.IntegerValue extends java.lang.Object implements Serializable

Class hydra.core.IntegerValue.Bigint extends IntegerValue implements Serializable

Serialized Fields

value

java.math.BigInteger value

Class hydra.core.IntegerValue.Int16 extends IntegerValue implements Serializable

Serialized Fields

value

java.lang.Short value

Class hydra.core.IntegerValue.Int32 extends IntegerValue implements Serializable

Serialized Fields

value

java.lang.Integer value

Class hydra.core.IntegerValue.Int64 extends IntegerValue implements Serializable

Serialized Fields

value

java.lang.Long value

Class hydra.core.IntegerValue.Int8 extends IntegerValue implements Serializable

Serialized Fields

value

java.lang.Byte value

Class hydra.core.IntegerValue.Uint16 extends IntegerValue implements Serializable

Serialized Fields

value

java.lang.Character value

Class hydra.core.IntegerValue.Uint32 extends IntegerValue implements Serializable

Serialized Fields

value

java.lang.Long value

Class hydra.core.IntegerValue.Uint64 extends IntegerValue implements Serializable

Serialized Fields

value

java.math.BigInteger value

Class hydra.core.IntegerValue.Uint8 extends IntegerValue implements Serializable

Serialized Fields

value

java.lang.Short value

Class hydra.core.Lambda extends java.lang.Object implements Serializable

Serialized Fields

body

Term body

The body of the lambda

domain

Optional<Type> domain

An optional domain type for the lambda

parameter

Name parameter

The parameter of the lambda

Class hydra.core.Let extends java.lang.Object implements Serializable

Serialized Fields

bindings

java.util.List<Binding> bindings

The list of variable bindings

body

Term body

The body term in which the variables are bound

Class hydra.core.Literal extends java.lang.Object implements Serializable

Class hydra.core.Literal.Binary extends Literal implements Serializable

Serialized Fields

value

byte[] value

Class hydra.core.Literal.Boolean_ extends Literal implements Serializable

Serialized Fields

value

java.lang.Boolean value

Class hydra.core.Literal.Decimal extends Literal implements Serializable

Serialized Fields

value

java.math.BigDecimal value

Class hydra.core.Literal.Float_ extends Literal implements Serializable

Serialized Fields

value

FloatValue value

Class hydra.core.Literal.Integer_ extends Literal implements Serializable

Serialized Fields

value

IntegerValue value

Class hydra.core.Literal.String_ extends Literal implements Serializable

Serialized Fields

value

java.lang.String value

Class hydra.core.LiteralType extends java.lang.Object implements Serializable

Class hydra.core.LiteralType.Binary extends LiteralType implements Serializable

Class hydra.core.LiteralType.Boolean_ extends LiteralType implements Serializable

Class hydra.core.LiteralType.Decimal extends LiteralType implements Serializable

Class hydra.core.LiteralType.Float_ extends LiteralType implements Serializable

Serialized Fields

value

FloatType value

Class hydra.core.LiteralType.Integer_ extends LiteralType implements Serializable

Serialized Fields

value

IntegerType value

Class hydra.core.LiteralType.String_ extends LiteralType implements Serializable

Class hydra.core.MapType extends java.lang.Object implements Serializable

Serialized Fields

keys

Type keys

The type of keys in the map

values

Type values

The type of values in the map

Class hydra.core.Name extends java.lang.Object implements Serializable

Serialized Fields

value

java.lang.String value

Class hydra.core.PairType extends java.lang.Object implements Serializable

Serialized Fields

first

Type first

The first component of the pair

second

Type second

The second component of the pair

Class hydra.core.Projection extends java.lang.Object implements Serializable

Serialized Fields

fieldName

Name fieldName

The name of the projected field

typeName

Name typeName

The name of the record type

Class hydra.core.Record extends java.lang.Object implements Serializable

Serialized Fields

fields

java.util.List<Field> fields

The fields of the record, as a list of name/term pairs

typeName

Name typeName

The name of the record type

Class hydra.core.Term extends java.lang.Object implements Serializable

Class hydra.core.Term.Annotated extends Term implements Serializable

Serialized Fields

value

AnnotatedTerm value

Class hydra.core.Term.Application extends Term implements Serializable

Serialized Fields

value

Application value

Class hydra.core.Term.Cases extends Term implements Serializable

Serialized Fields

value

CaseStatement value

Class hydra.core.Term.Either extends Term implements Serializable

Serialized Fields

value

Either<Term,Term> value

Class hydra.core.Term.Inject extends Term implements Serializable

Serialized Fields

value

Injection value

Class hydra.core.Term.Lambda extends Term implements Serializable

Serialized Fields

value

Lambda value

Class hydra.core.Term.Let extends Term implements Serializable

Serialized Fields

value

Let value

Class hydra.core.Term.List extends Term implements Serializable

Serialized Fields

value

java.util.List<Term> value

Class hydra.core.Term.Literal extends Term implements Serializable

Serialized Fields

value

Literal value

Class hydra.core.Term.Map extends Term implements Serializable

Serialized Fields

value

java.util.Map<Term,Term> value

Class hydra.core.Term.Optional extends Term implements Serializable

Serialized Fields

value

Optional<Term> value

Class hydra.core.Term.Pair extends Term implements Serializable

Serialized Fields

value

Pair<Term,Term> value

Class hydra.core.Term.Project extends Term implements Serializable

Serialized Fields

value

Projection value

Class hydra.core.Term.Record extends Term implements Serializable

Serialized Fields

value

Record value

Class hydra.core.Term.Set extends Term implements Serializable

Serialized Fields

value

java.util.Set<Term> value

Class hydra.core.Term.TypeApplication extends Term implements Serializable

Serialized Fields

value

TypeApplicationTerm value

Class hydra.core.Term.TypeLambda extends Term implements Serializable

Serialized Fields

value

TypeLambda value

Class hydra.core.Term.Unit extends Term implements Serializable

Class hydra.core.Term.Unwrap extends Term implements Serializable

Serialized Fields

value

Name value

Class hydra.core.Term.Variable extends Term implements Serializable

Serialized Fields

value

Name value

Class hydra.core.Term.Wrap extends Term implements Serializable

Serialized Fields

value

WrappedTerm value

Class hydra.core.Type extends java.lang.Object implements Serializable

Class hydra.core.Type.Annotated extends Type implements Serializable

Serialized Fields

value

AnnotatedType value

Class hydra.core.Type.Application extends Type implements Serializable

Serialized Fields

value

ApplicationType value

Class hydra.core.Type.Effect extends Type implements Serializable

Serialized Fields

value

Type value

Class hydra.core.Type.Either extends Type implements Serializable

Serialized Fields

value

EitherType value

Class hydra.core.Type.Forall extends Type implements Serializable

Serialized Fields

value

ForallType value

Class hydra.core.Type.Function extends Type implements Serializable

Serialized Fields

value

FunctionType value

Class hydra.core.Type.List extends Type implements Serializable

Serialized Fields

value

Type value

Class hydra.core.Type.Literal extends Type implements Serializable

Serialized Fields

value

LiteralType value

Class hydra.core.Type.Map extends Type implements Serializable

Serialized Fields

value

MapType value

Class hydra.core.Type.Optional extends Type implements Serializable

Serialized Fields

value

Type value

Class hydra.core.Type.Pair extends Type implements Serializable

Serialized Fields

value

PairType value

Class hydra.core.Type.Record extends Type implements Serializable

Serialized Fields

value

java.util.List<FieldType> value

Class hydra.core.Type.Set extends Type implements Serializable

Serialized Fields

value

Type value

Class hydra.core.Type.Union extends Type implements Serializable

Serialized Fields

value

java.util.List<FieldType> value

Class hydra.core.Type.Unit extends Type implements Serializable

Class hydra.core.Type.Variable extends Type implements Serializable

Serialized Fields

value

Name value

Class hydra.core.Type.Void_ extends Type implements Serializable

Class hydra.core.Type.Wrap extends Type implements Serializable

Serialized Fields

value

Type value

Class hydra.core.TypeApplicationTerm extends java.lang.Object implements Serializable

Serialized Fields

body

Term body

The term being applied to a type

type

Type type

The type argument

Class hydra.core.TypeClassConstraint extends java.lang.Object implements Serializable

Class hydra.core.TypeClassConstraint.Simple extends TypeClassConstraint implements Serializable

Serialized Fields

value

Name value

Class hydra.core.TypeLambda extends java.lang.Object implements Serializable

Serialized Fields

body

Term body

The body of the abstraction

parameter

Name parameter

The type variable introduced by the abstraction

Class hydra.core.TypeScheme extends java.lang.Object implements Serializable

Serialized Fields

body

Type body

The type expression

constraints

java.util.Map<Name,TypeVariableConstraints> constraints

Constraints on type variables, including typeclass constraints. The map keys are type variable names; an empty map means no constraints.

variables

java.util.List<Name> variables

The free type variables

Class hydra.core.TypeVariableConstraints extends java.lang.Object implements Serializable

Serialized Fields

classes

java.util.Set<TypeClassConstraint> classes

The typeclass constraints on this type variable

Class hydra.core.WrappedTerm extends java.lang.Object implements Serializable

Serialized Fields

body

Term body

The wrapped term

typeName

Name typeName

The name of the wrapper type

Package hydra.docs

Class hydra.docs.DocSegment extends java.lang.Object implements Serializable

Class hydra.docs.DocSegment.Ref extends DocSegment implements Serializable

Serialized Fields

value

EntityReference value

Class hydra.docs.DocSegment.Text extends DocSegment implements Serializable

Serialized Fields

value

java.lang.String value

Package hydra.error.checking

Class hydra.error.checking.CheckingError extends java.lang.Object implements Serializable

Class hydra.error.checking.CheckingError.IncorrectUnification extends CheckingError implements Serializable

Serialized Fields

value

IncorrectUnificationError value

Class hydra.error.checking.CheckingError.NotAForallType extends CheckingError implements Serializable

Serialized Fields

value

NotAForallTypeError value

Class hydra.error.checking.CheckingError.NotAFunctionType extends CheckingError implements Serializable

Serialized Fields

value

NotAFunctionTypeError value

Class hydra.error.checking.CheckingError.Other extends CheckingError implements Serializable

Serialized Fields

value

OtherCheckingError value

Class hydra.error.checking.CheckingError.TypeArityMismatch extends CheckingError implements Serializable

Serialized Fields

value

TypeArityMismatchError value

Class hydra.error.checking.CheckingError.TypeMismatch extends CheckingError implements Serializable

Serialized Fields

value

TypeMismatchError value

Class hydra.error.checking.CheckingError.UnboundTypeVariables extends CheckingError implements Serializable

Serialized Fields

value

UnboundTypeVariablesError value

Class hydra.error.checking.CheckingError.UndefinedTermVariable extends CheckingError implements Serializable

Serialized Fields

value

UndefinedTermVariableCheckingError value

Class hydra.error.checking.CheckingError.UnequalTypes extends CheckingError implements Serializable

Serialized Fields

value

UnequalTypesError value

Class hydra.error.checking.CheckingError.UnsupportedTermVariant extends CheckingError implements Serializable

Serialized Fields

value

UnsupportedTermVariantError value

Class hydra.error.checking.CheckingError.UntypedLambda extends CheckingError implements Serializable

Serialized Fields

value

UntypedLambdaError value

Class hydra.error.checking.CheckingError.UntypedLetBinding extends CheckingError implements Serializable

Serialized Fields

value

UntypedLetBindingError value

Class hydra.error.checking.CheckingError.UntypedTermVariable extends CheckingError implements Serializable

Serialized Fields

value

UntypedTermVariableCheckingError value

Class hydra.error.checking.IncorrectUnificationError extends java.lang.Object implements Serializable

Serialized Fields

substitution

TypeSubst substitution

The substitution that failed the consistency check

Class hydra.error.checking.NotAForallTypeError extends java.lang.Object implements Serializable

Serialized Fields

type

Type type

The actual type encountered

typeArguments

java.util.List<Type> typeArguments

The type arguments that were being applied

Class hydra.error.checking.NotAFunctionTypeError extends java.lang.Object implements Serializable

Serialized Fields

type

Type type

The actual type encountered

Class hydra.error.checking.OtherCheckingError extends java.lang.Object implements Serializable

Serialized Fields

message

java.lang.String message

A human-readable error message

path

SubtermPath path

The subterm path at which the error was observed

Class hydra.error.checking.TypeArityMismatchError extends java.lang.Object implements Serializable

Serialized Fields

actualArity

java.lang.Integer actualArity

The actual number of type arguments provided

expectedArity

java.lang.Integer expectedArity

The expected number of type arguments

type

Type type

The type being checked

typeArguments

java.util.List<Type> typeArguments

The type arguments that were provided

Class hydra.error.checking.TypeMismatchError extends java.lang.Object implements Serializable

Serialized Fields

actualType

Type actualType

The actual type encountered

expectedType

Type expectedType

The expected type

Class hydra.error.checking.UnboundTypeVariablesError extends java.lang.Object implements Serializable

Serialized Fields

type

Type type

The type containing the unbound variables

variables

java.util.Set<Name> variables

The set of unbound type variable names

Class hydra.error.checking.UndefinedTermVariableCheckingError extends java.lang.Object implements Serializable

Serialized Fields

name

Name name

The name of the undefined variable

path

SubtermPath path

The subterm path at which the variable was referenced

Class hydra.error.checking.UnequalTypesError extends java.lang.Object implements Serializable

Serialized Fields

description

java.lang.String description

A description of the context in which the types were expected to be equal

types

java.util.List<Type> types

The list of types that are not all equal

Class hydra.error.checking.UnsupportedTermVariantError extends java.lang.Object implements Serializable

Serialized Fields

termVariant

TermVariant termVariant

The unsupported term variant

Class hydra.error.checking.UntypedLambdaError extends java.lang.Object implements Serializable

Class hydra.error.checking.UntypedLetBindingError extends java.lang.Object implements Serializable

Serialized Fields

binding

Binding binding

The untyped binding

Class hydra.error.checking.UntypedTermVariableCheckingError extends java.lang.Object implements Serializable

Serialized Fields

name

Name name

The name of the untyped variable

path

SubtermPath path

The subterm path at which the variable was referenced

Package hydra.error.core

Class hydra.error.core.ConstantConditionError extends java.lang.Object implements Serializable

Serialized Fields

location

SubtermPath location

The path to the constant condition within the term

value

java.lang.Boolean value

The constant boolean value of the condition

Class hydra.error.core.DuplicateBindingError extends java.lang.Object implements Serializable

Serialized Fields

location

SubtermPath location

The path to the duplicate binding within the term

name

Name name

The duplicated binding name

Class hydra.error.core.DuplicateFieldError extends java.lang.Object implements Serializable

Serialized Fields

location

SubtermPath location

The path to the duplicate field within the term

name

Name name

The duplicated field name

Class hydra.error.core.DuplicateRecordTypeFieldNamesError extends java.lang.Object implements Serializable

Serialized Fields

location

SubtermPath location

The path to the record type with duplicate fields

name

Name name

The duplicated field name

Class hydra.error.core.DuplicateUnionTypeFieldNamesError extends java.lang.Object implements Serializable

Serialized Fields

location

SubtermPath location

The path to the union type with duplicate fields

name

Name name

The duplicated field name

Class hydra.error.core.EmptyCaseStatementError extends java.lang.Object implements Serializable

Serialized Fields

location

SubtermPath location

The path to the empty case statement within the term

typeName

Name typeName

The name of the union type being matched

Class hydra.error.core.EmptyLetBindingsError extends java.lang.Object implements Serializable

Serialized Fields

location

SubtermPath location

The path to the empty let expression within the term

Class hydra.error.core.EmptyRecordTypeError extends java.lang.Object implements Serializable

Serialized Fields

location

SubtermPath location

The path to the empty record type

Class hydra.error.core.EmptyTermAnnotationError extends java.lang.Object implements Serializable

Serialized Fields

location

SubtermPath location

The path to the empty annotation within the term

Class hydra.error.core.EmptyTypeAnnotationError extends java.lang.Object implements Serializable

Serialized Fields

location

SubtermPath location

The path to the empty annotation

Class hydra.error.core.EmptyTypeNameInTermError extends java.lang.Object implements Serializable

Serialized Fields

location

SubtermPath location

The path to the term with the empty type name

Class hydra.error.core.EmptyUnionTypeError extends java.lang.Object implements Serializable

Serialized Fields

location

SubtermPath location

The path to the empty union type

Class hydra.error.core.ExtraRecordFieldsError extends java.lang.Object implements Serializable

Serialized Fields

fieldNames

java.util.List<Name> fieldNames

The names of the undeclared fields supplied by the record term

location

SubtermPath location

The path to the record term within the term

typeName

Name typeName

The name of the record type

Class hydra.error.core.InvalidForallParameterNameError extends java.lang.Object implements Serializable

Serialized Fields

location

SubtermPath location

The path to the forall type

name

Name name

The invalid parameter name

Class hydra.error.core.InvalidLambdaParameterNameError extends java.lang.Object implements Serializable

Serialized Fields

location

SubtermPath location

The path to the lambda within the term

name

Name name

The invalid parameter name

Class hydra.error.core.InvalidLetBindingNameError extends java.lang.Object implements Serializable

Serialized Fields

location

SubtermPath location

The path to the binding within the term

name

Name name

The invalid binding name

Class hydra.error.core.InvalidLiteralError extends java.lang.Object implements Serializable

Class hydra.error.core.InvalidLiteralError.TypeMismatch extends InvalidLiteralError implements Serializable

Serialized Fields

value

LiteralTypeMismatchError value

Class hydra.error.core.InvalidTermError extends java.lang.Object implements Serializable

Class hydra.error.core.InvalidTermError.ConstantCondition extends InvalidTermError implements Serializable

Serialized Fields

value

ConstantConditionError value

Class hydra.error.core.InvalidTermError.DuplicateBinding extends InvalidTermError implements Serializable

Serialized Fields

value

DuplicateBindingError value

Class hydra.error.core.InvalidTermError.DuplicateField extends InvalidTermError implements Serializable

Serialized Fields

value

DuplicateFieldError value

Class hydra.error.core.InvalidTermError.EmptyCaseStatement extends InvalidTermError implements Serializable

Serialized Fields

value

EmptyCaseStatementError value

Class hydra.error.core.InvalidTermError.EmptyLetBindings extends InvalidTermError implements Serializable

Serialized Fields

value

EmptyLetBindingsError value

Class hydra.error.core.InvalidTermError.EmptyTermAnnotation extends InvalidTermError implements Serializable

Serialized Fields

value

EmptyTermAnnotationError value

Class hydra.error.core.InvalidTermError.EmptyTypeNameInTerm extends InvalidTermError implements Serializable

Serialized Fields

value

EmptyTypeNameInTermError value

Class hydra.error.core.InvalidTermError.ExtraRecordFields extends InvalidTermError implements Serializable

Serialized Fields

value

ExtraRecordFieldsError value

Class hydra.error.core.InvalidTermError.InvalidLambdaParameterName extends InvalidTermError implements Serializable

Serialized Fields

value

InvalidLambdaParameterNameError value

Class hydra.error.core.InvalidTermError.InvalidLetBindingName extends InvalidTermError implements Serializable

Serialized Fields

value

InvalidLetBindingNameError value

Class hydra.error.core.InvalidTermError.InvalidTypeLambdaParameterName extends InvalidTermError implements Serializable

Serialized Fields

value

InvalidTypeLambdaParameterNameError value

Class hydra.error.core.InvalidTermError.MissingCaseBranches extends InvalidTermError implements Serializable

Serialized Fields

value

MissingCaseBranchesError value

Class hydra.error.core.InvalidTermError.MissingRecordFields extends InvalidTermError implements Serializable

Serialized Fields

value

MissingRecordFieldsError value

Class hydra.error.core.InvalidTermError.NestedTermAnnotation extends InvalidTermError implements Serializable

Serialized Fields

value

NestedTermAnnotationError value

Class hydra.error.core.InvalidTermError.NominalTypeKindMismatch extends InvalidTermError implements Serializable

Serialized Fields

value

NominalTypeKindMismatchError value

Class hydra.error.core.InvalidTermError.RedundantWrapUnwrap extends InvalidTermError implements Serializable

Serialized Fields

value

RedundantWrapUnwrapError value

Class hydra.error.core.InvalidTermError.SelfApplication extends InvalidTermError implements Serializable

Serialized Fields

value

SelfApplicationError value

Class hydra.error.core.InvalidTermError.TermVariableShadowing extends InvalidTermError implements Serializable

Serialized Fields

value

TermVariableShadowingError value

Class hydra.error.core.InvalidTermError.TypeVariableShadowingInTypeLambda extends InvalidTermError implements Serializable

Serialized Fields

value

TypeVariableShadowingInTypeLambdaError value

Class hydra.error.core.InvalidTermError.UndeclaredVariant extends InvalidTermError implements Serializable

Serialized Fields

value

UndeclaredVariantError value

Class hydra.error.core.InvalidTermError.UndefinedTermVariable extends InvalidTermError implements Serializable

Serialized Fields

value

UndefinedTermVariableError value

Class hydra.error.core.InvalidTermError.UndefinedTypeVariableInBindingType extends InvalidTermError implements Serializable

Serialized Fields

value

UndefinedTypeVariableInBindingTypeError value

Class hydra.error.core.InvalidTermError.UndefinedTypeVariableInLambdaDomain extends InvalidTermError implements Serializable

Serialized Fields

value

UndefinedTypeVariableInLambdaDomainError value

Class hydra.error.core.InvalidTermError.UndefinedTypeVariableInTypeApplication extends InvalidTermError implements Serializable

Serialized Fields

value

UndefinedTypeVariableInTypeApplicationError value

Class hydra.error.core.InvalidTermError.UnknownCaseAlternative extends InvalidTermError implements Serializable

Serialized Fields

value

UnknownCaseAlternativeError value

Class hydra.error.core.InvalidTermError.UnknownPrimitiveName extends InvalidTermError implements Serializable

Serialized Fields

value

UnknownPrimitiveNameError value

Class hydra.error.core.InvalidTermError.UnknownProjectedField extends InvalidTermError implements Serializable

Serialized Fields

value

UnknownProjectedFieldError value

Class hydra.error.core.InvalidTermError.UnnecessaryIdentityApplication extends InvalidTermError implements Serializable

Serialized Fields

value

UnnecessaryIdentityApplicationError value

Class hydra.error.core.InvalidTermError.UnresolvedNominalType extends InvalidTermError implements Serializable

Serialized Fields

value

UnresolvedNominalTypeError value

Class hydra.error.core.InvalidTermError.UntypedTermVariable extends InvalidTermError implements Serializable

Serialized Fields

value

UntypedTermVariableError value

Class hydra.error.core.InvalidTypeError extends java.lang.Object implements Serializable

Class hydra.error.core.InvalidTypeError.DuplicateRecordTypeFieldNames extends InvalidTypeError implements Serializable

Serialized Fields

value

DuplicateRecordTypeFieldNamesError value

Class hydra.error.core.InvalidTypeError.DuplicateUnionTypeFieldNames extends InvalidTypeError implements Serializable

Serialized Fields

value

DuplicateUnionTypeFieldNamesError value

Class hydra.error.core.InvalidTypeError.EmptyRecordType extends InvalidTypeError implements Serializable

Serialized Fields

value

EmptyRecordTypeError value

Class hydra.error.core.InvalidTypeError.EmptyTypeAnnotation extends InvalidTypeError implements Serializable

Serialized Fields

value

EmptyTypeAnnotationError value

Class hydra.error.core.InvalidTypeError.EmptyUnionType extends InvalidTypeError implements Serializable

Serialized Fields

value

EmptyUnionTypeError value

Class hydra.error.core.InvalidTypeError.InvalidForallParameterName extends InvalidTypeError implements Serializable

Serialized Fields

value

InvalidForallParameterNameError value

Class hydra.error.core.InvalidTypeError.InvalidTypeSchemeVariableName extends InvalidTypeError implements Serializable

Serialized Fields

value

InvalidTypeSchemeVariableNameError value

Class hydra.error.core.InvalidTypeError.NestedTypeAnnotation extends InvalidTypeError implements Serializable

Serialized Fields

value

NestedTypeAnnotationError value

Class hydra.error.core.InvalidTypeError.NonComparableMapKeyType extends InvalidTypeError implements Serializable

Serialized Fields

value

NonComparableMapKeyTypeError value

Class hydra.error.core.InvalidTypeError.NonComparableSetElementType extends InvalidTypeError implements Serializable

Serialized Fields

value

NonComparableSetElementTypeError value

Class hydra.error.core.InvalidTypeError.SingleVariantUnion extends InvalidTypeError implements Serializable

Serialized Fields

value

SingleVariantUnionError value

Class hydra.error.core.InvalidTypeError.TypeVariableShadowingInForall extends InvalidTypeError implements Serializable

Serialized Fields

value

TypeVariableShadowingInForallError value

Class hydra.error.core.InvalidTypeError.UndefinedTypeVariable extends InvalidTypeError implements Serializable

Serialized Fields

value

UndefinedTypeVariableError value

Class hydra.error.core.InvalidTypeError.VoidInNonBottomPosition extends InvalidTypeError implements Serializable

Serialized Fields

value

VoidInNonBottomPositionError value

Class hydra.error.core.InvalidTypeLambdaParameterNameError extends java.lang.Object implements Serializable

Serialized Fields

location

SubtermPath location

The path to the type lambda within the term

name

Name name

The invalid type lambda parameter name

Class hydra.error.core.InvalidTypeSchemeVariableNameError extends java.lang.Object implements Serializable

Serialized Fields

location

SubtermPath location

The path to the type scheme

name

Name name

The invalid variable name

Class hydra.error.core.LiteralTypeMismatchError extends java.lang.Object implements Serializable

Serialized Fields

actualType

LiteralType actualType

The actual literal type, derived from the value

expectedType

LiteralType expectedType

The expected literal type

Class hydra.error.core.MissingCaseBranchesError extends java.lang.Object implements Serializable

Serialized Fields

location

SubtermPath location

The path to the case statement within the term

typeName

Name typeName

The name of the union type being matched

variantNames

java.util.List<Name> variantNames

The names of the uncovered variants

Class hydra.error.core.MissingRecordFieldsError extends java.lang.Object implements Serializable

Serialized Fields

fieldNames

java.util.List<Name> fieldNames

The names of the missing fields

location

SubtermPath location

The path to the record term within the term

typeName

Name typeName

The name of the record type

Class hydra.error.core.NestedTermAnnotationError extends java.lang.Object implements Serializable

Serialized Fields

location

SubtermPath location

The path to the outer annotation within the term

Class hydra.error.core.NestedTypeAnnotationError extends java.lang.Object implements Serializable

Serialized Fields

location

SubtermPath location

The path to the outer annotation

Class hydra.error.core.NominalTypeKindMismatchError extends java.lang.Object implements Serializable

Serialized Fields

actualVariant

TypeVariant actualVariant

The type variant that the name actually resolves to

expectedVariant

TypeVariant expectedVariant

The type variant required at this site

location

SubtermPath location

The path to the term with the mismatched nominal type reference

typeName

Name typeName

The name of the referenced type

Class hydra.error.core.NonComparableMapKeyTypeError extends java.lang.Object implements Serializable

Serialized Fields

keyType

Type keyType

The non-comparable key type

location

SubtermPath location

The path to the map type

Class hydra.error.core.NonComparableSetElementTypeError extends java.lang.Object implements Serializable

Serialized Fields

elementType

Type elementType

The non-comparable element type

location

SubtermPath location

The path to the set type

Class hydra.error.core.RedundantWrapUnwrapError extends java.lang.Object implements Serializable

Serialized Fields

location

SubtermPath location

The path to the redundant wrap/unwrap within the term

typeName

Name typeName

The type name of the wrapper

Class hydra.error.core.SelfApplicationError extends java.lang.Object implements Serializable

Serialized Fields

location

SubtermPath location

The path to the self-application within the term

name

Name name

The name of the variable applied to itself

Class hydra.error.core.SingleVariantUnionError extends java.lang.Object implements Serializable

Serialized Fields

fieldName

Name fieldName

The name of the single field

location

SubtermPath location

The path to the single-variant union type

Class hydra.error.core.TermVariableShadowingError extends java.lang.Object implements Serializable

Serialized Fields

location

SubtermPath location

The path to the shadowing binding within the term

name

Name name

The name of the shadowed variable

Class hydra.error.core.TypeVariableShadowingInForallError extends java.lang.Object implements Serializable

Serialized Fields

location

SubtermPath location

The path to the shadowing forall type

name

Name name

The name of the shadowed type variable

Class hydra.error.core.TypeVariableShadowingInTypeLambdaError extends java.lang.Object implements Serializable

Serialized Fields

location

SubtermPath location

The path to the type lambda within the term

name

Name name

The name of the shadowed type variable

Class hydra.error.core.UndeclaredVariantError extends java.lang.Object implements Serializable

Serialized Fields

location

SubtermPath location

The path to the injection within the term

typeName

Name typeName

The name of the union type

variantName

Name variantName

The undeclared variant name

Class hydra.error.core.UndefinedFieldError extends java.lang.Object implements Serializable

Serialized Fields

fieldName

Name fieldName

The name of the undefined field

typeName

Name typeName

The name of the type in which the field was expected

Class hydra.error.core.UndefinedTermVariableError extends java.lang.Object implements Serializable

Serialized Fields

location

SubtermPath location

The path to the undefined variable within the term

name

Name name

The name of the undefined variable

Class hydra.error.core.UndefinedTypeVariableError extends java.lang.Object implements Serializable

Serialized Fields

location

SubtermPath location

The path to the undefined type variable

name

Name name

The name of the undefined type variable

Class hydra.error.core.UndefinedTypeVariableInBindingTypeError extends java.lang.Object implements Serializable

Serialized Fields

location

SubtermPath location

The path to the binding within the term

name

Name name

The name of the undefined type variable

Class hydra.error.core.UndefinedTypeVariableInLambdaDomainError extends java.lang.Object implements Serializable

Serialized Fields

location

SubtermPath location

The path to the lambda within the term

name

Name name

The name of the undefined type variable

Class hydra.error.core.UndefinedTypeVariableInTypeApplicationError extends java.lang.Object implements Serializable

Serialized Fields

location

SubtermPath location

The path to the type application within the term

name

Name name

The name of the undefined type variable

Class hydra.error.core.UnexpectedTermVariantError extends java.lang.Object implements Serializable

Serialized Fields

actualTerm

Term actualTerm

The actual term that was encountered

expectedVariant

TermVariant expectedVariant

The expected term variant

Class hydra.error.core.UnexpectedTypeVariantError extends java.lang.Object implements Serializable

Serialized Fields

actualType

Type actualType

The actual type that was encountered

expectedVariant

TypeVariant expectedVariant

The expected type variant

Class hydra.error.core.UnknownCaseAlternativeError extends java.lang.Object implements Serializable

Serialized Fields

location

SubtermPath location

The path to the case statement within the term

name

Name name

The unknown alternative name

typeName

Name typeName

The name of the union type being matched

Class hydra.error.core.UnknownPrimitiveNameError extends java.lang.Object implements Serializable

Serialized Fields

location

SubtermPath location

The path to the primitive reference within the term

name

Name name

The unknown primitive name

Class hydra.error.core.UnknownProjectedFieldError extends java.lang.Object implements Serializable

Serialized Fields

fieldName

Name fieldName

The unknown projected field name

location

SubtermPath location

The path to the projection within the term

typeName

Name typeName

The name of the record type

Class hydra.error.core.UnnecessaryIdentityApplicationError extends java.lang.Object implements Serializable

Serialized Fields

location

SubtermPath location

The path to the identity application within the term

Class hydra.error.core.UnresolvedNominalTypeError extends java.lang.Object implements Serializable

Serialized Fields

location

SubtermPath location

The path to the term with the unresolved nominal type reference

typeName

Name typeName

The unresolved type name

Class hydra.error.core.UntypedTermVariableError extends java.lang.Object implements Serializable

Serialized Fields

location

SubtermPath location

The path to the untyped variable within the term

name

Name name

The name of the untyped variable

Class hydra.error.core.VoidInNonBottomPositionError extends java.lang.Object implements Serializable

Serialized Fields

location

SubtermPath location

The path to the void type in a non-bottom position

Package hydra.error.file

Class hydra.error.file.FileError extends java.lang.Object implements Serializable

Class hydra.error.file.FileError.AlreadyExists extends FileError implements Serializable

Serialized Fields

value

FilePath value

Class hydra.error.file.FileError.InvalidPath extends FileError implements Serializable

Serialized Fields

value

java.lang.String value

Class hydra.error.file.FileError.NotFound extends FileError implements Serializable

Serialized Fields

value

FilePath value

Class hydra.error.file.FileError.Other extends FileError implements Serializable

Serialized Fields

value

java.lang.String value

Class hydra.error.file.FileError.PermissionDenied extends FileError implements Serializable

Serialized Fields

value

FilePath value

Package hydra.error.packaging

Class hydra.error.packaging.ConflictingModuleNameError extends java.lang.Object implements Serializable

Serialized Fields

first

ModuleName first

The first module name

second

ModuleName second

The second module name that conflicts with the first

Class hydra.error.packaging.ConflictingVariantNameError extends java.lang.Object implements Serializable

Serialized Fields

conflictingName

Name conflictingName

The name of the other type definition that conflicts with the generated constructor name

moduleName

ModuleName moduleName

The name of the module containing the conflict

typeName

Name typeName

The name of the union type

variantName

Name variantName

The name of the variant field causing the conflict

Class hydra.error.packaging.DefinitionNotInModuleNameError extends java.lang.Object implements Serializable

Serialized Fields

moduleName

ModuleName moduleName

The name of the module

name

Name name

The definition name that does not match the module name

Class hydra.error.packaging.DefinitionsOutOfOrderError extends java.lang.Object implements Serializable

Serialized Fields

followingName

Name followingName

The definition that appears next, but should sort earlier than precedingName

moduleName

ModuleName moduleName

The name of the module containing the misordered definitions

precedingName

Name precedingName

The definition that appears first in the list

Class hydra.error.packaging.DuplicateDefinitionNameError extends java.lang.Object implements Serializable

Serialized Fields

moduleName

ModuleName moduleName

The name of the module containing the duplicates

name

Name name

The duplicated definition name

Class hydra.error.packaging.DuplicateModuleNameError extends java.lang.Object implements Serializable

Serialized Fields

moduleName

ModuleName moduleName

The duplicated module name

Class hydra.error.packaging.InvalidDefinitionNameError extends java.lang.Object implements Serializable

Serialized Fields

expectedConvention

CaseConvention expectedConvention

The case convention the name should have followed (camel for term-level, pascal for type-level)

moduleName

ModuleName moduleName

The name of the module containing the definition

name

Name name

The definition name that violates the naming convention

Class hydra.error.packaging.InvalidModuleError extends java.lang.Object implements Serializable

Class hydra.error.packaging.InvalidModuleError.ConflictingVariantName extends InvalidModuleError implements Serializable

Serialized Fields

value

ConflictingVariantNameError value

Class hydra.error.packaging.InvalidModuleError.DefinitionNotInModuleName extends InvalidModuleError implements Serializable

Serialized Fields

value

DefinitionNotInModuleNameError value

Class hydra.error.packaging.InvalidModuleError.DefinitionsOutOfOrder extends InvalidModuleError implements Serializable

Serialized Fields

value

DefinitionsOutOfOrderError value

Class hydra.error.packaging.InvalidModuleError.DuplicateDefinitionName extends InvalidModuleError implements Serializable

Serialized Fields

value

DuplicateDefinitionNameError value

Class hydra.error.packaging.InvalidModuleError.InvalidDefinitionName extends InvalidModuleError implements Serializable

Serialized Fields

value

InvalidDefinitionNameError value

Class hydra.error.packaging.InvalidModuleError.InvalidModuleNameConvention extends InvalidModuleError implements Serializable

Serialized Fields

value

InvalidModuleNameConventionError value

Class hydra.error.packaging.InvalidModuleError.MissingDocumentation extends InvalidModuleError implements Serializable

Serialized Fields

value

MissingDocumentationError value

Class hydra.error.packaging.InvalidModuleNameConventionError extends java.lang.Object implements Serializable

Serialized Fields

moduleName

ModuleName moduleName

The module name that violates the convention

Class hydra.error.packaging.InvalidPackageError extends java.lang.Object implements Serializable

Class hydra.error.packaging.InvalidPackageError.ConflictingModuleName extends InvalidPackageError implements Serializable

Serialized Fields

value

ConflictingModuleNameError value

Class hydra.error.packaging.InvalidPackageError.DuplicateModuleName extends InvalidPackageError implements Serializable

Serialized Fields

value

DuplicateModuleNameError value

Class hydra.error.packaging.InvalidPackageError.InvalidModule extends InvalidPackageError implements Serializable

Serialized Fields

value

InvalidModuleError value

Class hydra.error.packaging.InvalidPackageError.InvalidPackageName extends InvalidPackageError implements Serializable

Serialized Fields

value

InvalidPackageNameError value

Class hydra.error.packaging.InvalidPackageError.UndeclaredDependency extends InvalidPackageError implements Serializable

Serialized Fields

value

UndeclaredDependencyError value

Class hydra.error.packaging.InvalidPackageNameError extends java.lang.Object implements Serializable

Serialized Fields

packageName

PackageName packageName

The package name that violates the convention

Class hydra.error.packaging.MissingDocumentationError extends java.lang.Object implements Serializable

Serialized Fields

moduleName

ModuleName moduleName

The name of the module containing the undocumented definition

name

Name name

The name of the undocumented definition

Class hydra.error.packaging.UndeclaredDependencyError extends java.lang.Object implements Serializable

Serialized Fields

moduleName

ModuleName moduleName

The name of the module containing the undeclared reference

owningModuleName

ModuleName owningModuleName

The name of the module that actually defines the referenced name

referencedName

Name referencedName

The free name referenced by the module's definitions

Package hydra.error.system

Class hydra.error.system.SystemError extends java.lang.Object implements Serializable

Class hydra.error.system.SystemError.CommandNotFound extends SystemError implements Serializable

Serialized Fields

value

FilePath value

Class hydra.error.system.SystemError.Interrupted extends SystemError implements Serializable

Class hydra.error.system.SystemError.InvalidWorkingDirectory extends SystemError implements Serializable

Serialized Fields

value

FilePath value

Class hydra.error.system.SystemError.Other extends SystemError implements Serializable

Serialized Fields

value

java.lang.String value

Class hydra.error.system.SystemError.PermissionDenied extends SystemError implements Serializable

Serialized Fields

value

FilePath value

Package hydra.errors

Class hydra.errors.DecodingError extends java.lang.Object implements Serializable

Serialized Fields

value

java.lang.String value

Class hydra.errors.Error_ extends java.lang.Object implements Serializable

Class hydra.errors.Error_.Checking extends Error_ implements Serializable

Serialized Fields

value

CheckingError value

Class hydra.errors.Error_.Decoding extends Error_ implements Serializable

Serialized Fields

value

DecodingError value

Class hydra.errors.Error_.DuplicateBinding extends Error_ implements Serializable

Serialized Fields

value

DuplicateBindingError value

Class hydra.errors.Error_.DuplicateField extends Error_ implements Serializable

Serialized Fields

value

DuplicateFieldError value

Class hydra.errors.Error_.Extraction extends Error_ implements Serializable

Serialized Fields

value

ExtractionError value

Class hydra.errors.Error_.Inference extends Error_ implements Serializable

Serialized Fields

value

InferenceError value

Class hydra.errors.Error_.InvalidLiteral extends Error_ implements Serializable

Serialized Fields

value

InvalidLiteralError value

Class hydra.errors.Error_.Other extends Error_ implements Serializable

Serialized Fields

value

OtherError value

Class hydra.errors.Error_.Resolution extends Error_ implements Serializable

Serialized Fields

value

ResolutionError value

Class hydra.errors.Error_.UndefinedField extends Error_ implements Serializable

Serialized Fields

value

UndefinedFieldError value

Class hydra.errors.Error_.UndefinedTermVariable extends Error_ implements Serializable

Serialized Fields

value

UndefinedTermVariableError value

Class hydra.errors.Error_.UnexpectedTermVariant extends Error_ implements Serializable

Serialized Fields

value

UnexpectedTermVariantError value

Class hydra.errors.Error_.UnexpectedTypeVariant extends Error_ implements Serializable

Serialized Fields

value

UnexpectedTypeVariantError value

Class hydra.errors.Error_.Unification extends Error_ implements Serializable

Serialized Fields

value

UnificationError value

Class hydra.errors.Error_.UntypedTermVariable extends Error_ implements Serializable

Serialized Fields

value

UntypedTermVariableError value

Class hydra.errors.ExtractionError extends java.lang.Object implements Serializable

Class hydra.errors.ExtractionError.EmptyList extends ExtractionError implements Serializable

Serialized Fields

value

java.lang.Void value

Class hydra.errors.ExtractionError.MultipleBindings extends ExtractionError implements Serializable

Serialized Fields

value

MultipleBindingsError value

Class hydra.errors.ExtractionError.MultipleFields extends ExtractionError implements Serializable

Serialized Fields

value

MultipleFieldsError value

Class hydra.errors.ExtractionError.NoMatchingField extends ExtractionError implements Serializable

Serialized Fields

value

NoMatchingFieldError value

Class hydra.errors.ExtractionError.NoSuchBinding extends ExtractionError implements Serializable

Serialized Fields

value

NoSuchBindingError value

Class hydra.errors.ExtractionError.NotEnoughCases extends ExtractionError implements Serializable

Serialized Fields

value

java.lang.Void value

Class hydra.errors.ExtractionError.UnexpectedShape extends ExtractionError implements Serializable

Serialized Fields

value

UnexpectedShapeError value

Class hydra.errors.InferenceError extends java.lang.Object implements Serializable

Class hydra.errors.InferenceError.Checking extends InferenceError implements Serializable

Serialized Fields

value

CheckingError value

Class hydra.errors.InferenceError.Other extends InferenceError implements Serializable

Serialized Fields

value

OtherInferenceError value

Class hydra.errors.InferenceError.Unification extends InferenceError implements Serializable

Serialized Fields

value

UnificationInferenceError value

Class hydra.errors.MultipleBindingsError extends java.lang.Object implements Serializable

Serialized Fields

name

Name name

The binding name which was duplicated

Class hydra.errors.MultipleFieldsError extends java.lang.Object implements Serializable

Serialized Fields

fieldName

Name fieldName

The field name which appeared more than once

Class hydra.errors.NoMatchingFieldError extends java.lang.Object implements Serializable

Serialized Fields

fieldName

Name fieldName

The field name which was not found

Class hydra.errors.NoSuchBindingError extends java.lang.Object implements Serializable

Serialized Fields

name

Name name

The binding name which was not found

Class hydra.errors.NoSuchPrimitiveError extends java.lang.Object implements Serializable

Serialized Fields

name

Name name

The primitive name which was not found

Class hydra.errors.OtherError extends java.lang.Object implements Serializable

Serialized Fields

value

java.lang.String value

Class hydra.errors.OtherInferenceError extends java.lang.Object implements Serializable

Serialized Fields

message

java.lang.String message

A human-readable error message

path

SubtermPath path

The subterm path at which the error was observed

Class hydra.errors.OtherResolutionError extends java.lang.Object implements Serializable

Serialized Fields

value

java.lang.String value

Class hydra.errors.ResolutionError extends java.lang.Object implements Serializable

Class hydra.errors.ResolutionError.NoMatchingField extends ResolutionError implements Serializable

Serialized Fields

value

NoMatchingFieldError value

Class hydra.errors.ResolutionError.NoSuchBinding extends ResolutionError implements Serializable

Serialized Fields

value

NoSuchBindingError value

Class hydra.errors.ResolutionError.NoSuchPrimitive extends ResolutionError implements Serializable

Serialized Fields

value

NoSuchPrimitiveError value

Class hydra.errors.ResolutionError.Other extends ResolutionError implements Serializable

Serialized Fields

value

OtherResolutionError value

Class hydra.errors.ResolutionError.UnexpectedShape extends ResolutionError implements Serializable

Serialized Fields

value

UnexpectedShapeError value

Class hydra.errors.UnexpectedShapeError extends java.lang.Object implements Serializable

Serialized Fields

actual

java.lang.String actual

A description of the shape actually encountered

expected

java.lang.String expected

A description of the expected shape

Class hydra.errors.UnificationError extends java.lang.Object implements Serializable

Serialized Fields

leftType

Type leftType

The left-hand type in the unification

message

java.lang.String message

A human-readable error message

rightType

Type rightType

The right-hand type in the unification

Class hydra.errors.UnificationInferenceError extends java.lang.Object implements Serializable

Serialized Fields

cause

UnificationError cause

The underlying unification error

path

SubtermPath path

The subterm path at which the unification failure was observed

Package hydra.file

Class hydra.file.FileExtension extends java.lang.Object implements Serializable

Serialized Fields

value

java.lang.String value

Class hydra.file.FilePath extends java.lang.Object implements Serializable

Serialized Fields

value

java.lang.String value

Class hydra.file.FileStatus extends java.lang.Object implements Serializable

Serialized Fields

accessTime

Optional<Timespec> accessTime

st_atim / the time of last data access, if available. Optional, as it is unreliable or untracked on some filesystems and platforms (e.g. noatime mounts)

fileType

FileType fileType

st_mode (file type bits) / the type of the file

modificationTime

Timespec modificationTime

st_mtim / the time of last data modification

size

java.lang.Long size

st_size / the size of the file in bytes. Well-defined for regular files and symbolic links; implementation-defined for other file types

statusChangeTime

Optional<Timespec> statusChangeTime

st_ctim / the time of last file status change, if available. Optional, as this POSIX-specific notion does not map onto all platforms

Class hydra.file.FileType extends java.lang.Object implements Serializable

Class hydra.file.FileType.Block extends FileType implements Serializable

Class hydra.file.FileType.Character_ extends FileType implements Serializable

Class hydra.file.FileType.Directory extends FileType implements Serializable

Class hydra.file.FileType.Fifo extends FileType implements Serializable

Class hydra.file.FileType.Link extends FileType implements Serializable

Class hydra.file.FileType.Regular extends FileType implements Serializable

Class hydra.file.FileType.Socket extends FileType implements Serializable

Package hydra.graph

Class hydra.graph.Graph extends java.lang.Object implements Serializable

Serialized Fields

boundTerms

java.util.Map<Name,Term> boundTerms

The terms bound by all term variables in scope

boundTypes

java.util.Map<Name,TypeScheme> boundTypes

The type schemes of all term variables in scope

classConstraints

java.util.Map<Name,TypeVariableConstraints> classConstraints

A mutable map from type variable names to their accumulated class constraints. This is populated during type inference when operations requiring Eq or Ord are encountered.

lambdaVariables

java.util.Set<Name> lambdaVariables

The set of term variables introduced by specifically by lambdas

metadata

java.util.Map<Name,Term> metadata

Any additional metadata bound to term variables in scope

primitives

java.util.Map<Name,Primitive> primitives

All primitive functions and constants by name

schemaTypes

java.util.Map<Name,TypeScheme> schemaTypes

All schema types (type schemes) in scope

typeVariables

java.util.Set<Name> typeVariables

The set of type variables introduced specifically by type lambdas

Class hydra.graph.Library extends java.lang.Object implements Serializable

Serialized Fields

name

ModuleName name

A common prefix for all primitive function names in the library

prefix

java.lang.String prefix

A preferred namespace prefix for function names in the library

primitives

java.util.List<Primitive> primitives

The primitives defined in this library

Class hydra.graph.Primitive extends java.lang.Object implements Serializable

Serialized Fields

definition

PrimitiveDefinition definition

The host-independent declarative metadata for the primitive: name, description, signature, totality and purity flags, and an optional reference implementation.

implementation

java.util.function.Function<Graph,java.util.function.Function<java.util.List<Term>,Either<Error_,Term>>> implementation

A concrete, host-specific implementation of the primitive function: given the current graph, a mapping from a list of argument terms to a result term, or an error. Arguments are reduced and stripped of annotations by the interpreter before the implementation is invoked, so the implementation can pattern-match the argument terms directly; a higher-order primitive whose result shape is fixed by its data argument can return an unreduced applicative term and let the outer reducer fold it (no graph needed). The graph is retained for the higher-order primitives that must evaluate a function argument mid-computation (e.g. lists.filter): evaluating that function resolves primitive names against the graph's primitive table. The legacy `InferenceContext` parameter was vestigial and has been removed (https://github.com/CategoricalData/hydra/issues/446).

Class hydra.graph.TermCoder extends java.lang.Object implements Serializable

Serialized Fields

decode

java.util.function.Function<InferenceContext,java.util.function.Function<A,Either<Error_,Term>>> decode

A decode function from native values to terms

encode

java.util.function.Function<InferenceContext,java.util.function.Function<Graph,java.util.function.Function<Term,Either<Error_,A>>>> encode

An encode function from terms to native values

type

Type type

The Hydra type of encoded terms

Package hydra.json.model

Class hydra.json.model.Value extends java.lang.Object implements Serializable

Class hydra.json.model.Value.Array extends Value implements Serializable

Serialized Fields

value

java.util.List<Value> value

Class hydra.json.model.Value.Boolean_ extends Value implements Serializable

Serialized Fields

value

java.lang.Boolean value

Class hydra.json.model.Value.Null extends Value implements Serializable

Class hydra.json.model.Value.Number_ extends Value implements Serializable

Serialized Fields

value

java.math.BigDecimal value

Class hydra.json.model.Value.Object_ extends Value implements Serializable

Serialized Fields

value

java.util.List<Pair<java.lang.String,Value>> value

Class hydra.json.model.Value.String_ extends Value implements Serializable

Serialized Fields

value

java.lang.String value

Package hydra.overlay.java.json

Class hydra.overlay.java.json.JsonDecoding.JsonDecodingException extends java.lang.RuntimeException implements Serializable

Package hydra.overlay.java.tools

Class hydra.overlay.java.tools.MapperBase.MapperException extends java.lang.RuntimeException implements Serializable

Package hydra.overlay.java.util

Class hydra.overlay.java.util.ConsList extends java.util.AbstractList<T> implements Serializable

Class hydra.overlay.java.util.Optional extends java.lang.Object implements Serializable

Serialized Fields

present

boolean present

value

T value

Class hydra.overlay.java.util.PersistentMap extends java.lang.Object implements Serializable

Class hydra.overlay.java.util.PersistentSet extends java.lang.Object implements Serializable

Serialized Fields

map

PersistentMap<T,java.lang.Object> map

Class hydra.overlay.java.util.StatelessAdapter extends Adapter<T1,T2,V1,V2,java.lang.String> implements Serializable

Class hydra.overlay.java.util.StatelessCoder extends Coder<V1,V2,java.lang.String> implements Serializable

Class hydra.overlay.java.util.Unit extends java.lang.Object implements Serializable

Package hydra.packaging

Class hydra.packaging.Definition extends java.lang.Object implements Serializable

Class hydra.packaging.Definition.Primitive extends Definition implements Serializable

Serialized Fields

value

PrimitiveDefinition value

Class hydra.packaging.Definition.Term extends Definition implements Serializable

Serialized Fields

value

TermDefinition value

Class hydra.packaging.Definition.Type extends Definition implements Serializable

Serialized Fields

value

TypeDefinition value

Class hydra.packaging.DefinitionReference extends java.lang.Object implements Serializable

Class hydra.packaging.DefinitionReference.Primitive extends DefinitionReference implements Serializable

Serialized Fields

value

Name value

Class hydra.packaging.DefinitionReference.Term extends DefinitionReference implements Serializable

Serialized Fields

value

Name value

Class hydra.packaging.DefinitionReference.Type extends DefinitionReference implements Serializable

Serialized Fields

value

Name value

Class hydra.packaging.DependencyScope extends java.lang.Object implements Serializable

Class hydra.packaging.DependencyScope.Api extends DependencyScope implements Serializable

Class hydra.packaging.DependencyScope.Runtime_ extends DependencyScope implements Serializable

Class hydra.packaging.DependencyScope.Test extends DependencyScope implements Serializable

Class hydra.packaging.DependencyScope.Tool extends DependencyScope implements Serializable

Class hydra.packaging.EntityMetadata extends java.lang.Object implements Serializable

Serialized Fields

comments

java.util.List<java.lang.String> comments

Zero or more long-form prose paragraphs: cross-cutting semantic conventions, caveats, and references that would otherwise be repeated across the entity's constituents.

description

Optional<java.lang.String> description

An optional, concise one-line human-readable summary of the entity.

lifecycle

Optional<LifecycleInfo> lifecycle

Optional version-lifecycle milestones for the entity.

seeAlso

java.util.List<EntityReference> seeAlso

Typed cross-references to related entities, for navigation and documentation.

Class hydra.packaging.EntityReference extends java.lang.Object implements Serializable

Class hydra.packaging.EntityReference.Definition extends EntityReference implements Serializable

Serialized Fields

value

DefinitionReference value

Class hydra.packaging.EntityReference.Module extends EntityReference implements Serializable

Serialized Fields

value

ModuleName value

Class hydra.packaging.EntityReference.Package_ extends EntityReference implements Serializable

Serialized Fields

value

PackageName value

Class hydra.packaging.EntityReference.TermExpr extends EntityReference implements Serializable

Serialized Fields

value

java.lang.String value

Class hydra.packaging.EntityReference.TypeExpr extends EntityReference implements Serializable

Serialized Fields

value

java.lang.String value

Class hydra.packaging.LifecycleInfo extends java.lang.Object implements Serializable

Serialized Fields

availableSince

Optional<Version> availableSince

The version in which the entity was introduced, if known.

deprecatedSince

Optional<Version> deprecatedSince

The version in which the entity was deprecated, if applicable.

Class hydra.packaging.Module extends java.lang.Object implements Serializable

Serialized Fields

definitions

java.util.List<Definition> definitions

The definitions in this module

dependencies

java.util.List<ModuleDependency> dependencies

Any modules which this module directly depends on

metadata

Optional<EntityMetadata> metadata

Optional documentation and lifecycle metadata for the module

name

ModuleName name

The name of the module, which is also the common prefix for all element names in the module

Class hydra.packaging.ModuleDependency extends java.lang.Object implements Serializable

Serialized Fields

module

ModuleName module

The name of the depended-on module

package_

Optional<PackageName> package_

The package providing the depended-on module, if disambiguation is required

Class hydra.packaging.ModuleName extends java.lang.Object implements Serializable

Serialized Fields

value

java.lang.String value

Class hydra.packaging.Package_ extends java.lang.Object implements Serializable

Serialized Fields

dependencies

java.util.List<PackageDependency> dependencies

The packages which this package depends on

metadata

Optional<EntityMetadata> metadata

Optional documentation and lifecycle metadata for the package

modules

java.util.List<Module> modules

The modules in this package

name

PackageName name

The name of the package

Class hydra.packaging.PackageDependency extends java.lang.Object implements Serializable

Serialized Fields

name

PackageName name

The name of the depended-on package

scope

Optional<DependencyScope> scope

The scope in which the dependency is required, if specified. Normally absent for Hydra inter-package dependencies; specified for third-party dependencies whose build scope (compile/runtime/test/tool) is significant.

version

VersionSpecifier version

The version-range constraint on the depended-on package

Class hydra.packaging.PackageName extends java.lang.Object implements Serializable

Serialized Fields

value

java.lang.String value

Class hydra.packaging.PrimitiveDefinition extends java.lang.Object implements Serializable

Serialized Fields

defaultImplementation

Optional<Term> defaultImplementation

An optional cross-compilable reference implementation of the primitive, expressed as a Hydra term. Used by interpreters lacking a native implementation and as a proof-friendly reference. Distinct from the per-host Primitive.implementation.

isPure

java.lang.Boolean isPure

Whether the primitive is pure (referentially transparent, no observable side effects). Normally true.

isTotal

java.lang.Boolean isTotal

Whether the primitive is total (terminates on every input of its declared type). Normally true.

metadata

Optional<EntityMetadata> metadata

Optional documentation and lifecycle metadata for the primitive.

name

Name name

The name of the primitive

signature

TermSignature signature

The signature of the primitive. Always explicit, never inferred.

Class hydra.packaging.TermDefinition extends java.lang.Object implements Serializable

Serialized Fields

body

Term body

The term being defined

metadata

Optional<EntityMetadata> metadata

Optional documentation and lifecycle metadata for the term definition

name

Name name

The name of the term

signature

Optional<TermSignature> signature

The optional signature of the term. When absent, the signature has yet to be inferred.

Class hydra.packaging.TypeDefinition extends java.lang.Object implements Serializable

Serialized Fields

body

TypeScheme body

The type scheme being defined

metadata

Optional<EntityMetadata> metadata

Optional documentation and lifecycle metadata for the type definition

name

Name name

The name of the type

Class hydra.packaging.Version extends java.lang.Object implements Serializable

Serialized Fields

value

java.lang.String value

Class hydra.packaging.VersionRange extends java.lang.Object implements Serializable

Serialized Fields

lowerInclusive

Optional<Version> lowerInclusive

The inclusive lower bound, if any (the minimum acceptable version).

upperExclusive

Optional<Version> upperExclusive

The exclusive upper bound, if any (versions strictly below this are acceptable).

Class hydra.packaging.VersionSpecifier extends java.lang.Object implements Serializable

Class hydra.packaging.VersionSpecifier.Any extends VersionSpecifier implements Serializable

Class hydra.packaging.VersionSpecifier.AtLeast extends VersionSpecifier implements Serializable

Serialized Fields

value

Version value

Class hydra.packaging.VersionSpecifier.Exact extends VersionSpecifier implements Serializable

Serialized Fields

value

Version value

Class hydra.packaging.VersionSpecifier.Range extends VersionSpecifier implements Serializable

Serialized Fields

value

VersionRange value

Package hydra.parsing

Class hydra.parsing.ParseError extends java.lang.Object implements Serializable

Serialized Fields

message

java.lang.String message

An error message

remainder

java.util.List<java.lang.Integer> remainder

The remaining input (as codepoints) at the point of failure

Class hydra.parsing.Parser extends java.lang.Object implements Serializable

Serialized Fields

value

java.util.function.Function<java.util.List<java.lang.Integer>,ParseResult<A>> value

Class hydra.parsing.ParseResult extends java.lang.Object implements Serializable

Class hydra.parsing.ParseResult.Failure extends ParseResult<A> implements Serializable

Serialized Fields

value

ParseError value

Class hydra.parsing.ParseResult.Success extends ParseResult<A> implements Serializable

Serialized Fields

value

ParseSuccess<A> value

Class hydra.parsing.ParseSuccess extends java.lang.Object implements Serializable

Serialized Fields

remainder

java.util.List<java.lang.Integer> remainder

The remaining unparsed input, as codepoints. Represented as a list rather than a string

value

A value

The parsed value

Package hydra.paths

Class hydra.paths.SubtermAttribute extends java.lang.Object implements Serializable

Serialized Fields

path

SubtermPath path

The subterm path at which the attribute occurs

target

TermAttribute target

The attribute value

Class hydra.paths.SubtermEdge extends java.lang.Object implements Serializable

Serialized Fields

path

SubtermPath path

The subterm path at which the reference occurs

target

Name target

The name of the referenced binding of the graph

Class hydra.paths.SubtermGraph extends java.lang.Object implements Serializable

Serialized Fields

nodes

java.util.List<SubtermNode> nodes

All nodes in the graph

Class hydra.paths.SubtermLink extends java.lang.Object implements Serializable

Class hydra.paths.SubtermLink.Attribute extends SubtermLink implements Serializable

Serialized Fields

value

SubtermAttribute value

Class hydra.paths.SubtermLink.Edge extends SubtermLink implements Serializable

Serialized Fields

value

SubtermEdge value

Class hydra.paths.SubtermLink.Property extends SubtermLink implements Serializable

Serialized Fields

value

SubtermProperty value

Class hydra.paths.SubtermNode extends java.lang.Object implements Serializable

Serialized Fields

links

java.util.List<SubtermLink> links

The outgoing links of the node

name

Name name

The name of the binding

type

TypeScheme type

The type scheme of the binding

Class hydra.paths.SubtermPath extends java.lang.Object implements Serializable

Serialized Fields

value

java.util.List<SubtermStep> value

Class hydra.paths.SubtermProperty extends java.lang.Object implements Serializable

Serialized Fields

path

SubtermPath path

The subterm path at which the leaf term occurs

target

Term target

The leaf term

Class hydra.paths.SubtermStep extends java.lang.Object implements Serializable

Class hydra.paths.SubtermStep.AnnotatedAnnotation extends SubtermStep implements Serializable

Class hydra.paths.SubtermStep.AnnotatedBody extends SubtermStep implements Serializable

Class hydra.paths.SubtermStep.ApplicationArgument extends SubtermStep implements Serializable

Class hydra.paths.SubtermStep.ApplicationFunction extends SubtermStep implements Serializable

Class hydra.paths.SubtermStep.CasesCase extends SubtermStep implements Serializable

Serialized Fields

value

Name value

Class hydra.paths.SubtermStep.CasesDefault extends SubtermStep implements Serializable

Class hydra.paths.SubtermStep.EitherLeft extends SubtermStep implements Serializable

Class hydra.paths.SubtermStep.EitherRight extends SubtermStep implements Serializable

Class hydra.paths.SubtermStep.InjectField extends SubtermStep implements Serializable

Serialized Fields

value

Name value

Class hydra.paths.SubtermStep.LambdaBody extends SubtermStep implements Serializable

Class hydra.paths.SubtermStep.LetBinding extends SubtermStep implements Serializable

Serialized Fields

value

Name value

Class hydra.paths.SubtermStep.LetBody extends SubtermStep implements Serializable

Class hydra.paths.SubtermStep.ListElement extends SubtermStep implements Serializable

Serialized Fields

value

java.lang.Integer value

Class hydra.paths.SubtermStep.MapKey extends SubtermStep implements Serializable

Serialized Fields

value

java.lang.Integer value

Class hydra.paths.SubtermStep.MapValue extends SubtermStep implements Serializable

Serialized Fields

value

java.lang.Integer value

Class hydra.paths.SubtermStep.OptionalGiven extends SubtermStep implements Serializable

Class hydra.paths.SubtermStep.PairFirst extends SubtermStep implements Serializable

Class hydra.paths.SubtermStep.PairSecond extends SubtermStep implements Serializable

Class hydra.paths.SubtermStep.RecordField extends SubtermStep implements Serializable

Serialized Fields

value

Name value

Class hydra.paths.SubtermStep.SetElement extends SubtermStep implements Serializable

Serialized Fields

value

java.lang.Integer value

Class hydra.paths.SubtermStep.TypeApplicationBody extends SubtermStep implements Serializable

Class hydra.paths.SubtermStep.TypeLambdaBody extends SubtermStep implements Serializable

Class hydra.paths.SubtermStep.WrapBody extends SubtermStep implements Serializable

Class hydra.paths.SubtypeAttribute extends java.lang.Object implements Serializable

Serialized Fields

path

SubtypePath path

The subtype path at which the attribute occurs

target

TypeAttribute target

The attribute value

Class hydra.paths.SubtypeEdge extends java.lang.Object implements Serializable

Serialized Fields

path

SubtypePath path

The subtype path at which the reference occurs

target

Name target

The name of the referenced type

Class hydra.paths.SubtypeGraph extends java.lang.Object implements Serializable

Serialized Fields

nodes

java.util.List<SubtypeNode> nodes

All nodes in the graph

Class hydra.paths.SubtypeLink extends java.lang.Object implements Serializable

Class hydra.paths.SubtypeLink.Attribute extends SubtypeLink implements Serializable

Serialized Fields

value

SubtypeAttribute value

Class hydra.paths.SubtypeLink.Edge extends SubtypeLink implements Serializable

Serialized Fields

value

SubtypeEdge value

Class hydra.paths.SubtypeLink.Property extends SubtypeLink implements Serializable

Serialized Fields

value

SubtypeProperty value

Class hydra.paths.SubtypeNode extends java.lang.Object implements Serializable

Serialized Fields

links

java.util.List<SubtypeLink> links

The outgoing links of the node

name

Name name

The name of the type

Class hydra.paths.SubtypePath extends java.lang.Object implements Serializable

Serialized Fields

value

java.util.List<SubtypeStep> value

Class hydra.paths.SubtypeProperty extends java.lang.Object implements Serializable

Serialized Fields

path

SubtypePath path

The subtype path at which the leaf type occurs

target

Type target

The leaf type

Class hydra.paths.SubtypeStep extends java.lang.Object implements Serializable

Class hydra.paths.SubtypeStep.AnnotatedBody extends SubtypeStep implements Serializable

Class hydra.paths.SubtypeStep.ApplicationArgument extends SubtypeStep implements Serializable

Class hydra.paths.SubtypeStep.ApplicationFunction extends SubtypeStep implements Serializable

Class hydra.paths.SubtypeStep.EffectValue extends SubtypeStep implements Serializable

Class hydra.paths.SubtypeStep.EitherLeft extends SubtypeStep implements Serializable

Class hydra.paths.SubtypeStep.EitherRight extends SubtypeStep implements Serializable

Class hydra.paths.SubtypeStep.ForallBody extends SubtypeStep implements Serializable

Class hydra.paths.SubtypeStep.FunctionCodomain extends SubtypeStep implements Serializable

Class hydra.paths.SubtypeStep.FunctionDomain extends SubtypeStep implements Serializable

Class hydra.paths.SubtypeStep.ListElement extends SubtypeStep implements Serializable

Class hydra.paths.SubtypeStep.MapKeys extends SubtypeStep implements Serializable

Class hydra.paths.SubtypeStep.MapValues extends SubtypeStep implements Serializable

Class hydra.paths.SubtypeStep.OptionalElement extends SubtypeStep implements Serializable

Class hydra.paths.SubtypeStep.PairFirst extends SubtypeStep implements Serializable

Class hydra.paths.SubtypeStep.PairSecond extends SubtypeStep implements Serializable

Class hydra.paths.SubtypeStep.RecordField extends SubtypeStep implements Serializable

Serialized Fields

value

Name value

Class hydra.paths.SubtypeStep.SetElement extends SubtypeStep implements Serializable

Class hydra.paths.SubtypeStep.UnionField extends SubtypeStep implements Serializable

Serialized Fields

value

Name value

Class hydra.paths.SubtypeStep.WrapBody extends SubtypeStep implements Serializable

Class hydra.paths.TermAttribute extends java.lang.Object implements Serializable

Class hydra.paths.TermAttribute.CasesTypeName extends TermAttribute implements Serializable

Serialized Fields

value

Name value

Class hydra.paths.TermAttribute.InjectTypeName extends TermAttribute implements Serializable

Serialized Fields

value

Name value

Class hydra.paths.TermAttribute.LambdaDomainGiven extends TermAttribute implements Serializable

Serialized Fields

value

Type value

Class hydra.paths.TermAttribute.LambdaParameter extends TermAttribute implements Serializable

Serialized Fields

value

Name value

Class hydra.paths.TermAttribute.LetBindingTypeSchemeGiven extends TermAttribute implements Serializable

Serialized Fields

value

Pair<Name,TypeScheme> value

Class hydra.paths.TermAttribute.ProjectFieldName extends TermAttribute implements Serializable

Serialized Fields

value

Name value

Class hydra.paths.TermAttribute.ProjectTypeName extends TermAttribute implements Serializable

Serialized Fields

value

Name value

Class hydra.paths.TermAttribute.RecordTypeName extends TermAttribute implements Serializable

Serialized Fields

value

Name value

Class hydra.paths.TermAttribute.TypeApplicationType extends TermAttribute implements Serializable

Serialized Fields

value

Type value

Class hydra.paths.TermAttribute.TypeLambdaParameter extends TermAttribute implements Serializable

Serialized Fields

value

Name value

Class hydra.paths.TermAttribute.WrapTypeName extends TermAttribute implements Serializable

Serialized Fields

value

Name value

Class hydra.paths.TypeAttribute extends java.lang.Object implements Serializable

Class hydra.paths.TypeAttribute.AnnotatedAnnotation extends TypeAttribute implements Serializable

Serialized Fields

value

Term value

Class hydra.paths.TypeAttribute.ForallParameter extends TypeAttribute implements Serializable

Serialized Fields

value

Name value

Package hydra.query

Class hydra.query.ComparisonConstraint extends java.lang.Object implements Serializable

Class hydra.query.ComparisonConstraint.Equal extends ComparisonConstraint implements Serializable

Class hydra.query.ComparisonConstraint.GreaterThan extends ComparisonConstraint implements Serializable

Class hydra.query.ComparisonConstraint.GreaterThanOrEqual extends ComparisonConstraint implements Serializable

Class hydra.query.ComparisonConstraint.LessThan extends ComparisonConstraint implements Serializable

Class hydra.query.ComparisonConstraint.LessThanOrEqual extends ComparisonConstraint implements Serializable

Class hydra.query.ComparisonConstraint.NotEqual extends ComparisonConstraint implements Serializable

Class hydra.query.Edge extends java.lang.Object implements Serializable

Serialized Fields

in

Optional<Name> in

The field representing the in-projection of the edge. Defaults to 'in'.

out

Optional<Name> out

The field representing the out-projection of the edge. Defaults to 'out'.

type

Name type

The name of a record type, for which the edge also specifies an out- and an in- projection

Class hydra.query.GraphPattern extends java.lang.Object implements Serializable

Serialized Fields

graph

Name graph

The name of the component graph

patterns

java.util.List<Pattern> patterns

The patterns to match within the subgraph

Class hydra.query.Node extends java.lang.Object implements Serializable

Class hydra.query.Node.Term extends Node implements Serializable

Serialized Fields

value

Term value

Class hydra.query.Node.Variable extends Node implements Serializable

Serialized Fields

value

Variable value

Class hydra.query.Node.Wildcard extends Node implements Serializable

Class hydra.query.Path extends java.lang.Object implements Serializable

Class hydra.query.Path.Inverse extends Path implements Serializable

Serialized Fields

value

Path value

Class hydra.query.Path.Regex extends Path implements Serializable

Serialized Fields

value

RegexSequence value

Class hydra.query.Path.Step extends Path implements Serializable

Serialized Fields

value

Step value

Class hydra.query.PathEquation extends java.lang.Object implements Serializable

Serialized Fields

left

Path left

The left-hand side of the equation

right

Path right

The right-hand side of the equation

Class hydra.query.Pattern extends java.lang.Object implements Serializable

Class hydra.query.Pattern.Conjunction extends Pattern implements Serializable

Serialized Fields

value

java.util.List<Pattern> value

Class hydra.query.Pattern.Disjunction extends Pattern implements Serializable

Serialized Fields

value

java.util.List<Pattern> value

Class hydra.query.Pattern.Graph extends Pattern implements Serializable

Serialized Fields

value

GraphPattern value

Class hydra.query.Pattern.Negation extends Pattern implements Serializable

Serialized Fields

value

Pattern value

Class hydra.query.Pattern.Triple extends Pattern implements Serializable

Serialized Fields

value

TriplePattern value

Class hydra.query.PatternImplication extends java.lang.Object implements Serializable

Serialized Fields

antecedent

Pattern antecedent

The pattern which, if it matches, triggers the constraint

consequent

Pattern consequent

The pattern which must also match when the antecedent matches

Class hydra.query.Query extends java.lang.Object implements Serializable

Serialized Fields

patterns

java.util.List<Pattern> patterns

The patterns to be matched

variables

java.util.List<Variable> variables

The variables selected by the query

Class hydra.query.Range extends java.lang.Object implements Serializable

Serialized Fields

max

java.lang.Integer max

The maximum value (inclusive)

min

java.lang.Integer min

The minimum value (inclusive)

Class hydra.query.RegexQuantifier extends java.lang.Object implements Serializable

Class hydra.query.RegexQuantifier.AtLeast extends RegexQuantifier implements Serializable

Serialized Fields

value

java.lang.Integer value

Class hydra.query.RegexQuantifier.Exactly extends RegexQuantifier implements Serializable

Serialized Fields

value

java.lang.Integer value

Class hydra.query.RegexQuantifier.One extends RegexQuantifier implements Serializable

Class hydra.query.RegexQuantifier.OneOrMore extends RegexQuantifier implements Serializable

Class hydra.query.RegexQuantifier.Range extends RegexQuantifier implements Serializable

Serialized Fields

value

Range value

Class hydra.query.RegexQuantifier.ZeroOrMore extends RegexQuantifier implements Serializable

Class hydra.query.RegexQuantifier.ZeroOrOne extends RegexQuantifier implements Serializable

Class hydra.query.RegexSequence extends java.lang.Object implements Serializable

Serialized Fields

path

Path path

The path to which the quantifier applies

quantifier

RegexQuantifier quantifier

The quantifier

Class hydra.query.Step extends java.lang.Object implements Serializable

Class hydra.query.Step.Compare extends Step implements Serializable

Serialized Fields

value

ComparisonConstraint value

Class hydra.query.Step.Edge extends Step implements Serializable

Serialized Fields

value

Edge value

Class hydra.query.Step.Project extends Step implements Serializable

Serialized Fields

value

Projection value

Class hydra.query.TriplePattern extends java.lang.Object implements Serializable

Serialized Fields

object

Node object

The object of the pattern

predicate

Path predicate

The predicate (property) of the pattern

subject

Node subject

The subject of the pattern

Class hydra.query.Variable extends java.lang.Object implements Serializable

Serialized Fields

value

java.lang.String value

Package hydra.regex

Class hydra.regex.Atom extends java.lang.Object implements Serializable

Class hydra.regex.Atom.AnchorEnd extends Atom implements Serializable

Class hydra.regex.Atom.AnchorStart extends Atom implements Serializable

Class hydra.regex.Atom.Any extends Atom implements Serializable

Class hydra.regex.Atom.Class_ extends Atom implements Serializable

Serialized Fields

value

CharacterClass value

Class hydra.regex.Atom.Group extends Atom implements Serializable

Serialized Fields

value

java.util.List<java.util.List<Quantified>> value

Class hydra.regex.Atom.Literal extends Atom implements Serializable

Serialized Fields

value

java.lang.Integer value

Class hydra.regex.CharacterClass extends java.lang.Object implements Serializable

Serialized Fields

items

java.util.List<ClassItem> items

The class members: individual characters and/or character ranges. Must be non-empty; the empty class [] and negated-empty class [^] are excluded from the core (they are not in the POSIX/PCRE/ECMA intersection). hydra.parse.regex rejects an empty class.

negated

java.lang.Boolean negated

True for a negated class ([^ ... ]), which matches any character NOT listed.

Class hydra.regex.CharacterRange extends java.lang.Object implements Serializable

Serialized Fields

from

java.lang.Integer from

The first character of the range (inclusive), as an int32 Unicode scalar value.

to

java.lang.Integer to

The last character of the range (inclusive), as an int32 Unicode scalar value.

Class hydra.regex.ClassItem extends java.lang.Object implements Serializable

Class hydra.regex.ClassItem.Character_ extends ClassItem implements Serializable

Serialized Fields

value

java.lang.Integer value

Class hydra.regex.ClassItem.Range extends ClassItem implements Serializable

Serialized Fields

value

CharacterRange value

Class hydra.regex.Quantified extends java.lang.Object implements Serializable

Serialized Fields

atom

Atom atom

The atom being quantified.

quantifier

Quantifier quantifier

The quantifier; use 'one' for an unquantified atom.

Class hydra.regex.Quantifier extends java.lang.Object implements Serializable

Class hydra.regex.Quantifier.AtLeast extends Quantifier implements Serializable

Serialized Fields

value

java.lang.Integer value

Class hydra.regex.Quantifier.Exactly extends Quantifier implements Serializable

Serialized Fields

value

java.lang.Integer value

Class hydra.regex.Quantifier.One extends Quantifier implements Serializable

Class hydra.regex.Quantifier.OneOrMore extends Quantifier implements Serializable

Class hydra.regex.Quantifier.Range extends Quantifier implements Serializable

Serialized Fields

value

QuantifierRange value

Class hydra.regex.Quantifier.ZeroOrMore extends Quantifier implements Serializable

Class hydra.regex.Quantifier.ZeroOrOne extends Quantifier implements Serializable

Class hydra.regex.QuantifierRange extends java.lang.Object implements Serializable

Serialized Fields

max

java.lang.Integer max

The maximum number of occurrences (inclusive).

min

java.lang.Integer min

The minimum number of occurrences (inclusive).

Package hydra.relational

Class hydra.relational.ColumnName extends java.lang.Object implements Serializable

Serialized Fields

value

java.lang.String value

Class hydra.relational.ColumnSchema extends java.lang.Object implements Serializable

Serialized Fields

domain

T domain

The domain (type) of the column

name

ColumnName name

A unique name for the column

Class hydra.relational.ForeignKey extends java.lang.Object implements Serializable

Serialized Fields

foreignRelation

RelationName foreignRelation

The name of the target relation

keys

java.util.Map<ColumnName,ColumnName> keys

The mapping of source column names to target column names. The target column names must together make up the primary key of the target relation.

Class hydra.relational.PrimaryKey extends java.lang.Object implements Serializable

Serialized Fields

value

java.util.List<ColumnName> value

Class hydra.relational.Relation extends java.lang.Object implements Serializable

Serialized Fields

value

java.util.List<Row<V>> value

Class hydra.relational.RelationName extends java.lang.Object implements Serializable

Serialized Fields

value

java.lang.String value

Class hydra.relational.RelationSchema extends java.lang.Object implements Serializable

Serialized Fields

columns

java.util.List<ColumnSchema<T>> columns

A list of column specifications

foreignKeys

java.util.List<ForeignKey> foreignKeys

Any number of foreign keys, each of which must be valid for both this relation and the target relation

name

RelationName name

A unique name for the relation

primaryKeys

java.util.List<PrimaryKey> primaryKeys

Any number of primary keys for the relation, each of which must be valid for this relation

Class hydra.relational.Relationship extends java.lang.Object implements Serializable

Serialized Fields

value

java.util.Set<java.util.Map<ColumnName,V>> value

Class hydra.relational.Row extends java.lang.Object implements Serializable

Serialized Fields

value

java.util.List<V> value

Package hydra.system

Class hydra.system.Command extends java.lang.Object implements Serializable

Serialized Fields

arguments

java.util.List<java.lang.String> arguments

The arguments following the program name, becoming argv[1..] for the child. The program name (argv[0]) is not included here

environment

Optional<java.util.Map<EnvironmentVariable,java.lang.String>> environment

The complete environment for the child (POSIX environ). None inherits the parent's environment; given(m) replaces it entirely, as execve's envp argument does. There is no partial-merge form; merge in pure code before calling

program

FilePath program

The executable to run; a POSIX pathname, resolved against PATH by the host when it contains no slash (as for the execvp/execlp family). POSIX argv[0] (the program name) is supplied by the host from this field

workingDirectory

Optional<FilePath> workingDirectory

The directory in which to run the child, as if chdir() (XSH, https://pubs.opengroup.org/onlinepubs/9799919799/functions/chdir.html) were called before exec. None inherits the parent's working directory

Class hydra.system.EnvironmentVariable extends java.lang.Object implements Serializable

Serialized Fields

value

java.lang.String value

Class hydra.system.ProcessResult extends java.lang.Object implements Serializable

Serialized Fields

exitCode

StatusCode exitCode

The child's exit status (POSIX WEXITSTATUS); 0 denotes success by convention

stderr

byte[] stderr

The bytes the child wrote to file descriptor 2, standard error (XBD STDERR_FILENO)

stdout

byte[] stdout

The bytes the child wrote to file descriptor 1, standard output (XBD STDOUT_FILENO)

Class hydra.system.StatusCode extends java.lang.Object implements Serializable

Serialized Fields

value

java.lang.Integer value

Package hydra.tabular

Class hydra.tabular.ColumnType extends java.lang.Object implements Serializable

Serialized Fields

name

ColumnName name

type

Type type

Class hydra.tabular.DataRow extends java.lang.Object implements Serializable

Serialized Fields

value

java.util.List<Optional<V>> value

Class hydra.tabular.HeaderRow extends java.lang.Object implements Serializable

Serialized Fields

value

java.util.List<java.lang.String> value

Class hydra.tabular.Table extends java.lang.Object implements Serializable

Serialized Fields

data

java.util.List<DataRow<V>> data

The data rows of the table. Each row must have the same number of cells.

header

Optional<HeaderRow> header

The optional header row of the table. If present, the header must have the same number of cells as each data row.

Class hydra.tabular.TableType extends java.lang.Object implements Serializable

Serialized Fields

columns

java.util.List<ColumnType> columns

name

RelationName name

Package hydra.testing

Class hydra.testing.EffectfulTestCase extends java.lang.Object implements Serializable

Serialized Fields

actual

java.util.function.Function<java.lang.Void,java.lang.String> actual

A thunk producing the effect to be interpreted by the test runner. The thunk defers construction of the effect until the runner forces it.

expected

java.util.function.Function<java.lang.Void,java.lang.String> expected

A thunk producing the expected result string.

Class hydra.testing.Tag extends java.lang.Object implements Serializable

Serialized Fields

value

java.lang.String value

Class hydra.testing.TestCase extends java.lang.Object implements Serializable

Class hydra.testing.TestCase.Effectful extends TestCase implements Serializable

Serialized Fields

value

EffectfulTestCase value

Class hydra.testing.TestCase.Universal extends TestCase implements Serializable

Serialized Fields

value

UniversalTestCase value

Class hydra.testing.TestCaseWithMetadata extends java.lang.Object implements Serializable

Serialized Fields

case_

TestCase case_

The test case itself

description

Optional<java.lang.String> description

An optional longer description of the test case

name

java.lang.String name

A short name for the test case

tags

java.util.List<Tag> tags

Zero or more tags for the test case

Class hydra.testing.TestGroup extends java.lang.Object implements Serializable

Serialized Fields

cases

java.util.List<TestCaseWithMetadata> cases

Zero or more test cases

description

Optional<java.lang.String> description

An optional longer description of the test group

name

java.lang.String name

A short name for the test group

subgroups

java.util.List<TestGroup> subgroups

Zero or more subgroups

Class hydra.testing.UniversalTestCase extends java.lang.Object implements Serializable

Serialized Fields

actual

java.util.function.Function<java.lang.Void,java.lang.String> actual

A thunk producing the actual result string. Wrapping in a thunk defers expression evaluation until the test runner forces it, so eagerly-evaluated hosts measure expression cost inside their timing bracket rather than at test-data load time.

expected

java.util.function.Function<java.lang.Void,java.lang.String> expected

A thunk producing the expected result string.

Package hydra.time

Class hydra.time.Timespec extends java.lang.Object implements Serializable

Serialized Fields

nanoseconds

java.lang.Long nanoseconds

Nanoseconds within the second, in the range [0, 999999999]; unsigned, as the value is never negative

seconds

java.lang.Long seconds

Whole seconds since the Unix Epoch; signed, so instants in the far past or distant future are representable

Package hydra.topology

Class hydra.topology.OrderingIsomorphism extends java.lang.Object implements Serializable

Serialized Fields

decode

java.util.function.Function<java.util.List<A>,java.util.List<A>> decode

Mapping from target ordering to source ordering

encode

java.util.function.Function<java.util.List<A>,java.util.List<A>> encode

Mapping from source ordering to target ordering

Class hydra.topology.TarjanState extends java.lang.Object implements Serializable

Serialized Fields

counter

java.lang.Integer counter

Next available index for vertices in the DFS traversal

indices

java.util.Map<java.lang.Integer,java.lang.Integer> indices

Mapping from vertices to their indices in the DFS traversal

lowLinks

java.util.Map<java.lang.Integer,java.lang.Integer> lowLinks

Mapping from vertices to their lowest reachable index in the DFS traversal

onStack

java.util.Set<java.lang.Integer> onStack

Set of vertices currently on the stack, for quick lookup

sccs

java.util.List<java.util.List<java.lang.Integer>> sccs

Accumulated strongly connected components, each a list of vertices

stack

java.util.List<java.lang.Integer> stack

Current DFS stack, with vertices in reverse order

Package hydra.typed

Class hydra.typed.TypedBinding extends java.lang.Object implements Serializable

Serialized Fields

name

Name name

The name of the term

term

TypedTerm<A> term

The term with its phantom type

Class hydra.typed.TypedName extends java.lang.Object implements Serializable

Serialized Fields

value

Name value

Class hydra.typed.TypedTerm extends java.lang.Object implements Serializable

Serialized Fields

value

Term value

Class hydra.typed.TypedTermDefinition extends java.lang.Object implements Serializable

Serialized Fields

name

Name name

The name of the term

term

TypedTerm<A> term

The term with its phantom type

Package hydra.typing

Class hydra.typing.FunctionStructure extends java.lang.Object implements Serializable

Serialized Fields

bindings

java.util.List<Binding> bindings

Let bindings accumulated from the term

body

Term body

The body term after removing all lambdas, lets, etc.

codomain

Optional<Type> codomain

The return type of the function (if type inference succeeded)

domains

java.util.List<Type> domains

Domain types of the value parameters

environment

Env environment

Updated environment after processing all bindings

params

java.util.List<Name> params

Value parameters (from lambdas)

typeParams

java.util.List<Name> typeParams

Type parameters (from type lambdas)

Class hydra.typing.InferenceContext extends java.lang.Object implements Serializable

Serialized Fields

freshTypeVariableCount

java.lang.Integer freshTypeVariableCount

Counter used to generate distinct fresh type variables during inference

trace

java.util.List<SubtermStep> trace

The current subterm-path trace, accumulated backwards (head = most-recently-pushed step, corresponding to the deepest point in the descent). At the moment an inference error is constructed, the list is reversed and wrapped into a SubtermPath (root-to-leaf order) and stamped onto the error.

Class hydra.typing.InferenceResult extends java.lang.Object implements Serializable

Serialized Fields

classConstraints

java.util.Map<Name,TypeVariableConstraints> classConstraints

Class constraints discovered during inference (e.g., Ord constraints from Map.lookup)

context

InferenceContext context

The updated InferenceContext after inference (carries fresh-variable counter and trace)

subst

TypeSubst subst

The type substitution resulting from unification

term

Term term

The term which was inferred

type

Type type

The inferred type of the term

Class hydra.typing.Parameter extends java.lang.Object implements Serializable

Serialized Fields

description

Optional<java.lang.String> description

An optional human-readable description of the parameter

isLazy

java.lang.Boolean isLazy

Whether the parameter must be passed lazily (thunked) at call sites in hosts that distinguish strict from lazy evaluation

name

Name name

The name of the parameter

type

Type type

The type of the parameter

Class hydra.typing.Result extends java.lang.Object implements Serializable

Serialized Fields

description

Optional<java.lang.String> description

An optional human-readable description of the result

type

Type type

The type of the result

Class hydra.typing.TermSignature extends java.lang.Object implements Serializable

Serialized Fields

parameters

java.util.List<Parameter> parameters

The value parameters of the term, in order

result

Result result

The result of the term

typeParameters

java.util.List<TypeParameter> typeParameters

The type parameters of the term, in order

Class hydra.typing.TermSubst extends java.lang.Object implements Serializable

Serialized Fields

value

java.util.Map<Name,Term> value

Class hydra.typing.TypeClass extends java.lang.Object implements Serializable

Serialized Fields

description

java.lang.String description

A human-readable description of the type class

Class hydra.typing.TypeConstraint extends java.lang.Object implements Serializable

Serialized Fields

comment

java.lang.String comment

A description of the type constraint which may be used for tracing or debugging

left

Type left

The left-hand side of the constraint

right

Type right

The right-hand side of the constraint

Class hydra.typing.TypeParameter extends java.lang.Object implements Serializable

Serialized Fields

constraints

java.util.List<TypeClassConstraint> constraints

Any type class constraints on the type parameter

name

Name name

The name of the type parameter

Class hydra.typing.TypeSubst extends java.lang.Object implements Serializable

Serialized Fields

value

java.util.Map<Name,Type> value

Package hydra.util

Class hydra.util.CaseConvention extends java.lang.Object implements Serializable

Class hydra.util.CaseConvention.Camel extends CaseConvention implements Serializable

Class hydra.util.CaseConvention.LowerSnake extends CaseConvention implements Serializable

Class hydra.util.CaseConvention.Pascal extends CaseConvention implements Serializable

Class hydra.util.CaseConvention.UpperSnake extends CaseConvention implements Serializable

Class hydra.util.Comparison extends java.lang.Object implements Serializable

Class hydra.util.Comparison.EqualTo extends Comparison implements Serializable

Class hydra.util.Comparison.GreaterThan extends Comparison implements Serializable

Class hydra.util.Comparison.LessThan extends Comparison implements Serializable

Class hydra.util.ModuleNames extends java.lang.Object implements Serializable

Serialized Fields

focus

Pair<ModuleName,N> focus

The module name in focus, together with its associated value

mapping

java.util.Map<ModuleName,N> mapping

A mapping of module names to values

Class hydra.util.Precision extends java.lang.Object implements Serializable

Class hydra.util.Precision.Arbitrary extends Precision implements Serializable

Class hydra.util.Precision.Bits extends Precision implements Serializable

Serialized Fields

value

java.lang.Integer value

Class hydra.util.QualifiedName extends java.lang.Object implements Serializable

Serialized Fields

local

java.lang.String local

The local name

moduleName

Optional<ModuleName> moduleName

The optional module name

Package hydra.validation

Class hydra.validation.ValidationProfile extends java.lang.Object implements Serializable

Serialized Fields

errorRules

java.util.Set<Name> errorRules

The set of fully qualified rule names whose findings are treated as errors. Each name has the form 'hydra.error.<package>.<UnionType>.<variant>', e.g. 'hydra.error.core.InvalidTermError.duplicateBinding'.

maxErrors

java.lang.Integer maxErrors

Hard upper bound on collected errors. Validation terminates as soon as the errors list reaches this length. A value of 1 reproduces the legacy 'first error wins' behaviour.

maxWarnings

java.lang.Integer maxWarnings

Soft upper bound on collected warnings. Once the warnings list reaches this length, further warning matches are silently dropped, but validation does not terminate; it continues until maxErrors is reached or the traversal completes.

warningRules

java.util.Set<Name> warningRules

The set of fully qualified rule names whose findings are treated as warnings. Same name format as errorRules.

Class hydra.validation.ValidationResult extends java.lang.Object implements Serializable

Serialized Fields

errors

java.util.List<E> errors

Findings classified as errors, in traversal order, bounded by the profile's maxErrors.

warnings

java.util.List<E> warnings

Findings classified as warnings, in traversal order, bounded by the profile's maxWarnings.

Package hydra.variants

Class hydra.variants.LiteralVariant extends java.lang.Object implements Serializable

Class hydra.variants.LiteralVariant.Binary extends LiteralVariant implements Serializable

Class hydra.variants.LiteralVariant.Boolean_ extends LiteralVariant implements Serializable

Class hydra.variants.LiteralVariant.Decimal extends LiteralVariant implements Serializable

Class hydra.variants.LiteralVariant.Float_ extends LiteralVariant implements Serializable

Class hydra.variants.LiteralVariant.Integer_ extends LiteralVariant implements Serializable

Class hydra.variants.LiteralVariant.String_ extends LiteralVariant implements Serializable

Class hydra.variants.TermVariant extends java.lang.Object implements Serializable

Class hydra.variants.TermVariant.Annotated extends TermVariant implements Serializable

Class hydra.variants.TermVariant.Application extends TermVariant implements Serializable

Class hydra.variants.TermVariant.Cases extends TermVariant implements Serializable

Class hydra.variants.TermVariant.Either extends TermVariant implements Serializable

Class hydra.variants.TermVariant.Inject extends TermVariant implements Serializable

Class hydra.variants.TermVariant.Lambda extends TermVariant implements Serializable

Class hydra.variants.TermVariant.Let extends TermVariant implements Serializable

Class hydra.variants.TermVariant.List extends TermVariant implements Serializable

Class hydra.variants.TermVariant.Literal extends TermVariant implements Serializable

Class hydra.variants.TermVariant.Map extends TermVariant implements Serializable

Class hydra.variants.TermVariant.Optional extends TermVariant implements Serializable

Class hydra.variants.TermVariant.Pair extends TermVariant implements Serializable

Class hydra.variants.TermVariant.Project extends TermVariant implements Serializable

Class hydra.variants.TermVariant.Record extends TermVariant implements Serializable

Class hydra.variants.TermVariant.Set extends TermVariant implements Serializable

Class hydra.variants.TermVariant.TypeApplication extends TermVariant implements Serializable

Class hydra.variants.TermVariant.TypeLambda extends TermVariant implements Serializable

Class hydra.variants.TermVariant.Unit extends TermVariant implements Serializable

Class hydra.variants.TermVariant.Unwrap extends TermVariant implements Serializable

Class hydra.variants.TermVariant.Variable extends TermVariant implements Serializable

Class hydra.variants.TermVariant.Wrap extends TermVariant implements Serializable

Class hydra.variants.TypeVariant extends java.lang.Object implements Serializable

Class hydra.variants.TypeVariant.Annotated extends TypeVariant implements Serializable

Class hydra.variants.TypeVariant.Application extends TypeVariant implements Serializable

Class hydra.variants.TypeVariant.Effect extends TypeVariant implements Serializable

Class hydra.variants.TypeVariant.Either extends TypeVariant implements Serializable

Class hydra.variants.TypeVariant.Forall extends TypeVariant implements Serializable

Class hydra.variants.TypeVariant.Function extends TypeVariant implements Serializable

Class hydra.variants.TypeVariant.List extends TypeVariant implements Serializable

Class hydra.variants.TypeVariant.Literal extends TypeVariant implements Serializable

Class hydra.variants.TypeVariant.Map extends TypeVariant implements Serializable

Class hydra.variants.TypeVariant.Optional extends TypeVariant implements Serializable

Class hydra.variants.TypeVariant.Pair extends TypeVariant implements Serializable

Class hydra.variants.TypeVariant.Record extends TypeVariant implements Serializable

Class hydra.variants.TypeVariant.Set extends TypeVariant implements Serializable

Class hydra.variants.TypeVariant.Union extends TypeVariant implements Serializable

Class hydra.variants.TypeVariant.Unit extends TypeVariant implements Serializable

Class hydra.variants.TypeVariant.Variable extends TypeVariant implements Serializable

Class hydra.variants.TypeVariant.Void_ extends TypeVariant implements Serializable

Class hydra.variants.TypeVariant.Wrap extends TypeVariant implements Serializable

Package hydra.yaml.model

Class hydra.yaml.model.Node extends java.lang.Object implements Serializable

Class hydra.yaml.model.Node.Mapping extends Node implements Serializable

Serialized Fields

value

java.util.Map<Node,Node> value

Class hydra.yaml.model.Node.Scalar extends Node implements Serializable

Serialized Fields

value

Scalar value

Class hydra.yaml.model.Node.Sequence extends Node implements Serializable

Serialized Fields

value

java.util.List<Node> value

Class hydra.yaml.model.Scalar extends java.lang.Object implements Serializable

Class hydra.yaml.model.Scalar.Bool extends Scalar implements Serializable

Serialized Fields

value

java.lang.Boolean value

Class hydra.yaml.model.Scalar.Decimal extends Scalar implements Serializable

Serialized Fields

value

java.math.BigDecimal value

Class hydra.yaml.model.Scalar.Float_ extends Scalar implements Serializable

Serialized Fields

value

java.lang.Double value

Class hydra.yaml.model.Scalar.Int extends Scalar implements Serializable

Serialized Fields

value

java.math.BigInteger value

Class hydra.yaml.model.Scalar.Null extends Scalar implements Serializable

Class hydra.yaml.model.Scalar.Str extends Scalar implements Serializable

Serialized Fields

value

java.lang.String value