All Classes

Class	Description
Abs	Computes the absolute value of a number.
Absurd	Eliminates a value of the uninhabited void type, producing any type.
Acos	Computes the arccosine of a value.
Acosh	Computes the inverse hyperbolic cosine.
Adapt	Simple, one-way adapters for types and terms
Adapter<T1,T2,V1,V2,E>	A two-level bidirectional encoder which adapts types to types and terms to terms
Adapter.Builder<T1,T2,V1,V2,E>	A fluent builder for Adapter.
AdapterContext	An evaluation context together with a source language and a target language
AdapterContext.Builder	A fluent builder for AdapterContext.
Adapters	Convenience functions for working with Hydra adapters.
Add	Performs addition on two numbers.
AddFloat64	Performs addition on two float64 numbers.
Alter	Modifies a key's value.
Analysis	Module dependency module name analysis
Analysis	DSL functions for hydra.analysis
And	Performs logical AND on two boolean values.
AnnotatedTerm	A term together with an annotation
AnnotatedTerm.Builder	A fluent builder for AnnotatedTerm.
AnnotatedType	A type together with an annotation
AnnotatedType.Builder	A fluent builder for AnnotatedType.
Annotations	Utilities for reading and writing type and term annotations
Annotations	DSL functions for hydra.annotations
AppendFile	Append bytes to the end of a file.
Application	A term which applies a function to an argument
Application.Builder	A fluent builder for Application.
ApplicationType	The type-level analog of an application term
ApplicationType.Builder	A fluent builder for ApplicationType.
Apply	Applicative apply for effects.
Apply	Applies a function in a flow context.
Apply	Applies a function in a flow context.
Arity	Functions dealing with arguments and arity.
Arity	DSL functions for hydra.arity
Asin	Computes the arcsine of a value.
Asinh	Computes the inverse hyperbolic sine.
Associativity	Operator associativity
Associativity.Both
Associativity.Left
Associativity.None
Associativity.PartialVisitor<R>	Partial visitor over Associativity with a default Associativity.PartialVisitor.otherwise(hydra.ast.Associativity) branch.
Associativity.Right
Associativity.Visitor<R>	Visitor over Associativity.
Ast	Term decoders for hydra.ast
Ast	DSL functions for hydra.ast
Ast	Term encoders for hydra.ast
At	Get the element at a given index in a list, returning Nothing if the index is out of bounds.
Atan	Computes the arctangent of a value.
Atan2	Computes the arctangent of y/x.
Atanh	Computes the inverse hyperbolic tangent.
Atom	A single, unquantified regex element: the smallest unit to which a quantifier may apply.
Atom.AnchorEnd	The $ anchor; matches the empty string at the end of input.
Atom.AnchorStart	The ^ anchor; matches the empty string at the start of input.
Atom.Any	The .
Atom.Class_	A character class, [ ...
Atom.Group	A parenthesized sub-expression, ( ...
Atom.Literal	A literal character, matched exactly.
Atom.PartialVisitor<R>	Partial visitor over Atom with a default Atom.PartialVisitor.otherwise(hydra.regex.Atom) branch.
Atom.Visitor<R>	Visitor over Atom.
Base64ToBinary	Primitive function which decodes a base64 string to binary data.
Bicoder<T1,T2,V1,V2,E>	A two-level encoder and decoder, operating both at a type level and an instance (data) level
Bicoder.Builder<T1,T2,V1,V2,E>	A fluent builder for Bicoder.
BigintToDecimal	Primitive function which converts a bigint (arbitrary-precision integer) to a decimal (arbitrary-precision exact decimal).
BigintToInt16	Primitive function which converts a bigint (arbitrary-precision integer) to an int16 (16-bit signed integer).
BigintToInt32	Primitive function which converts a bigint (arbitrary-precision integer) to an int32 (32-bit signed integer).
BigintToInt64	Primitive function which converts a bigint (arbitrary-precision integer) to an int64 (64-bit signed integer).
BigintToInt8	Primitive function which converts a bigint (arbitrary-precision integer) to an int8 (8-bit signed integer).
BigintToUint16	Primitive function which converts a bigint (arbitrary-precision integer) to a uint16 (16-bit unsigned integer).
BigintToUint32	Primitive function which converts a bigint (arbitrary-precision integer) to a uint32 (32-bit unsigned integer).
BigintToUint64	Primitive function which converts a bigint (arbitrary-precision integer) to a uint64 (64-bit unsigned integer).
BigintToUint8	Primitive function which converts a bigint (arbitrary-precision integer) to a uint8 (8-bit unsigned integer).
Bimap	Map over both sides of an Either value.
Bimap	Transforms both keys and values.
Bimap	Map over both elements of a pair.
BinaryToBase64	Primitive function which encodes binary data as a base64 string.
BinaryToBytes
Bind	Sequence two effectful computations.
Bind	Bind (flatMap) for Either: sequence an Either with a function that returns Either.
Bind	Monadic bind for flows.
Bind	Monadic bind for optional values (flatMap).
Binding	A field with an optional type scheme, used to bind variables to terms in a 'let' expression
Binding.Builder	A fluent builder for Binding.
BlockStyle	Formatting option for code blocks
BlockStyle.Builder	A fluent builder for BlockStyle.
Bootstrap	DSL functions for hydra.json.bootstrap
Bootstrap	A module which provides a minimal typing environment for decoding other modules from JSON.
BracketExpr	An expression enclosed by brackets
BracketExpr.Builder	A fluent builder for BracketExpr.
Brackets	Matching open and close bracket symbols
Brackets.Builder	A fluent builder for Brackets.
CaseAlternative	A single alternative of a case statement (union elimination): the variant being matched, together with the term that handles it.
CaseAlternative.Builder	A fluent builder for CaseAlternative.
CaseConvention	A naming convention for symbols, such as camelCase or snake_case
CaseConvention.Camel
CaseConvention.LowerSnake
CaseConvention.PartialVisitor<R>	Partial visitor over CaseConvention with a default CaseConvention.PartialVisitor.otherwise(hydra.util.CaseConvention) branch.
CaseConvention.Pascal
CaseConvention.UpperSnake
CaseConvention.Visitor<R>	Visitor over CaseConvention.
CaseConventions	Per-target case conventions for name forms that vary across emission targets
CaseConventions.Builder	A fluent builder for CaseConventions.
CaseStatement	A union elimination; a case statement
CaseStatement.Builder	A fluent builder for CaseStatement.
Ceiling	Rounds up to the nearest integer, returned as a float.
CharacterClass	A bracketed character class, [ ...
CharacterClass.Builder	A fluent builder for CharacterClass.
CharacterRange	An inclusive range of characters within a character class, e.g.
CharacterRange.Builder	A fluent builder for CharacterRange.
CharAt	Get the character at a given index in a string, returning Nothing if the index is out of bounds.
Chars	DSL functions for hydra.lib.chars
Chars	Primitives in the hydra.lib.chars module.
Checking	Type checking and type reconstruction (type-of) for the results of Hydra unification and inference
Checking	Term decoders for hydra.error.checking
Checking	DSL functions for hydra.checking
Checking	DSL functions for hydra.error.checking
Checking	Term encoders for hydra.error.checking
CheckingError	An error that occurred during type checking
CheckingError.IncorrectUnification	A post-unification consistency check failure
CheckingError.NotAForallType	A type that is not a forall type when one was expected
CheckingError.NotAFunctionType	A type that is not a function type when one was expected
CheckingError.Other	A generic checking error
CheckingError.PartialVisitor<R>	Partial visitor over CheckingError with a default CheckingError.PartialVisitor.otherwise(hydra.error.checking.CheckingError) branch.
CheckingError.TypeArityMismatch	A type constructor applied to the wrong number of arguments
CheckingError.TypeMismatch	A type mismatch between expected and actual types
CheckingError.UnboundTypeVariables	Type variables that are not bound in scope
CheckingError.UndefinedTermVariable	A reference to a term variable that is not bound in scope, encountered during checking
CheckingError.UnequalTypes	Multiple types that should be equal but are not
CheckingError.UnsupportedTermVariant	A term variant that the type checker does not support
CheckingError.UntypedLambda	A lambda expression without a type annotation on its parameter
CheckingError.UntypedLetBinding	A let binding without a type annotation
CheckingError.UntypedTermVariable	A reference to a term variable whose type is not known, encountered during checking
CheckingError.Visitor<R>	Visitor over CheckingError.
Classes	Registry of Hydra's built-in type classes.
ClassItem	A member of a character class: either a single character or an inclusive character range.
ClassItem.Character_	A single character (int32 Unicode scalar value) in the class.
ClassItem.PartialVisitor<R>	Partial visitor over ClassItem with a default ClassItem.PartialVisitor.otherwise(hydra.regex.ClassItem) branch.
ClassItem.Range	An inclusive range of characters, e.g.
ClassItem.Visitor<R>	Visitor over ClassItem.
Codegen	Pure code generation pipeline for bootstrapping Hydra across languages.
Coder<V1,V2,E>	An encoder and decoder; a pair of partial functions between two types
Coder.Builder<V1,V2,E>	A fluent builder for Coder.
CoderDirection	Indicates either the 'out' or the 'in' direction of a coder
CoderDirection.Decode
CoderDirection.Encode
CoderDirection.PartialVisitor<R>	Partial visitor over CoderDirection with a default CoderDirection.PartialVisitor.otherwise(hydra.coders.CoderDirection) branch.
CoderDirection.Visitor<R>	Visitor over CoderDirection.
Coders	Term decoders for hydra.coders
Coders	DSL functions for hydra.coders
Coders	Term encoders for hydra.coders
Coders	Convenience functions for working with Hydra coders.
ColumnName	A name for a domain which serves to identify the role played by that domain in the given relation; a 'role name' in Codd
ColumnName.Builder	A fluent builder for ColumnName.
ColumnSchema<T>	An abstract specification of the domain represented by a column in a relation; a role
ColumnSchema.Builder<T>	A fluent builder for ColumnSchema.
ColumnType	A column type, consisting of a name and a value type
ColumnType.Builder	A fluent builder for ColumnType.
Command	A description of a program to run, supplying the inputs the POSIX posix_spawn / execve family takes: the executable, its argument vector, and optionally a working directory and a replacement environment.
Command.Builder	A fluent builder for Command.
Compare	Compares two values and returns a Comparison (LessThan, EqualTo, or GreaterThan).
Comparing	Utility methods for comparing objects that may not implement Comparable directly, such as java.util collections.
Comparison	An equality judgement: less than, equal to, or greater than
Comparison.EqualTo
Comparison.GreaterThan
Comparison.LessThan
Comparison.PartialVisitor<R>	Partial visitor over Comparison with a default Comparison.PartialVisitor.otherwise(hydra.util.Comparison) branch.
Comparison.Visitor<R>	Visitor over Comparison.
ComparisonConstraint	One of several comparison operators
ComparisonConstraint.Equal
ComparisonConstraint.GreaterThan
ComparisonConstraint.GreaterThanOrEqual
ComparisonConstraint.LessThan
ComparisonConstraint.LessThanOrEqual
ComparisonConstraint.NotEqual
ComparisonConstraint.PartialVisitor<R>	Partial visitor over ComparisonConstraint with a default ComparisonConstraint.PartialVisitor.otherwise(hydra.query.ComparisonConstraint) branch.
ComparisonConstraint.Visitor<R>	Visitor over ComparisonConstraint.
Compose	Kleisli composition for effects.
Compose	Composes two Optional-returning functions.
Concat	Concatenates a list of lists.
Concat	Concatenates a list of strings into a single string.
Concat2	Concatenates two lists.
Concat2	Concatenates two strings.
ConflictingModuleNameError	A module name which, when mapped to a target language's directory or package structure, conflicts with another module's mapped name.
ConflictingModuleNameError.Builder	A fluent builder for ConflictingModuleNameError.
ConflictingVariantNameError	A union type variant name which, when capitalized and concatenated with its type name, conflicts with another type definition name.
ConflictingVariantNameError.Builder	A fluent builder for ConflictingVariantNameError.
Cons	Prepends an element to a list.
ConsList<T>	A persistent (immutable, shared-tail) singly-linked list.
ConstantConditionError	An application of ifElse where the condition is a literal boolean, creating a dead branch (optional)
ConstantConditionError.Builder	A fluent builder for ConstantConditionError.
Constants	A module for tier-0 constants.
Constants	DSL functions for hydra.constants
Copy	Copy a file, or a directory tree, to a destination path.
Core	Term decoders for hydra.core
Core	Term decoders for hydra.error.core
Core	DSL functions for hydra.core
Core	DSL functions for hydra.error.core
Core	Term encoders for hydra.core
Core	Term encoders for hydra.error.core
Core	Extraction and validation for hydra.core types
Core	String representations of hydra.core types
Core	String representations of hydra.error.core types
Core	Validation functions for core terms and types
Cos	Computes the cosine of an angle.
Cosh	Computes the hyperbolic cosine.
CreateDirectory	Create a directory.
CreateSymlink	Create a symbolic link.
DataRow<V>	A data row, containing optional-valued cells; one per column
DataRow.Builder<V>	A fluent builder for DataRow.
DecimalToBigint	Primitive function which converts a decimal (arbitrary-precision exact decimal) to a bigint (arbitrary-precision integer).
DecimalToFloat32	Primitive function which converts a decimal (arbitrary-precision exact decimal) to a float32 (IEEE 754 single).
DecimalToFloat64	Primitive function which converts a decimal (arbitrary-precision exact decimal) to a float64 (IEEE 754 double).
Decode	DSL functions for hydra.json.decode
Decode	DSL functions for hydra.json.yaml.decode
Decode	JSON decoding for Hydra terms.
Decode	YAML-to-JSON decoding.
DecodeUtf8	Decode a sequence of bytes as UTF-8 text.
Decoding	Functions for generating term decoders from type modules
Decoding	DSL functions for hydra.json.decoding
Decoding	Decoding functions for JSON data
DecodingError	An error that occurred during decoding of a term
DecodingError.Builder	A fluent builder for DecodingError.
DefaultFallbackPrimitiveFunction	A PrimitiveFunction for a kernel primitive which has no native Java implementation, but does declare a portable, cross-compilable defaultImplementation term (see hydra.lib.Defaults.defaultImplementations()).
Defaults	DSL functions for hydra.lib.defaults
Defaults	A module which provides a single map from primitive names to their default, cross-compilable reference implementations, for primitives which declare one.
Definition	A definition, which may be either a term, type, or primitive definition
Definition.PartialVisitor<R>	Partial visitor over Definition with a default Definition.PartialVisitor.otherwise(hydra.packaging.Definition) branch.
Definition.Primitive	A primitive definition
Definition.Term	A term definition
Definition.Type	A type definition
Definition.Visitor<R>	Visitor over Definition.
DefinitionNotInModuleNameError	A definition whose name does not have the module's name as a prefix.
DefinitionNotInModuleNameError.Builder	A fluent builder for DefinitionNotInModuleNameError.
DefinitionReference	A typed reference to a definition: a type, a term, or a primitive, identified by name
DefinitionReference.PartialVisitor<R>	Partial visitor over DefinitionReference with a default DefinitionReference.PartialVisitor.otherwise(hydra.packaging.DefinitionReference) branch.
DefinitionReference.Primitive	A reference to a primitive definition, by name
DefinitionReference.Term	A reference to a term definition, by name
DefinitionReference.Type	A reference to a type definition, by name
DefinitionReference.Visitor<R>	Visitor over DefinitionReference.
DefinitionsOutOfOrderError	Two consecutive definitions in a module's definitions list that are not in alphabetical order by local name.
DefinitionsOutOfOrderError.Builder	A fluent builder for DefinitionsOutOfOrderError.
Defs	Meta-DSL helpers for assembling Hydra module definitions in Java.
Defs.Def	A Hydra term definition with a deferred body.
Defs.DefBuilder	Fluent builder for a Defs.Def.
Delete	Removes a key from the map.
Delete	Removes an element from a set.
Dependencies	Dependency extraction, binding sort, and let normalization
Dependencies	DSL functions for hydra.dependencies
DependencyScope	The scope in which a package dependency is required.
DependencyScope.Api	A dependency exported transitively to consumers of this package (e.g.
DependencyScope.PartialVisitor<R>	Partial visitor over DependencyScope with a default DependencyScope.PartialVisitor.otherwise(hydra.packaging.DependencyScope) branch.
DependencyScope.Runtime_	A dependency required at runtime but not at compile time
DependencyScope.Test	A dependency required only to compile and run the package's tests
DependencyScope.Tool	A build-tool-only dependency, used to generate or process sources at build time but not present in the compiled artifact (e.g.
DependencyScope.Visitor<R>	Visitor over DependencyScope.
Difference	Computes the set difference.
Differentiation	Source-to-source automatic differentiation for Float64 terms.
Distinct	Removes duplicate elements.
Div	Divides two integers, returning Nothing if the divisor is zero.
Divide	Performs IEEE 754 division on two floating-point numbers.
Docs	Term decoders for hydra.docs
Docs	DSL functions for hydra.docs
Docs	DSL functions for hydra.print.docs
Docs	Term encoders for hydra.docs
Docs	Parser for Hydra documentation strings, producing DocSegment lists.
Docs	String representations of hydra.docs types
DocSegment	A segment of a documentation string, either a raw text fragment or an inline entity reference.
DocSegment.PartialVisitor<R>	Partial visitor over DocSegment with a default DocSegment.PartialVisitor.otherwise(hydra.docs.DocSegment) branch.
DocSegment.Ref	An inline reference to a Hydra entity
DocSegment.Text	A raw prose fragment, passed through verbatim
DocSegment.Visitor<R>	Visitor over DocSegment.
Drop	Drops the first n elements.
DropWhile	Drops elements while predicate is true.
Dsls	Functions for generating domain-specific DSL modules from type modules
DuplicateBindingError	A duplicate binding name in a let expression
DuplicateBindingError.Builder	A fluent builder for DuplicateBindingError.
DuplicateDefinitionNameError	Two or more definitions in the same module share the same name
DuplicateDefinitionNameError.Builder	A fluent builder for DuplicateDefinitionNameError.
DuplicateFieldError	A duplicate field name in a record or union type
DuplicateFieldError.Builder	A fluent builder for DuplicateFieldError.
DuplicateModuleNameError	Two or more modules in the same package share the same name
DuplicateModuleNameError.Builder	A fluent builder for DuplicateModuleNameError.
DuplicateRecordTypeFieldNamesError	A record type with duplicate field names
DuplicateRecordTypeFieldNamesError.Builder	A fluent builder for DuplicateRecordTypeFieldNamesError.
DuplicateUnionTypeFieldNamesError	A union type with duplicate field names
DuplicateUnionTypeFieldNamesError.Builder	A fluent builder for DuplicateUnionTypeFieldNamesError.
E	Returns the mathematical constant e.
Edge	An abstract edge based on a record type
Edge.Builder	A fluent builder for Edge.
EffectfulTestCase	An effectful test case: the actual value is a thunk producing an effect, which the test runner interprets (performing host interactions, e.g.
EffectfulTestCase.Builder	A fluent builder for EffectfulTestCase.
Effects	DSL functions for hydra.lib.effects
Effects	Primitives in the hydra.lib.effects module.
Either	Eliminate an Either value by applying one of two functions.
Either<L,R>	A simple class for disjoint unions (Either types) in Java.
Either.Left<L,R>	A Left value in an Either.
Either.PartialVisitor<L,R,T>	Partial visitor interface with a default case for non-exhaustive matching.
Either.Right<L,R>	A Right value in an Either.
Either.Visitor<L,R,T>	Visitor interface for pattern matching on Either values.
Eithers	DSL functions for hydra.lib.eithers
Eithers	Primitives in the hydra.lib.eithers module.
EitherType	A type which provides a choice between a 'left' type and a 'right' type
EitherType.Builder	A fluent builder for EitherType.
Elems	Returns all values.
Empty	Creates an empty map.
Empty	Creates an empty set.
EmptyCaseStatementError	A case statement with no cases and no default (optional)
EmptyCaseStatementError.Builder	A fluent builder for EmptyCaseStatementError.
EmptyLetBindingsError	A let expression with an empty list of bindings (optional)
EmptyLetBindingsError.Builder	A fluent builder for EmptyLetBindingsError.
EmptyRecordTypeError	A record type with no fields; TypeUnit is preferred for the unit-like case (optional)
EmptyRecordTypeError.Builder	A fluent builder for EmptyRecordTypeError.
EmptyTermAnnotationError	A term annotation with an empty annotation map (optional)
EmptyTermAnnotationError.Builder	A fluent builder for EmptyTermAnnotationError.
EmptyTypeAnnotationError	A type annotation with an empty annotation map (optional)
EmptyTypeAnnotationError.Builder	A fluent builder for EmptyTypeAnnotationError.
EmptyTypeNameInTermError	A record, injection, projection, or case statement with an empty type name (optional)
EmptyTypeNameInTermError.Builder	A fluent builder for EmptyTypeNameInTermError.
EmptyUnionTypeError	A union type with no alternatives; TypeVoid is preferred (optional)
EmptyUnionTypeError.Builder	A fluent builder for EmptyUnionTypeError.
Encode	DSL functions for hydra.json.encode
Encode	DSL functions for hydra.json.yaml.encode
Encode	JSON encoding for Hydra terms.
Encode	JSON-to-YAML encoding.
EncodeUtf8	Encode text as a sequence of UTF-8 bytes.
Encoding	Functions for generating term encoders from type modules
EntityMetadata	Documentation and lifecycle metadata attachable to a packaging entity (package, module, or definition).
EntityMetadata.Builder	A fluent builder for EntityMetadata.
EntityReference	A typed reference to a Hydra entity: a package, a module, a definition (by name), or an inline type or term expression in Hydra textual syntax.
EntityReference.Definition	A reference to a definition (type, term, or primitive), by name
EntityReference.Module	A reference to a module, by name
EntityReference.Package_	A reference to a package, by name
EntityReference.PartialVisitor<R>	Partial visitor over EntityReference with a default EntityReference.PartialVisitor.otherwise(hydra.packaging.EntityReference) branch.
EntityReference.TermExpr	An inline term expression in Hydra textual syntax
EntityReference.TypeExpr	An inline type expression in Hydra textual syntax
EntityReference.Visitor<R>	Visitor over EntityReference.
Environment	DSL functions for hydra.environment
Environment	Graph to type environment conversions
EnvironmentVariable	The name of an environment variable: its identity within the POSIX environment list environ (XBD section 8, Environment Variables, https://pubs.opengroup.org/onlinepubs/9799919799/basedefs/V1_chap08.html).
EnvironmentVariable.Builder	A fluent builder for EnvironmentVariable.
Equal	Tests equality.
Equality	DSL functions for hydra.lib.equality
Equality	Primitives in the hydra.lib.equality module.
EqualityFunction<T>
EqualityFunction.Relation
Error_	An error of any kind, with kernel errors particularly differentiated
Error_.Checking	A type checking error
Error_.Decoding	An error that occurred during decoding of a term
Error_.DuplicateBinding	A duplicate binding name error
Error_.DuplicateField	A duplicate field name error
Error_.Extraction	An error that occurred while extracting a value from a term
Error_.Inference	A type inference error
Error_.InvalidLiteral	A literal value validation error
Error_.Other	Any other error
Error_.PartialVisitor<R>	Partial visitor over Error_ with a default Error_.PartialVisitor.otherwise(hydra.errors.Error_) branch.
Error_.Resolution	A name-resolution error
Error_.UndefinedField	A reference to an undefined field
Error_.UndefinedTermVariable	A reference to an undefined term variable
Error_.UnexpectedTermVariant	An unexpected term variant
Error_.UnexpectedTypeVariant	An unexpected type variant
Error_.Unification	A type unification error
Error_.UntypedTermVariable	A term variable whose type is not known
Error_.Visitor<R>	Visitor over Error_.
Errors	Term decoders for hydra.errors
Errors	DSL functions for hydra.errors
Errors	Term encoders for hydra.errors
Errors	String representations of hydra.error types
Even	Determines whether an integer is even.
Execute	Run a program to completion and capture its result.
Exists	Test whether a path exists.
Exit	Terminate the current process with a status code.
Exp	Computes e raised to a power.
Expr	An abstract expression
Expr.Brackets	A bracketed expression
Expr.Const	A constant symbol
Expr.Indent	An indented expression
Expr.Op	An operator expression
Expr.PartialVisitor<R>	Partial visitor over Expr with a default Expr.PartialVisitor.otherwise(hydra.ast.Expr) branch.
Expr.Seq	A sequence of expressions joined by a separator, treated as structural layout (not subject to parenthesization)
Expr.Visitor<R>	Visitor over Expr.
ExtractionError	An error that occurred while extracting a typed value from a term
ExtractionError.EmptyList	An empty list was encountered where a non-empty list was required
ExtractionError.MultipleBindings	Multiple let bindings were found with the same name
ExtractionError.MultipleFields	Multiple record fields were found with the same field name
ExtractionError.NoMatchingField	No field with the expected name was found in a record
ExtractionError.NoSuchBinding	No let binding with the expected name was found
ExtractionError.NotEnoughCases	A case statement did not contain enough cases to match the target
ExtractionError.PartialVisitor<R>	Partial visitor over ExtractionError with a default ExtractionError.PartialVisitor.otherwise(hydra.errors.ExtractionError) branch.
ExtractionError.UnexpectedShape	A term, type, literal, or other value had an unexpected shape
ExtractionError.Visitor<R>	Visitor over ExtractionError.
ExtraRecordFieldsError	A record term supplying a field that its record type does not declare
ExtraRecordFieldsError.Builder	A fluent builder for ExtraRecordFieldsError.
Field	A name/term pair
Field.Builder	A fluent builder for Field.
FieldType	A name/type pair
FieldType.Builder	A fluent builder for FieldType.
File	Term decoders for hydra.error.file
File	Term decoders for hydra.file
File	DSL functions for hydra.error.file
File	DSL functions for hydra.file
File	Term encoders for hydra.error.file
File	Term encoders for hydra.file
FileError	A recoverable file-system error
FileError.AlreadyExists	A path already exists where one was required not to (POSIX EEXIST), e.g.
FileError.InvalidPath	The path is syntactically invalid or cannot be represented by the host file system
FileError.NotFound	The requested path does not exist
FileError.Other	Any other file-system error, represented as a host-provided message
FileError.PartialVisitor<R>	Partial visitor over FileError with a default FileError.PartialVisitor.otherwise(hydra.error.file.FileError) branch.
FileError.PermissionDenied	The host denied access to the requested path
FileError.Visitor<R>	Visitor over FileError.
FileExtension	A file extension (without the dot), e.g.
FileExtension.Builder	A fluent builder for FileExtension.
FilePath	A host file-system path; a POSIX "pathname" (XBD section 3.254), i.e.
FilePath.Builder	A fluent builder for FilePath.
Files	DSL functions for hydra.lib.files
Files	Primitives in the hydra.lib.files module.
FileStatus	Metadata about a file, based on the POSIX struct stat.
FileStatus.Builder	A fluent builder for FileStatus.
FileType	An enumeration of POSIX file types, following the file type macros of <sys/stat.h>
FileType.Block	S_IFBLK / block special: a block special file (e.g.
FileType.Character_	S_IFCHR / character special: a character special file (e.g.
FileType.Directory	S_IFDIR / directory: a directory
FileType.Fifo	S_IFIFO / FIFO special: a named pipe (FIFO)
FileType.Link	S_IFLNK / symbolic link: a symbolic link
FileType.PartialVisitor<R>	Partial visitor over FileType with a default FileType.PartialVisitor.otherwise(hydra.file.FileType) branch.
FileType.Regular	S_IFREG / regular: a regular file
FileType.Socket	S_IFSOCK / socket: a socket
FileType.Visitor<R>	Visitor over FileType.
Filter	Filters a list, keeping only elements that satisfy the predicate.
Filter	Filters map entries by value.
Filter	Filters a set by a predicate, keeping only elements for which the predicate is true.
FilterWithKey	Filters map entries by key and value.
Find	Finds the first element in a list that satisfies the predicate.
Find	Finds the first substring matching a regex pattern.
FindAll	Finds all non-overlapping substrings matching a regex pattern.
FindWithDefault	Looks up with a default value.
First	Extracts the first element of a pair.
Float32ToDecimal	Primitive function which converts a float32 (IEEE 754 single) to a decimal (arbitrary-precision exact decimal).
Float32ToFloat64	Primitive function which converts a float32 (IEEE 754 single) to a float64 (IEEE 754 double).
Float64ToDecimal	Primitive function which converts a float64 (IEEE 754 double) to a decimal (arbitrary-precision exact decimal).
Float64ToFloat32	Primitive function which converts a float64 (IEEE 754 double) to a float32 (IEEE 754 single).
FloatType	A floating-point type
FloatType.Float32	A 32-bit floating-point type
FloatType.Float64	A 64-bit floating-point type
FloatType.PartialVisitor<R>	Partial visitor over FloatType with a default FloatType.PartialVisitor.otherwise(hydra.core.FloatType) branch.
FloatType.Visitor<R>	Visitor over FloatType.
FloatValue	A floating-point literal value
FloatValue.Float32	A 32-bit floating-point value
FloatValue.Float64	A 64-bit floating-point value
FloatValue.PartialVisitor<R>	Partial visitor over FloatValue with a default FloatValue.PartialVisitor.otherwise(hydra.core.FloatValue) branch.
FloatValue.Visitor<R>	Visitor over FloatValue.
Floor	Rounds down to the nearest integer, returned as a float.
Foldl	Left-associative fold of a list with a binary function and initial value.
FoldList	Left-fold over a list with an effect-returning function.
FoldList	Monadic left fold over a list using Either.
Foldr	Right-associative fold of a list with a binary function and initial value.
ForallType	A universally quantified type; the System F equivalent of a type scheme, and the type-level equivalent of a lambda term.
ForallType.Builder	A fluent builder for ForallType.
ForeignKey	A mapping from certain columns of a source relation to primary key columns of a target relation
ForeignKey.Builder	A fluent builder for ForeignKey.
Formatting	DSL functions for hydra.formatting
Formatting	String formatting types and functions.
FractionalDispatch	Runtime dispatch for the constraint-polymorphic ('fractional') division primitive (divide).
FractionalDispatch.BinaryOp	A binary operation defined uniformly over the float representation domain.
FromList	Creates a map from a list of pairs.
FromList	Creates a set from a list of elements.
FromList	Converts a list of character code points to a string.
Function3<A,B,C,R>	A functional interface representing a function that accepts three arguments and produces a result.
Function4<A,B,C,D,R>	A functional interface representing a function that accepts four arguments and produces a result.
Functions	DSL functions for hydra.lib.functions
Functions	Primitives in the hydra.lib.functions module.
FunctionStructure<Env>	A structured representation of a function term's components, replacing ad-hoc tuples.
FunctionStructure.Builder<Env>	A fluent builder for FunctionStructure.
FunctionType	A function type, also known as an arrow type
FunctionType.Builder	A fluent builder for FunctionType.
GetEnvironment	Get the full set of environment variables.
GetEnvironmentVariable	Look up a single environment variable by name.
GetTime	Get the current wall-clock time.
GetWorkingDirectory	Get the current working directory.
Given	Wraps a value in given.
Givens	Filters and extracts Just values.
Graph	DSL functions for hydra.graph
Graph	A graph, or lexical environment which binds names to terms, types, primitives, and metadata
Graph	String representations of hydra.graph types
Graph.Builder	A fluent builder for Graph.
GraphPattern	A query pattern which matches within a designated component subgraph
GraphPattern.Builder	A fluent builder for GraphPattern.
Group	Groups consecutive equal elements.
Gt	Tests if the first value is greater than the second.
Gte	Tests if the first value is greater than or equal to the second.
Hashing	Primitives in the hydra.lib.hashing module.
Head	Get the first element of a list, returning Nothing if the list is empty.
HeaderRow	A header row, containing column names (but no types or data)
HeaderRow.Builder	A fluent builder for HeaderRow.
Helpers	Hand-written Java DSL helpers for assembling Hydra type and term definitions in the Java-language source modules (Coder.java, Serde.java, etc.).
Hoisting	Functions for deep term rewriting operations involving hoisting subterms or bindings into enclosing let terms.
Identity	Returns its argument unchanged.
IfElse	Performs conditional branching based on a boolean condition.
IncorrectUnificationError	A post-unification consistency check failure
IncorrectUnificationError.Builder	A fluent builder for IncorrectUnificationError.
IndentedExpression	An expression indented in a certain style
IndentedExpression.Builder	A fluent builder for IndentedExpression.
IndentStyle	Any of several indentation styles
IndentStyle.AllLines	Indent all lines with the given string
IndentStyle.PartialVisitor<R>	Partial visitor over IndentStyle with a default IndentStyle.PartialVisitor.otherwise(hydra.ast.IndentStyle) branch.
IndentStyle.SubsequentLines	Indent only lines after the first with the given string
IndentStyle.Visitor<R>	Visitor over IndentStyle.
Inference	Type inference for Hydra: Hindley-Milner with elaboration to System F.
InferenceContext	State threaded through type inference: the fresh type variable counter and the current subterm-path trace.
InferenceContext.Builder	A fluent builder for InferenceContext.
InferenceError	An error that occurred during type inference
InferenceError.Checking	A type checking error encountered during inference
InferenceError.Other	A generic inference error carrying a message and a subterm path.
InferenceError.PartialVisitor<R>	Partial visitor over InferenceError with a default InferenceError.PartialVisitor.otherwise(hydra.errors.InferenceError) branch.
InferenceError.Unification	A unification failure encountered while inferring types
InferenceError.Visitor<R>	Visitor over InferenceError.
InferenceResult	The result of applying inference rules to a term.
InferenceResult.Builder	A fluent builder for InferenceResult.
Init	Get all elements except the last, returning Nothing if the list is empty.
Injection	An instance of a union type; i.e.
Injection.Builder	A fluent builder for Injection.
Insert	Insert a key-value pair into a map.
Insert	Adds an element to a set.
Int16ToBigint	Primitive function which converts an int16 (16-bit signed integer) to a bigint (arbitrary-precision integer).
Int32ToBigint	Primitive function which converts an int32 (32-bit signed integer) to a bigint (arbitrary-precision integer).
Int64ToBigint	Primitive function which converts an int64 (64-bit signed integer) to a bigint (arbitrary-precision integer).
Int8ToBigint	Primitive function which converts an int8 (8-bit signed integer) to a bigint (arbitrary-precision integer).
IntegerType	An integer type
IntegerType.Bigint	An arbitrary-precision integer type
IntegerType.Int16	A 16-bit signed integer type
IntegerType.Int32	A 32-bit signed integer type
IntegerType.Int64	A 64-bit signed integer type
IntegerType.Int8	An 8-bit signed integer type
IntegerType.PartialVisitor<R>	Partial visitor over IntegerType with a default IntegerType.PartialVisitor.otherwise(hydra.core.IntegerType) branch.
IntegerType.Uint16	A 16-bit unsigned integer type
IntegerType.Uint32	A 32-bit unsigned integer type
IntegerType.Uint64	A 64-bit unsigned integer type
IntegerType.Uint8	An 8-bit unsigned integer type
IntegerType.Visitor<R>	Visitor over IntegerType.
IntegerValue	An integer literal value
IntegerValue.Bigint	An arbitrary-precision integer value
IntegerValue.Int16	A 16-bit signed integer value (short value)
IntegerValue.Int32	A 32-bit signed integer value (int value)
IntegerValue.Int64	A 64-bit signed integer value (long value)
IntegerValue.Int8	An 8-bit signed integer value
IntegerValue.PartialVisitor<R>	Partial visitor over IntegerValue with a default IntegerValue.PartialVisitor.otherwise(hydra.core.IntegerValue) branch.
IntegerValue.Uint16	A 16-bit unsigned integer value
IntegerValue.Uint32	A 32-bit unsigned integer value (unsigned int)
IntegerValue.Uint64	A 64-bit unsigned integer value (unsigned long)
IntegerValue.Uint8	An 8-bit unsigned integer value (byte)
IntegerValue.Visitor<R>	Visitor over IntegerValue.
IntegralDispatch	Runtime dispatch for the constraint-polymorphic ('integral') division/modulus/remainder/parity primitives (div/mod/rem/even/odd).
Intersection	Computes the intersection of two sets.
Intersperse	Inserts an element between list elements.
InvalidDefinitionNameError	A definition whose local name does not match the expected naming convention.
InvalidDefinitionNameError.Builder	A fluent builder for InvalidDefinitionNameError.
InvalidForallParameterNameError	A forall type parameter name that violates type variable naming conventions (optional)
InvalidForallParameterNameError.Builder	A fluent builder for InvalidForallParameterNameError.
InvalidLambdaParameterNameError	A lambda parameter name that violates naming conventions (optional)
InvalidLambdaParameterNameError.Builder	A fluent builder for InvalidLambdaParameterNameError.
InvalidLetBindingNameError	A let binding name that violates naming conventions (optional)
InvalidLetBindingNameError.Builder	A fluent builder for InvalidLetBindingNameError.
InvalidLiteralError	An error indicating that a literal value is invalid
InvalidLiteralError.PartialVisitor<R>	Partial visitor over InvalidLiteralError with a default InvalidLiteralError.PartialVisitor.otherwise(hydra.error.core.InvalidLiteralError) branch.
InvalidLiteralError.TypeMismatch	The literal's type does not match the expected literal type
InvalidLiteralError.Visitor<R>	Visitor over InvalidLiteralError.
InvalidModuleError	An error indicating that a module is invalid
InvalidModuleError.ConflictingVariantName	A union variant name that conflicts with another type definition when mapped to a target language
InvalidModuleError.DefinitionNotInModuleName	A definition whose name does not have the module's name as a prefix
InvalidModuleError.DefinitionsOutOfOrder	Two consecutive definitions in the definitions list that are not in alphabetical order
InvalidModuleError.DuplicateDefinitionName	Two or more definitions in the same module share the same name
InvalidModuleError.InvalidDefinitionName	A definition whose local name does not match the expected naming convention
InvalidModuleError.InvalidModuleNameConvention	A module whose name does not match the module-name naming convention
InvalidModuleError.MissingDocumentation	A top-level definition lacking a description annotation
InvalidModuleError.PartialVisitor<R>	Partial visitor over InvalidModuleError with a default InvalidModuleError.PartialVisitor.otherwise(hydra.error.packaging.InvalidModuleError) branch.
InvalidModuleError.Visitor<R>	Visitor over InvalidModuleError.
InvalidModuleNameConventionError	A module whose name does not match the dotted-lowercase naming convention.
InvalidModuleNameConventionError.Builder	A fluent builder for InvalidModuleNameConventionError.
InvalidPackageError	An error indicating that a package is invalid
InvalidPackageError.ConflictingModuleName	Two module names that conflict when mapped to a target language
InvalidPackageError.DuplicateModuleName	Two or more modules in the same package share the same name
InvalidPackageError.InvalidModule	A module within the package is invalid
InvalidPackageError.InvalidPackageName	A package whose name does not match the package-name naming convention
InvalidPackageError.PartialVisitor<R>	Partial visitor over InvalidPackageError with a default InvalidPackageError.PartialVisitor.otherwise(hydra.error.packaging.InvalidPackageError) branch.
InvalidPackageError.UndeclaredDependency	A module references a name owned by another module that is not among its declared dependencies
InvalidPackageError.Visitor<R>	Visitor over InvalidPackageError.
InvalidPackageNameError	A package whose name does not match the hyphen-separated lowercase naming convention.
InvalidPackageNameError.Builder	A fluent builder for InvalidPackageNameError.
InvalidTermError	An error indicating that a term is invalid
InvalidTermError.ConstantCondition	An ifElse with a literal boolean condition (optional)
InvalidTermError.DuplicateBinding	A duplicate binding name in a let expression
InvalidTermError.DuplicateField	A duplicate field name in a record or case statement
InvalidTermError.EmptyCaseStatement	A case statement with no cases and no default (optional)
InvalidTermError.EmptyLetBindings	A let expression with no bindings (optional)
InvalidTermError.EmptyTermAnnotation	A term annotation with an empty annotation map (optional)
InvalidTermError.EmptyTypeNameInTerm	A term with an empty type name (optional)
InvalidTermError.ExtraRecordFields	A record term supplying a field not declared by its record type
InvalidTermError.InvalidLambdaParameterName	A lambda parameter name violating naming conventions (optional)
InvalidTermError.InvalidLetBindingName	A let binding name violating naming conventions (optional)
InvalidTermError.InvalidTypeLambdaParameterName	A type lambda parameter name violating naming conventions (optional)
InvalidTermError.MissingCaseBranches	A case statement that does not cover every variant of the union it matches
InvalidTermError.MissingRecordFields	A record term omitting a field declared by its record type
InvalidTermError.NestedTermAnnotation	Nested term annotations that should be merged (optional)
InvalidTermError.NominalTypeKindMismatch	A nominal type reference resolving to a type of the wrong kind (e.g.
InvalidTermError.PartialVisitor<R>	Partial visitor over InvalidTermError with a default InvalidTermError.PartialVisitor.otherwise(hydra.error.core.InvalidTermError) branch.
InvalidTermError.RedundantWrapUnwrap	A no-op unwrap-of-wrap round-trip (optional)
InvalidTermError.SelfApplication	A variable applied to itself (optional)
InvalidTermError.TermVariableShadowing	A binding that shadows a variable already in scope (optional)
InvalidTermError.TypeVariableShadowingInTypeLambda	A type lambda parameter that shadows a type variable in scope (optional)
InvalidTermError.UndeclaredVariant	An injection naming a variant that is not declared by its union type
InvalidTermError.UndefinedTermVariable	A variable reference to an unbound term name
InvalidTermError.UndefinedTypeVariableInBindingType	An unbound type variable in a let binding's type scheme
InvalidTermError.UndefinedTypeVariableInLambdaDomain	An unbound type variable in a lambda domain annotation
InvalidTermError.UndefinedTypeVariableInTypeApplication	An unbound type variable in a type application term
InvalidTermError.UnknownCaseAlternative	A case statement alternative naming a field that does not exist in the union it matches
InvalidTermError.UnknownPrimitiveName	A reference to an unknown primitive function
InvalidTermError.UnknownProjectedField	A projection naming a field that is not declared by its record type
InvalidTermError.UnnecessaryIdentityApplication	An identity lambda applied to an argument (optional)
InvalidTermError.UnresolvedNominalType	A nominal type reference that does not resolve to any declared type in scope
InvalidTermError.UntypedTermVariable	A term variable whose type is not known
InvalidTermError.Visitor<R>	Visitor over InvalidTermError.
InvalidTypeError	An error indicating that a type is invalid
InvalidTypeError.DuplicateRecordTypeFieldNames	A record type with duplicate field names
InvalidTypeError.DuplicateUnionTypeFieldNames	A union type with duplicate field names
InvalidTypeError.EmptyRecordType	A record type with no fields (optional)
InvalidTypeError.EmptyTypeAnnotation	A type annotation with an empty annotation map (optional)
InvalidTypeError.EmptyUnionType	A union type with no alternatives (optional)
InvalidTypeError.InvalidForallParameterName	A forall parameter name violating naming conventions (optional)
InvalidTypeError.InvalidTypeSchemeVariableName	A type scheme variable name violating naming conventions (optional)
InvalidTypeError.NestedTypeAnnotation	Nested type annotations that should be merged (optional)
InvalidTypeError.NonComparableMapKeyType	A map with a non-comparable key type
InvalidTypeError.NonComparableSetElementType	A set with a non-comparable element type
InvalidTypeError.PartialVisitor<R>	Partial visitor over InvalidTypeError with a default InvalidTypeError.PartialVisitor.otherwise(hydra.error.core.InvalidTypeError) branch.
InvalidTypeError.SingleVariantUnion	A union type with only one variant (optional)
InvalidTypeError.TypeVariableShadowingInForall	A forall parameter that shadows a type variable in scope (optional)
InvalidTypeError.UndefinedTypeVariable	A type variable reference to an unbound name
InvalidTypeError.Visitor<R>	Visitor over InvalidTypeError.
InvalidTypeError.VoidInNonBottomPosition	TypeVoid in a position where no value can be constructed (optional)
InvalidTypeLambdaParameterNameError	A type lambda parameter name that violates naming conventions (optional)
InvalidTypeLambdaParameterNameError.Builder	A fluent builder for InvalidTypeLambdaParameterNameError.
InvalidTypeSchemeVariableNameError	A type scheme variable name that violates type variable naming conventions (optional)
InvalidTypeSchemeVariableNameError.Builder	A fluent builder for InvalidTypeSchemeVariableNameError.
IsAlphaNum	Determines whether a character is alphanumeric (a letter or digit).
IsEmpty	Checks if a list is empty.
IsEmpty	Checks if a map is empty.
IsEmpty	Checks if a set is empty.
IsEmpty	Determines whether a string is empty.
IsGiven	Checks if value is Just.
IsLeft	Check if an Either value is a Left.
IsLower	Determines whether a character is lowercase.
IsNone	Checks if value is Nothing.
IsRight	Check if an Either value is a Right.
IsSpace	Determines whether a character is whitespace.
IsUpper	Determines whether a character is uppercase.
Join	Joins lists with a separator.
Join	Joins a list of strings with a delimiter string.
Json	DSL functions for hydra.extract.json
Json	Utilities for extracting values from JSON objects
JsonDecoding	Decoding functions for Hydra's native JSON values which are intended for use in Java.
JsonDecoding.JsonDecodingException	Exception thrown when JSON decoding fails.
JsonEncoding	Encoding functions for Hydra's native JSON values.
JsonEncoding.ObjectBuilder	Builder class for constructing JSON objects.
Keys	Returns all keys.
Lambda	A function abstraction (lambda)
Lambda.Builder	A fluent builder for Lambda.
Language	A named language together with its grammar constraints, capability profile, naming conventions, and conventional file extension
Language.Builder	A fluent builder for Language.
LanguageConstraints	A set of constraints on valid type and term expressions, characterizing a language
LanguageConstraints.Builder	A fluent builder for LanguageConstraints.
LanguageFeature	A target-language or target-runtime capability the coder may rely on.
LanguageFeature.NestedCaseStatements	The target runtime can handle deeply nested case statements without stack issues.
LanguageFeature.NestedPolymorphicLetBindings	The target language permits polymorphic let-bindings in expression position.
LanguageFeature.PartialApplication	The target runtime can invoke an n-ary function with fewer than n arguments without error.
LanguageFeature.PartialVisitor<R>	Partial visitor over LanguageFeature with a default LanguageFeature.PartialVisitor.otherwise(hydra.coders.LanguageFeature) branch.
LanguageFeature.Visitor<R>	Visitor over LanguageFeature.
LanguageName	The unique name of a language
LanguageName.Builder	A fluent builder for LanguageName.
Languages	Language constraints for Hydra Core
Last	Get the last element of a list, returning Nothing if the list is empty.
Lazy<T>	A memoizing supplier that evaluates its value at most once.
Left	Construct a Left (error/exceptional) Either value.
Lefts	Extract all Left values from a list of Eithers.
Length	Returns the length of a list.
Length	Returns the length of a string.
Let	A set of (possibly recursive) 'let' bindings together with a body in which they are bound
Let.Builder	A fluent builder for Let.
Lexical	DSL functions for hydra.lexical
Lexical	A module for lexical operations over graphs.
Libraries	A registry of all of the primitive functions available in Hydra-Java.
Library	A library of primitive functions
Library.Builder	A fluent builder for Library.
LifecycleInfo	Version-lifecycle milestones for a packaging entity.
LifecycleInfo.Builder	A fluent builder for LifecycleInfo.
ListDirectory	List the immediate entries of a directory.
Lists	DSL functions for hydra.lib.lists
Lists	Primitives in the hydra.lib.lists module.
Literal	A term constant; an instance of a literal type
Literal.Binary	A binary literal
Literal.Boolean_	A boolean literal
Literal.Decimal	An arbitrary-precision decimal literal
Literal.Float_	A floating-point literal
Literal.Integer_	An integer literal
Literal.PartialVisitor<R>	Partial visitor over Literal with a default Literal.PartialVisitor.otherwise(hydra.core.Literal) branch.
Literal.String_	A string literal
Literal.Visitor<R>	Visitor over Literal.
Literals	DSL functions for hydra.lib.literals
Literals	Primitives in the hydra.lib.literals module.
Literals	Conversion functions for literal values.
Literals	DSL functions for working with literal values.
LiteralType	Any of a fixed set of literal types, also called atomic types, base types, primitive types, or type constants
LiteralType.Binary	The type of a binary (byte string) value
LiteralType.Boolean_	The type of a boolean (true/false) value
LiteralType.Decimal	The type of an arbitrary-precision decimal value
LiteralType.Float_	The type of a floating-point value
LiteralType.Integer_	The type of an integer value
LiteralType.PartialVisitor<R>	Partial visitor over LiteralType with a default LiteralType.PartialVisitor.otherwise(hydra.core.LiteralType) branch.
LiteralType.String_	The type of a string value
LiteralType.Visitor<R>	Visitor over LiteralType.
LiteralTypeMismatchError	A mismatch between an expected literal type and the type of an actual literal value
LiteralTypeMismatchError.Builder	A fluent builder for LiteralTypeMismatchError.
LiteralTypes	DSL utilities for working with literal types.
LiteralVariant	The identifier of a literal constructor
LiteralVariant.Binary
LiteralVariant.Boolean_
LiteralVariant.Decimal
LiteralVariant.Float_
LiteralVariant.Integer_
LiteralVariant.PartialVisitor<R>	Partial visitor over LiteralVariant with a default LiteralVariant.PartialVisitor.otherwise(hydra.variants.LiteralVariant) branch.
LiteralVariant.String_
LiteralVariant.Visitor<R>	Visitor over LiteralVariant.
LList<X>	A simple tail-sharing linked list.
Log	Computes the natural logarithm.
LogBase	Computes the logarithm with a specified base.
Logic	DSL functions for hydra.lib.logic
Logic	Primitives in the hydra.lib.logic module.
Lookup	Looks up a value by key.
Lt	Tests if the first value is less than the second.
Lte	Tests if the first value is less than or equal to the second.
Map	Map a pure function over the result of an effect.
Map	Map a function over the Right side of an Either value.
Map	Applies a function to each element of a list, returning a new list of results.
Map	Maps a function over a flow.
Map	Map a function over an optional value.
Map	Maps a function over all elements in a set.
MapKeys	Maps a flow function over map keys.
MapList	Map an effect-returning function over a list.
MapList	Map a function that may fail over a list, collecting results or returning the first error.
MapOptional	Map an effect-returning function over an optional.
MapOptional	Map a function that may fail over a Optional, collecting results or returning the first error.
MapOptional	Maps a flow function over Optional.
MapperBase	A base class for simple functional mappers with exceptions (specific to Java).
MapperBase.MapperException	Exception thrown by mapper operations when invalid data is encountered.
Maps	DSL functions for hydra.lib.maps
Maps	Primitives in the hydra.lib.maps module.
MapSet	Map a function that may fail over a set, collecting results or returning the first error.
MapType	A map type
MapType.Builder	A fluent builder for MapType.
Match	Pattern matches on Optional.
Matches	Checks whether an entire string matches a regex pattern.
Math_	DSL functions for hydra.lib.math
Math_	Primitives in the hydra.lib.math module.
Max	Returns the maximum of two values.
Member	Checks if an element is in a list.
Member	Checks if an element is in a set.
Member	Checks if an element is in a set.
Min	Returns the minimum of two values.
MissingCaseBranchesError	A case statement without a default branch that fails to cover every variant of the union it matches
MissingCaseBranchesError.Builder	A fluent builder for MissingCaseBranchesError.
MissingDocumentationError	A top-level definition whose term (or type, for type definitions) lacks a description annotation.
MissingDocumentationError.Builder	A fluent builder for MissingDocumentationError.
MissingRecordFieldsError	A record term omitting a field declared by its record type
MissingRecordFieldsError.Builder	A fluent builder for MissingRecordFieldsError.
Mod	Compute the modulo of two integers, returning Nothing if the divisor is zero.
Model	Term decoders for hydra.json.model
Model	Term decoders for hydra.yaml.model
Model	DSL functions for hydra.json.model
Model	DSL functions for hydra.yaml.model
Model	Term encoders for hydra.json.model
Model	Term encoders for hydra.yaml.model
Module	A logical collection of elements sharing a common module name, having dependencies on zero or more other modules
Module.Builder	A fluent builder for Module.
ModuleDependency	A dependency on another module, identified by its name and (optionally) the package which provides it.
ModuleDependency.Builder	A fluent builder for ModuleDependency.
ModuleName	The unique name of a module; a prefix for the names of elements defined in the module.
ModuleName.Builder	A fluent builder for ModuleName.
ModuleNames<N>	A mapping from module names to values of type n, with a focus on one module name
ModuleNames.Builder<N>	A fluent builder for ModuleNames.
Mul	Performs multiplication on two numbers.
MulFloat64	Performs multiplication on two float64 numbers.
MultipleBindingsError	Multiple let bindings with the same name were found
MultipleBindingsError.Builder	A fluent builder for MultipleBindingsError.
MultipleFieldsError	Multiple fields with the same name were found in a record
MultipleFieldsError.Builder	A fluent builder for MultipleFieldsError.
Name	A unique identifier in some context; a string-valued key
Name.Builder	A fluent builder for Name.
Names	DSL functions for hydra.names
Names	Functions for working with qualified names.
Negate	Negates a number.
NegateFloat64	Negates a float64 number.
NestedTermAnnotationError	A term annotation directly wrapping another term annotation; annotations should be merged (optional)
NestedTermAnnotationError.Builder	A fluent builder for NestedTermAnnotationError.
NestedTypeAnnotationError	A type annotation directly wrapping another type annotation; annotations should be merged (optional)
NestedTypeAnnotationError.Builder	A fluent builder for NestedTypeAnnotationError.
Node	A node in a query expression; it may be a term, a variable, or a wildcard
Node	A YAML node (value)
Node.Mapping	A mapping from nodes to nodes
Node.PartialVisitor<R>	Partial visitor over Node with a default Node.PartialVisitor.otherwise(hydra.query.Node) branch.
Node.PartialVisitor<R>	Partial visitor over Node with a default Node.PartialVisitor.otherwise(hydra.yaml.model.Node) branch.
Node.Scalar	A scalar value
Node.Sequence	A sequence of nodes
Node.Term	A graph term; an expression which is valid in the graph being matched
Node.Variable	A query variable, not to be confused with a variable term
Node.Visitor<R>	Visitor over Node.
Node.Visitor<R>	Visitor over Node.
Node.Wildcard	An anonymous variable which we do not care to join across patterns
NoMatchingFieldError	No field with the expected name was present
NoMatchingFieldError.Builder	A fluent builder for NoMatchingFieldError.
NominalTypeKindMismatchError	A nominal type reference in a term (inject, cases, record, project, wrap, or unwrap) resolving to a declared type of the wrong kind, e.g.
NominalTypeKindMismatchError.Builder	A fluent builder for NominalTypeKindMismatchError.
NonComparableMapKeyTypeError	A map type whose key type is or directly contains a function type, which cannot be compared for equality
NonComparableMapKeyTypeError.Builder	A fluent builder for NonComparableMapKeyTypeError.
NonComparableSetElementTypeError	A set type whose element type is or directly contains a function type, which cannot be compared for equality
NonComparableSetElementTypeError.Builder	A fluent builder for NonComparableSetElementTypeError.
NoSuchBindingError	No let binding with the expected name was present
NoSuchBindingError.Builder	A fluent builder for NoSuchBindingError.
NoSuchPrimitiveError	No primitive function with the expected name was registered in the graph
NoSuchPrimitiveError.Builder	A fluent builder for NoSuchPrimitiveError.
Not	Performs logical negation on a boolean value.
NotAForallTypeError	A type that is not a forall type when type arguments are being applied
NotAForallTypeError.Builder	A fluent builder for NotAForallTypeError.
NotAFunctionTypeError	A type that is not a function type when one was expected in an application
NotAFunctionTypeError.Builder	A fluent builder for NotAFunctionTypeError.
NumericDispatch	Runtime dispatch for the constraint-polymorphic ('numeric') arithmetic primitives (add/sub/mul/negate).
NumericDispatch.BinaryOp	A binary operation defined uniformly over the integer and float representation domains.
NumericDispatch.UnaryOp	A unary operation defined uniformly over the integer and float representation domains.
Odd	Determines whether an integer is odd.
Op	An operator symbol
Op.Builder	A fluent builder for Op.
OpExpr	An operator expression
OpExpr.Builder	A fluent builder for OpExpr.
Optional<T>	A Hydra binary labeled union type, similar to java.util.Optional.
Optionals	DSL functions for hydra.lib.optionals
Optionals	Primitives in the hydra.lib.optionals module.
Or	Performs logical OR on two boolean values.
Ordering	DSL functions for hydra.lib.ordering
Ordering	Primitives in the hydra.lib.ordering module.
OrderingIsomorphism<A>	A pair of inverse permutations on lists, used to relate two orderings of the same elements
OrderingIsomorphism.Builder<A>	A fluent builder for OrderingIsomorphism.
OtherCheckingError	A generic checking error: message + subterm path
OtherCheckingError.Builder	A fluent builder for OtherCheckingError.
OtherError	Any other error
OtherError.Builder	A fluent builder for OtherError.
OtherInferenceError	A generic inference error: message + subterm path
OtherInferenceError.Builder	A fluent builder for OtherInferenceError.
OtherResolutionError	A generic resolution error: message
OtherResolutionError.Builder	A fluent builder for OtherResolutionError.
Package_	A package, which is a named collection of modules with metadata and dependencies
Package_.Builder	A fluent builder for Package_.
PackageDependency	A dependency on another package, identified by name and constrained by an optional version specifier
PackageDependency.Builder	A fluent builder for PackageDependency.
PackageName	The unique name of a package, e.g.
PackageName.Builder	A fluent builder for PackageName.
Packaging	Term decoders for hydra.error.packaging
Packaging	Term decoders for hydra.packaging
Packaging	DSL functions for hydra.error.packaging
Packaging	DSL functions for hydra.packaging
Packaging	Term encoders for hydra.error.packaging
Packaging	Term encoders for hydra.packaging
Packaging	String representations of hydra.error.packaging types
Packaging	Validation functions for modules and packages
Padding	Left and right padding for an operator
Padding.Builder	A fluent builder for Padding.
Pair	Construct a pair from two values.
Pair<A,B>	A simple class for pairs in Java.
Pairs	DSL functions for hydra.lib.pairs
Pairs	Primitives in the hydra.lib.pairs module.
PairType	A type which pairs a 'first' type and a 'second' type
PairType.Builder	A fluent builder for PairType.
Parameter	A named, typed parameter of a term, with optional human-readable description and a flag indicating whether the parameter requires lazy evaluation by hosts which support it.
Parameter.Builder	A fluent builder for Parameter.
ParseBigint	Primitive function which parses a string into a bigint (arbitrary precision integer).
ParseBoolean	Primitive function which parses a string into a boolean.
ParseDecimal	Primitive function which parses a string into a decimal (arbitrary-precision exact decimal).
ParseError	An error which occurred while parsing
ParseError.Builder	A fluent builder for ParseError.
ParseFloat32	Primitive function which parses a string into a float32 (32-bit floating-point).
ParseFloat64	Primitive function which parses a string into a float64 (64-bit floating-point).
ParseInt16	Primitive function which parses a string into an int16 (16-bit signed integer).
ParseInt32	Primitive function which parses a string into an int32 (32-bit signed integer).
ParseInt64	Primitive function which parses a string into an int64 (64-bit signed integer).
ParseInt8	Primitive function which parses a string into an int8 (8-bit signed integer).
Parser	DSL functions for hydra.json.parser
Parser	JSON parser using Hydra parser combinators
Parser<A>	A parser which consumes characters from a codepoint list and produces a value.
Parser.Builder<A>	A fluent builder for Parser.
ParseResult<A>	The result of a parse operation
ParseResult.Failure<A>	A failed parse, with an error message and the remaining input
ParseResult.PartialVisitor<A,R>	Partial visitor over ParseResult with a default ParseResult.PartialVisitor.otherwise(hydra.parsing.ParseResult<A>) branch.
ParseResult.Success<A>	A successful parse, with a value and the remaining unparsed input
ParseResult.Visitor<A,R>	Visitor over ParseResult.
Parsers	General-purpose parser combinators, operating on a Parser type.
ParseString	Primitive function which parses a string literal representation into a string value.
ParseSuccess<A>	A successful parse result
ParseSuccess.Builder<A>	A fluent builder for ParseSuccess.
ParseUint16	Primitive function which parses a string into a uint16 (16-bit unsigned integer).
ParseUint32	Primitive function which parses a string into a uint32 (32-bit unsigned integer).
ParseUint64	Primitive function which parses a string into a uint64 (64-bit unsigned integer).
ParseUint8	Primitive function which parses a string into a uint8 (8-bit unsigned integer).
Parsing	Term decoders for hydra.parsing
Parsing	DSL functions for hydra.parsing
Parsing	Term encoders for hydra.parsing
Partition	Partition a list of Eithers into separate lists of Left and Right values.
Partition	Partitions a list based on a predicate.
Path	A query path
Path.Inverse	A path given by the inverse of another path
Path.PartialVisitor<R>	Partial visitor over Path with a default Path.PartialVisitor.otherwise(hydra.query.Path) branch.
Path.Regex	A path given by a regular expression quantifier applied to another path
Path.Step	A path given by a single step
Path.Visitor<R>	Visitor over Path.
PathEquation	A declared equivalence between two abstract paths in a graph
PathEquation.Builder	A fluent builder for PathEquation.
Paths	Term decoders for hydra.paths
Paths	DSL functions for hydra.paths
Paths	Term encoders for hydra.paths
Paths	Serialization (printing and parsing) of subterm and subtype steps and paths.
Pattern	A query pattern
Pattern.Conjunction	The conjunction ('and') of several other patterns
Pattern.Disjunction	The disjunction (inclusive 'or') of several other patterns
Pattern.Graph	A pattern which matches within a named subgraph
Pattern.Negation	The negation of another pattern
Pattern.PartialVisitor<R>	Partial visitor over Pattern with a default Pattern.PartialVisitor.otherwise(hydra.query.Pattern) branch.
Pattern.Triple	A subject/predicate/object pattern
Pattern.Visitor<R>	Visitor over Pattern.
PatternImplication	A pattern which, if it matches in a given graph, implies that another pattern must also match.
PatternImplication.Builder	A fluent builder for PatternImplication.
PersistentMap<K,V>	A persistent (immutable, structurally-shared) ordered map based on a red-black tree.
PersistentSet<T>	A persistent (immutable, structurally-shared) ordered set based on PersistentMap.
Phantoms	Term-level phantom-typed DSL.
Pi	Returns the mathematical constant pi.
Pow	Raises a number to a power.
Precedence	Operator precedence
Precedence.Builder	A fluent builder for Precedence.
Precision	Numeric precision: arbitrary precision, or precision to a specified number of bits
Precision.Arbitrary	Arbitrary precision
Precision.Bits	Precision to a specified number of bits
Precision.PartialVisitor<R>	Partial visitor over Precision with a default Precision.PartialVisitor.otherwise(hydra.util.Precision) branch.
Precision.Visitor<R>	Visitor over Precision.
Predicates	DSL functions for hydra.predicates
Predicates	Type and term classification predicates
PrettyPrinter	A temporary pretty-printer for terms, for the sake of tests and debugging.
PrimaryKey	A primary key of a relation, specified either as a single column, or as a list of columns
PrimaryKey.Builder	A fluent builder for PrimaryKey.
Primitive	A built-in function or constant, consisting of the host-independent PrimitiveDefinition (name, signature, metadata) plus a host-specific implementation.
Primitive.Builder	A fluent builder for Primitive.
PrimitiveDefinition	A primitive definition: the universal, host-independent declarative metadata for a primitive, including name, signature, documentation and lifecycle metadata, totality and purity flags, and an optional default implementation expressed as a Hydra term.
PrimitiveDefinition.Builder	A fluent builder for PrimitiveDefinition.
PrimitiveFunction	Any of Hydra's primitive functions, implemented in Java.
PrimitiveType<T>	A wrapper for a type which can be used as the basis of equality and comparison primitives.
PrintBigint	Primitive function which converts a bigint (arbitrary-precision integer) to its string representation.
PrintBoolean	Primitive function which converts a boolean to its string representation.
PrintDecimal	Primitive function which converts a decimal (arbitrary-precision exact decimal) to its string representation.
PrintFloat32	Primitive function which converts a float32 (32-bit floating-point) to its string representation.
PrintFloat64	Primitive function which converts a float64 (64-bit floating-point) to its string representation.
PrintInt16	Primitive function which converts an int16 (16-bit signed integer) to its string representation.
PrintInt32	Primitive function which converts an int32 (32-bit signed integer) to its string representation.
PrintInt64	Primitive function which converts an int64 (64-bit signed integer) to its string representation.
PrintInt8	Primitive function which converts an int8 (8-bit signed integer) to its string representation.
PrintString	Primitive function which converts a string to its quoted string literal representation.
PrintUint16	Primitive function which converts a uint16 (16-bit unsigned integer) to its string representation.
PrintUint32	Primitive function which converts a uint32 (32-bit unsigned integer) to its string representation.
PrintUint64	Primitive function which converts a uint64 (64-bit unsigned integer) to its string representation.
PrintUint8	Primitive function which converts a uint8 (8-bit unsigned integer) to its string representation.
ProcessResult	The outcome of a child process that ran to completion, as obtained by wait() / waitpid() (XSH, https://pubs.opengroup.org/onlinepubs/9799919799/functions/wait.html) together with its captured output.
ProcessResult.Builder	A fluent builder for ProcessResult.
Projection	A record elimination; a projection
Projection.Builder	A fluent builder for Projection.
Pure	Lift a pure value into an effect.
QualifiedName	A qualified name consisting of an optional module name together with a mandatory local name
QualifiedName.Builder	A fluent builder for QualifiedName.
Quantified	An atom together with an optional quantifier applied to it.
Quantified.Builder	A fluent builder for Quantified.
Quantifier	A regular-expression quantifier.
Quantifier.AtLeast	The {n,} quantifier; matches at least n occurrences.
Quantifier.Exactly	The {n} quantifier; matches exactly n occurrences.
Quantifier.One	No quantifier; matches exactly one occurrence.
Quantifier.OneOrMore	The + quantifier; matches one or more occurrences.
Quantifier.PartialVisitor<R>	Partial visitor over Quantifier with a default Quantifier.PartialVisitor.otherwise(hydra.regex.Quantifier) branch.
Quantifier.Range	The {n,m} quantifier; matches between n and m (inclusive) occurrences.
Quantifier.Visitor<R>	Visitor over Quantifier.
Quantifier.ZeroOrMore	The * quantifier; matches zero or more occurrences.
Quantifier.ZeroOrOne	The ? quantifier; matches zero or one occurrence.
QuantifierRange	The bounds of a {n,m} quantifier: between min and max (inclusive) occurrences.
QuantifierRange.Builder	A fluent builder for QuantifierRange.
Query	Term decoders for hydra.query
Query	DSL functions for hydra.query
Query	Term encoders for hydra.query
Query	A SELECT-style graph pattern matching query
Query.Builder	A fluent builder for Query.
Range	Generates a half-open range of integers, [start, end).
Range	A range from min to max, inclusive
Range.Builder	A fluent builder for Range.
ReadFile	Read the complete contents of a file as raw bytes.
ReadStdin	Read the complete contents of standard input as raw bytes.
ReadSymlink	Read the target of a symbolic link.
Record	A record, or labeled tuple; a map of field names to terms
Record.Builder	A fluent builder for Record.
Reduction	DSL functions for hydra.reduction
Reduction	Functions for reducing terms and types, i.e.
RedundantWrapUnwrapError	An unwrap elimination applied to a wrap term of the same type, forming a no-op round-trip (optional)
RedundantWrapUnwrapError.Builder	A fluent builder for RedundantWrapUnwrapError.
Reflect	Reflection functions for working with term, type, and literal type variants, as well as numeric precision.
Refs	DSL functions for hydra.refs
Refs	Typed references to derived encode/decode/show functions, and structural coder builders
Regex	Term decoders for hydra.regex
Regex	DSL functions for hydra.lib.regex
Regex	DSL functions for hydra.regex
Regex	Term encoders for hydra.regex
Regex	Primitives in the hydra.lib.regex module.
Regex	Parser for Hydra's translingual regular-expression syntax (docs/specification/regex.md): text -> hydra.regex AST.
Regex	Per-dialect printer rendering the hydra.regex AST into GNU Emacs regexp syntax.
Regex	Per-dialect printer rendering the hydra.regex AST into the PCRE / java.util.regex / ECMA family syntax (Java, Scala, Clojure, Python, Common Lisp, TypeScript).
Regex	Per-dialect printer rendering the hydra.regex AST into POSIX ERE syntax (Haskell Text.Regex.TDFA, Scheme Guile (ice-9 regex)).
Regex	Canonical printer for Hydra's translingual regular-expression syntax (docs/specification/regex.md): hydra.regex AST -> canonical text.
RegexQuantifier	A regular expression quantifier
RegexQuantifier.AtLeast	The {n,} quantifier; matches at least n occurrences
RegexQuantifier.Exactly	The {n} quantifier; matches exactly n occurrences
RegexQuantifier.One	No quantifier; matches a single occurrence
RegexQuantifier.OneOrMore	The + quantifier; matches one or more occurrences
RegexQuantifier.PartialVisitor<R>	Partial visitor over RegexQuantifier with a default RegexQuantifier.PartialVisitor.otherwise(hydra.query.RegexQuantifier) branch.
RegexQuantifier.Range	The {n, m} quantifier; matches between n and m (inclusive) occurrences
RegexQuantifier.Visitor<R>	Visitor over RegexQuantifier.
RegexQuantifier.ZeroOrMore	The * quantifier; matches any number of occurrences
RegexQuantifier.ZeroOrOne	The ? quanifier; matches zero or one occurrence
RegexSequence	A path with a regex quantifier
RegexSequence.Builder	A fluent builder for RegexSequence.
Relation<V>	A set of distinct n-tuples; a table
Relation.Builder<V>	A fluent builder for Relation.
Relational	Term decoders for hydra.relational
Relational	DSL functions for hydra.relational
Relational	Term encoders for hydra.relational
RelationName	A unique relation (table) name
RelationName.Builder	A fluent builder for RelationName.
RelationSchema<T>	An abstract relation; the name and columns of a relation without its actual data
RelationSchema.Builder<T>	A fluent builder for RelationSchema.
Relationship<V>	A domain-unordered (string-indexed, rather than position-indexed) relation
Relationship.Builder<V>	A fluent builder for Relationship.
Rem	Compute the remainder of integer division, returning Nothing if the divisor is zero.
RemoveDirectory	Remove a directory.
RemoveFile	Remove a file.
Rename	Rename or move a file or directory.
Replace	Replaces the first occurrence of a regex pattern with a replacement string.
ReplaceAll	Replaces all non-overlapping occurrences of a regex pattern with a replacement string.
Replicate	Creates a list of n copies.
Resolution	DSL functions for hydra.resolution
Resolution	Type dereference, lookup, requirements, and instantiation
ResolutionError	An error that occurred while resolving a name, primitive, or record/union shape in a graph
ResolutionError.NoMatchingField	No field with the expected name was present in a record or case statement
ResolutionError.NoSuchBinding	No binding with the expected name was found in the graph
ResolutionError.NoSuchPrimitive	No primitive function with the expected name was found in the graph
ResolutionError.Other	A generic resolution error carrying a message
ResolutionError.PartialVisitor<R>	Partial visitor over ResolutionError with a default ResolutionError.PartialVisitor.otherwise(hydra.errors.ResolutionError) branch.
ResolutionError.UnexpectedShape	A term had a shape other than the one expected (e.g.
ResolutionError.Visitor<R>	Visitor over ResolutionError.
Result	The result of a term, consisting of a type and an optional human-readable description.
Result.Builder	A fluent builder for Result.
Reverse	Reverses a list.
Rewriting	DSL functions for hydra.rewriting
Rewriting	Core rewrite and fold combinators for terms and types
Right	Construct a Right (success/normal) Either value.
Rights	Extract all Right values from a list of Eithers.
Round	Rounds to the nearest integer (banker's rounding), returned as a float.
RoundFloat32	Rounds a float32 to n significant digits.
RoundFloat64	Rounds a float64 to n significant digits.
Row<V>	An n-tuple which is an element of a given relation
Row.Builder<V>	A fluent builder for Row.
Scalar	A union of scalars supported in the YAML failsafe and JSON schemas.
Scalar.Bool	Represents a true/false value
Scalar.Decimal	An arbitrary-precision decimal number (lexically a valid JSON number)
Scalar.Float_	Represents an approximation to real numbers
Scalar.Int	Represents arbitrary sized finite mathematical integers
Scalar.Null	Represents the lack of a value
Scalar.PartialVisitor<R>	Partial visitor over Scalar with a default Scalar.PartialVisitor.otherwise(hydra.yaml.model.Scalar) branch.
Scalar.Str	A string value
Scalar.Visitor<R>	Visitor over Scalar.
Scoping	DSL functions for hydra.scoping
Scoping	Graph context extension and type scheme conversion
Second	Extracts the second element of a pair.
SelfApplicationError	A variable applied to itself, which is almost always a mistake in Hydra's type system (optional)
SelfApplicationError.Builder	A fluent builder for SelfApplicationError.
SeqExpr	A sequence of expressions joined by a separator operator.
SeqExpr.Builder	A fluent builder for SeqExpr.
Serialization	DSL functions for hydra.serialization
Serialization	Utilities for constructing generic program code ASTs, used for the serialization phase of source code generation.
Sets	DSL functions for hydra.lib.sets
Sets	Primitives in the hydra.lib.sets module.
Sha256	Compute the SHA-256 digest of a sequence of bytes.
Sha256Hex	Compute the SHA-256 digest of a sequence of bytes as a lowercase hex string.
Shredding	Shredding: the total, injective decomposition of a typed graph's bindings into flat, path-addressed links (edges, properties, attributes) — the link view of a graph.
Signum	Returns the sign of a number.
Sin	Computes the sine of an angle.
Singleton	Creates a singleton list.
Singleton	Creates a singleton list.
Singleton	Creates a singleton set containing a single element.
SingleVariantUnionError	A union type with exactly one field; could be a wrapped type or record instead (optional)
SingleVariantUnionError.Builder	A fluent builder for SingleVariantUnionError.
Sinh	Computes the hyperbolic sine.
Size	Returns the number of entries.
Size	Returns the number of elements in a set.
Sort	Sorts a list.
SortBy	Sorts a list by a key function.
Sorting	DSL functions for hydra.sorting
Sorting	Utilities for sorting.
Span	Splits a list at the first element not matching a predicate.
Split	Splits a string by a regex pattern.
SplitOn	Splits a string on a given delimiter.
Sqrt	Computes the square root.
StatelessAdapter<T1,T2,V1,V2>	A convenience class for stateless adapters with String errors.
StatelessCoder<V1,V2>	A convenience class for stateless coders with String errors.
Status	Retrieve metadata about a file or directory.
StatusCode	A process exit status: the value passed to the POSIX exit() function and reported by wait() / waitpid() for a normally-terminated child (XSH; see https://pubs.opengroup.org/onlinepubs/9799919799/functions/exit.html and https://pubs.opengroup.org/onlinepubs/9799919799/functions/wait.html).
StatusCode.Builder	A fluent builder for StatusCode.
Step	An atomic function as part of a query.
Step.Compare	A comparison of two terms
Step.Edge	An out-to-in traversal of an abstract edge
Step.PartialVisitor<R>	Partial visitor over Step with a default Step.PartialVisitor.otherwise(hydra.query.Step) branch.
Step.Project	A projection from a record through one of its fields
Step.Visitor<R>	Visitor over Step.
Strings	DSL functions for hydra.lib.strings
Strings	Primitives in the hydra.lib.strings module.
Strip	DSL functions for hydra.strip
Strip	Annotation and type stripping and normalization
Sub	Performs subtraction on two numbers.
SubFloat64	Performs subtraction on two float64 numbers.
Substitution	Variable substitution in type and term expressions.
SubtermAttribute	A link from a node to a non-term attribute of a position
SubtermAttribute.Builder	A fluent builder for SubtermAttribute.
SubtermEdge	A link from a node to another binding of the graph, addressed by the path at which it occurs
SubtermEdge.Builder	A fluent builder for SubtermEdge.
SubtermGraph	The link view of a graph as subterm nodes and their links
SubtermGraph.Builder	A fluent builder for SubtermGraph.
SubtermLink	An outgoing link of a subterm node: an edge, a property, or an attribute
SubtermLink.Attribute	A non-term attribute of a position
SubtermLink.Edge	A reference to another binding of the graph
SubtermLink.PartialVisitor<R>	Partial visitor over SubtermLink with a default SubtermLink.PartialVisitor.otherwise(hydra.paths.SubtermLink) branch.
SubtermLink.Property	A leaf term
SubtermLink.Visitor<R>	Visitor over SubtermLink.
SubtermNode	A node in a subterm graph: a binding of the graph, with its type scheme and outgoing links
SubtermNode.Builder	A fluent builder for SubtermNode.
SubtermPath	A sequence of subterm steps forming a path through a term, root first
SubtermPath.Builder	A fluent builder for SubtermPath.
SubtermProperty	A link from a node to a leaf term (literal, unit, projection, unwrap, or an unbound variable)
SubtermProperty.Builder	A fluent builder for SubtermProperty.
SubtermStep	A function which maps from a term to a particular immediate subterm
SubtermStep.AnnotatedAnnotation	Access the annotation of an annotated term
SubtermStep.AnnotatedBody	Access the body of an annotated term
SubtermStep.ApplicationArgument	Access the argument of an application term
SubtermStep.ApplicationFunction	Access the function of an application term
SubtermStep.CasesCase	Access the handler of a specific case of a case statement by field name
SubtermStep.CasesDefault	Access the default case of a case statement
SubtermStep.EitherLeft	Access the left term of an either value
SubtermStep.EitherRight	Access the right term of an either value
SubtermStep.InjectField	Access the injected term of a union injection by field name
SubtermStep.LambdaBody	Access the body of a lambda term
SubtermStep.LetBinding	Access a specific binding in a let term by variable name
SubtermStep.LetBody	Access the body of a let term
SubtermStep.ListElement	Access an element of a list by index
SubtermStep.MapKey	Access the key of the map entry at the given index
SubtermStep.MapValue	Access the value of the map entry at the given index
SubtermStep.OptionalGiven	Access the term inside a given (present) optional value
SubtermStep.PairFirst	Access the first term of a pair
SubtermStep.PairSecond	Access the second term of a pair
SubtermStep.PartialVisitor<R>	Partial visitor over SubtermStep with a default SubtermStep.PartialVisitor.otherwise(hydra.paths.SubtermStep) branch.
SubtermStep.RecordField	Access a field of a record by field name
SubtermStep.SetElement	Access an element of a set by index
SubtermStep.TypeApplicationBody	Access the body of a type application term
SubtermStep.TypeLambdaBody	Access the body of a type lambda term
SubtermStep.Visitor<R>	Visitor over SubtermStep.
SubtermStep.WrapBody	Access the body of a wrapped term
SubtypeAttribute	A link from a node to a non-type attribute of a position
SubtypeAttribute.Builder	A fluent builder for SubtypeAttribute.
SubtypeEdge	A link from a node to a named type, addressed by the path at which it occurs
SubtypeEdge.Builder	A fluent builder for SubtypeEdge.
SubtypeGraph	The link view of a schema as subtype nodes and their links
SubtypeGraph.Builder	A fluent builder for SubtypeGraph.
SubtypeLink	An outgoing link of a subtype node: an edge, a property, or an attribute
SubtypeLink.Attribute	A non-type attribute of a position
SubtypeLink.Edge	A reference to a named type
SubtypeLink.PartialVisitor<R>	Partial visitor over SubtypeLink with a default SubtypeLink.PartialVisitor.otherwise(hydra.paths.SubtypeLink) branch.
SubtypeLink.Property	A leaf type
SubtypeLink.Visitor<R>	Visitor over SubtypeLink.
SubtypeNode	A node in a subtype graph: a named type, with its outgoing links
SubtypeNode.Builder	A fluent builder for SubtypeNode.
SubtypePath	A sequence of subtype steps forming a path through a type, root first
SubtypePath.Builder	A fluent builder for SubtypePath.
SubtypeProperty	A link from a node to a leaf type (literal, unit, void, or a bound variable)
SubtypeProperty.Builder	A fluent builder for SubtypeProperty.
SubtypeStep	A function which maps from a type to a particular immediate subtype
SubtypeStep.AnnotatedBody	Access the body of an annotated type (the annotation is a term; there is no step for it)
SubtypeStep.ApplicationArgument	Access the argument of an application type
SubtypeStep.ApplicationFunction	Access the function of an application type
SubtypeStep.EffectValue	Access the value type of an effect type
SubtypeStep.EitherLeft	Access the left type of an either type
SubtypeStep.EitherRight	Access the right type of an either type
SubtypeStep.ForallBody	Access the body of a universally quantified type
SubtypeStep.FunctionCodomain	Access the codomain type of a function type
SubtypeStep.FunctionDomain	Access the domain type of a function type
SubtypeStep.ListElement	Access the element type of a list type
SubtypeStep.MapKeys	Access the key type of a map type
SubtypeStep.MapValues	Access the value type of a map type
SubtypeStep.OptionalElement	Access the element type of an optional type
SubtypeStep.PairFirst	Access the first type of a pair type
SubtypeStep.PairSecond	Access the second type of a pair type
SubtypeStep.PartialVisitor<R>	Partial visitor over SubtypeStep with a default SubtypeStep.PartialVisitor.otherwise(hydra.paths.SubtypeStep) branch.
SubtypeStep.RecordField	Access a field type of a record type by field name
SubtypeStep.SetElement	Access the element type of a set type
SubtypeStep.UnionField	Access a field type of a union type by field name
SubtypeStep.Visitor<R>	Visitor over SubtypeStep.
SubtypeStep.WrapBody	Access the body type of a wrapped type
Symbol	Any symbol
Symbol.Builder	A fluent builder for Symbol.
System_	Term decoders for hydra.error.system
System_	Term decoders for hydra.system
System_	DSL functions for hydra.error.system
System_	DSL functions for hydra.overlay.java.lib.system
System_	DSL functions for hydra.system
System_	Term encoders for hydra.error.system
System_	Term encoders for hydra.system
System_	Primitives in the hydra.lib.system module.
SystemError	A recoverable failure to launch a process or to perform a hydra.overlay.java.lib.system system call, named after the POSIX errno values the host reports.
SystemError.CommandNotFound	POSIX ENOENT: the executable named by Command.program does not exist or is not found on PATH.
SystemError.Interrupted	The call was interrupted before the child produced a result (a portable abstraction over POSIX EINTR and host-level kills); the child's disposition is unknown
SystemError.InvalidWorkingDirectory	POSIX ENOENT or ENOTDIR raised by the implied chdir() to Command.workingDirectory
SystemError.Other	Any other failure, carrying the host-provided error message verbatim (covers errno values not modeled above, such as EMFILE, ENOMEM, or E2BIG)
SystemError.PartialVisitor<R>	Partial visitor over SystemError with a default SystemError.PartialVisitor.otherwise(hydra.error.system.SystemError) branch.
SystemError.PermissionDenied	POSIX EACCES: the executable exists but is not executable, or a path component denies search permission
SystemError.Visitor<R>	Visitor over SystemError.
Table<V>	A simple table as in a CSV file, having an optional header row and any number of data rows
Table.Builder<V>	A fluent builder for Table.
TableType	A type definition for a table, including column names and types
TableType.Builder	A fluent builder for TableType.
Tabular	Term decoders for hydra.tabular
Tabular	DSL functions for hydra.tabular
Tabular	Term encoders for hydra.tabular
Tag	A tag for test cases
Tag.Builder	A fluent builder for Tag.
Tail	Get all elements except the first, returning Nothing if the list is empty.
Take	Takes the first n elements.
Tan	Computes the tangent of an angle.
Tanh	Computes the hyperbolic tangent.
TarjanState	State carried by Tarjan's strongly connected components algorithm during a depth-first traversal
TarjanState.Builder	A fluent builder for TarjanState.
Templates	A utility which instantiates a nonrecursive type with default values
Term	A data term
Term.Annotated	A term annotated with metadata
Term.Application	A function application
Term.Cases	A union elimination; a case statement
Term.Either	An either value
Term.Inject	An injection; an instance of a union type
Term.Lambda	A function abstraction (lambda)
Term.Let	A 'let' term, which binds variables to terms
Term.List	A list
Term.Literal	A literal value
Term.Map	A map of keys to values
Term.Optional	An optional value
Term.Pair	A pair (2-tuple)
Term.PartialVisitor<R>	Partial visitor over Term with a default Term.PartialVisitor.otherwise(hydra.core.Term) branch.
Term.Project	A record elimination; a projection
Term.Record	A record term
Term.Set	A set of values
Term.TypeApplication	A System F type application term
Term.TypeLambda	A System F type abstraction term
Term.Unit	A unit value; a term with no value
Term.Unwrap	An unwrap elimination; the inverse of a wrap.
Term.Variable	A variable reference
Term.Visitor<R>	Visitor over Term.
Term.Wrap	A wrapped term; an instance of a wrapper type (newtype)
TermAttribute	A non-term constituent of the term at a path, together with its value
TermAttribute.CasesTypeName	The name of the union type eliminated by a case statement
TermAttribute.InjectTypeName	The name of the union type of an injection
TermAttribute.LambdaDomainGiven	The (given) domain type of a lambda
TermAttribute.LambdaParameter	The parameter name of a lambda
TermAttribute.LetBindingTypeSchemeGiven	The name of a let binding together with its (given) type scheme
TermAttribute.PartialVisitor<R>	Partial visitor over TermAttribute with a default TermAttribute.PartialVisitor.otherwise(hydra.paths.TermAttribute) branch.
TermAttribute.ProjectFieldName	The name of the field projected by a projection
TermAttribute.ProjectTypeName	The name of the record type of a projection
TermAttribute.RecordTypeName	The name of the record type of a record term
TermAttribute.TypeApplicationType	The type argument of a type application term
TermAttribute.TypeLambdaParameter	The type-variable parameter of a type lambda term
TermAttribute.Visitor<R>	Visitor over TermAttribute.
TermAttribute.WrapTypeName	The name of the wrapper type of a wrapped term
TermCoder<A>	A type together with a coder for mapping terms into arguments for primitive functions, and mapping computed results into terms.
TermCoder.Builder<A>	A fluent builder for TermCoder.
TermDefinition	A term-level definition, including a name, an optional signature, and a term
TermDefinition.Builder	A fluent builder for TermDefinition.
Terms	A domain-specific language for constructing Hydra terms in Java.
TermSignature	A structured signature for a term: an ordered list of type parameters (with optional class constraints), an ordered list of value parameters, and a result.
TermSignature.Builder	A fluent builder for TermSignature.
TermSubst	A substitution of term variables for terms
TermSubst.Builder	A fluent builder for TermSubst.
TermVariableShadowingError	A lambda parameter or let binding name that shadows a variable already in scope (optional)
TermVariableShadowingError.Builder	A fluent builder for TermVariableShadowingError.
TermVariant	The identifier of a term expression constructor
TermVariant.Annotated
TermVariant.Application
TermVariant.Cases
TermVariant.Either
TermVariant.Inject
TermVariant.Lambda
TermVariant.Let
TermVariant.List
TermVariant.Literal
TermVariant.Map
TermVariant.Optional
TermVariant.Pair
TermVariant.PartialVisitor<R>	Partial visitor over TermVariant with a default TermVariant.PartialVisitor.otherwise(hydra.variants.TermVariant) branch.
TermVariant.Project
TermVariant.Record
TermVariant.Set
TermVariant.TypeApplication
TermVariant.TypeLambda
TermVariant.Unit
TermVariant.Unwrap
TermVariant.Variable
TermVariant.Visitor<R>	Visitor over TermVariant.
TermVariant.Wrap
TestCase	A test case with an actual and expected string for comparison
TestCase.Effectful	An effectful test case (interpret an effect, then string comparison)
TestCase.PartialVisitor<R>	Partial visitor over TestCase with a default TestCase.PartialVisitor.otherwise(hydra.testing.TestCase) branch.
TestCase.Universal	A universal test case (string comparison)
TestCase.Visitor<R>	Visitor over TestCase.
TestCaseWithMetadata	A test case together with metadata
TestCaseWithMetadata.Builder	A fluent builder for TestCaseWithMetadata.
TestGroup	A collection of test cases with a name and optional description
TestGroup.Builder	A fluent builder for TestGroup.
Testing	Term decoders for hydra.testing
Testing	DSL functions for hydra.testing
Testing	Term encoders for hydra.testing
Text	DSL functions for hydra.lib.text
Text	Primitives in the hydra.lib.text module.
Time	Term decoders for hydra.time
Time	DSL functions for hydra.time
Time	Term encoders for hydra.time
Timespec	The POSIX struct timespec, with the same semantics: an instant in time as a number of seconds and nanoseconds since the Unix Epoch (1970-01-01T00:00:00Z).
Timespec.Builder	A fluent builder for Timespec.
ToList	Converts a map to a list of pairs.
ToList	Converts a Optional to a list: Just x becomes [x], Nothing becomes [].
ToList	Converts a set to a list of elements.
ToList	Converts a string to a list of character code points.
ToLower	Converts a character to lowercase.
ToLower	Converts a string to lowercase.
Topology	Term decoders for hydra.topology
Topology	DSL functions for hydra.topology
Topology	Term encoders for hydra.topology
ToUpper	Converts a character to uppercase.
ToUpper	Converts a string to uppercase.
Transform	DSL functions for hydra.test.transform
Transform	Transform test cases for code generation, filtering to tests that can be compiled to target languages
Transpose	Transposes a matrix (list of lists).
TraversalOrder	Specifies either a pre-order or post-order traversal
TraversalOrder.PartialVisitor<R>	Partial visitor over TraversalOrder with a default TraversalOrder.PartialVisitor.otherwise(hydra.coders.TraversalOrder) branch.
TraversalOrder.Post	Post-order traversal
TraversalOrder.Pre	Pre-order traversal
TraversalOrder.Visitor<R>	Visitor over TraversalOrder.
TriplePattern	A subject/predicate/object pattern
TriplePattern.Builder	A fluent builder for TriplePattern.
Truncate	Truncates toward zero, returned as a float.
Type	A data type
Type.Annotated	An annotated type
Type.Application	A type application
Type.Effect	An effectful computation which, when interpreted by a host application, may perform host interactions and produce a value of the given type
Type.Either	An either (sum) type
Type.Forall	A universally quantified (polymorphic) type
Type.Function	A function type
Type.List	A list type
Type.Literal	A literal type
Type.Map	A map type
Type.Optional	An optional type
Type.Pair	A pair (2-tuple) type
Type.PartialVisitor<R>	Partial visitor over Type with a default Type.PartialVisitor.otherwise(hydra.core.Type) branch.
Type.Record	A record type
Type.Set	A set type
Type.Union	A union type with field names
Type.Unit	The unit type — the nullary conjunction; one inhabitant.
Type.Variable	A type variable
Type.Visitor<R>	Visitor over Type.
Type.Void_	The void (uninhabited, or bottom) type — the nullary disjunction; zero inhabitants.
Type.Wrap	A wrapped type (newtype).
TypeApplicationTerm	A term applied to a type; a type application.
TypeApplicationTerm.Builder	A fluent builder for TypeApplicationTerm.
TypeArityMismatchError	A type constructor applied to the wrong number of type arguments
TypeArityMismatchError.Builder	A fluent builder for TypeArityMismatchError.
TypeAttribute	A non-type constituent of the type at a path, together with its value
TypeAttribute.AnnotatedAnnotation	The annotation of an annotated type (a term; not descended into)
TypeAttribute.ForallParameter	The type-variable parameter of a universally quantified type
TypeAttribute.PartialVisitor<R>	Partial visitor over TypeAttribute with a default TypeAttribute.PartialVisitor.otherwise(hydra.paths.TypeAttribute) branch.
TypeAttribute.Visitor<R>	Visitor over TypeAttribute.
TypeClass	A type class identifier together with a human-readable description.
TypeClass.Builder	A fluent builder for TypeClass.
TypeClassConstraint	A type class constraint on a type variable.
TypeClassConstraint.PartialVisitor<R>	Partial visitor over TypeClassConstraint with a default TypeClassConstraint.PartialVisitor.otherwise(hydra.core.TypeClassConstraint) branch.
TypeClassConstraint.Simple	A simple type class constraint, naming a single type class
TypeClassConstraint.Visitor<R>	Visitor over TypeClassConstraint.
TypeConstraint	An assertion that two types can be unified into a single type
TypeConstraint.Builder	A fluent builder for TypeConstraint.
Typed	Term decoders for hydra.typed
Typed	Term encoders for hydra.typed
TypedBinding<A>	An association of a named term (element) with a phantom type
TypedBinding.Builder<A>	A fluent builder for TypedBinding.
TypeDefinition	A type-level definition, including a name and the type scheme
TypeDefinition.Builder	A fluent builder for TypeDefinition.
TypedName<A>	An association of a name with a phantom type
TypedName.Builder<A>	A fluent builder for TypedName.
TypedTerm<A>	An association of a term with a phantom type
TypedTerm.Builder<A>	A fluent builder for TypedTerm.
TypedTermDefinition<A>	An association of a term definition with a phantom type
TypedTermDefinition.Builder<A>	A fluent builder for TypedTermDefinition.
TypeLambda	A System F type abstraction term
TypeLambda.Builder	A fluent builder for TypeLambda.
TypeMismatchError	A type mismatch between expected and actual types
TypeMismatchError.Builder	A fluent builder for TypeMismatchError.
TypeParameter	A type parameter of a term, with an optional list of type class constraints
TypeParameter.Builder	A fluent builder for TypeParameter.
Types	A domain-specific language for constructing Hydra types in Java.
TypeScheme	A type expression together with free type variables occurring in the expression
TypeScheme.Builder	A fluent builder for TypeScheme.
TypeSubst	A substitution of type variables for types
TypeSubst.Builder	A fluent builder for TypeSubst.
TypeVariableConstraints	Constraints associated with a type variable, including typeclass constraints
TypeVariableConstraints.Builder	A fluent builder for TypeVariableConstraints.
TypeVariableShadowingInForallError	A forall type parameter that shadows a type variable already in scope (optional)
TypeVariableShadowingInForallError.Builder	A fluent builder for TypeVariableShadowingInForallError.
TypeVariableShadowingInTypeLambdaError	A type lambda parameter that shadows a type variable already in scope (optional)
TypeVariableShadowingInTypeLambdaError.Builder	A fluent builder for TypeVariableShadowingInTypeLambdaError.
TypeVariant	The identifier of a type constructor
TypeVariant.Annotated
TypeVariant.Application
TypeVariant.Effect
TypeVariant.Either
TypeVariant.Forall
TypeVariant.Function
TypeVariant.List
TypeVariant.Literal
TypeVariant.Map
TypeVariant.Optional
TypeVariant.Pair
TypeVariant.PartialVisitor<R>	Partial visitor over TypeVariant with a default TypeVariant.PartialVisitor.otherwise(hydra.variants.TypeVariant) branch.
TypeVariant.Record
TypeVariant.Set
TypeVariant.Union
TypeVariant.Unit
TypeVariant.Variable
TypeVariant.Visitor<R>	Visitor over TypeVariant.
TypeVariant.Void_
TypeVariant.Wrap
Typing	Term decoders for hydra.typing
Typing	DSL functions for hydra.typing
Typing	Term encoders for hydra.typing
Typing	String representations of hydra.typing types
Uint16ToBigint	Primitive function which converts a uint16 (16-bit unsigned integer) to a bigint (arbitrary-precision integer).
Uint32ToBigint	Primitive function which converts a uint32 (32-bit unsigned integer) to a bigint (arbitrary-precision integer).
Uint64ToBigint	Primitive function which converts a uint64 (64-bit unsigned integer) to a bigint (arbitrary-precision integer).
Uint8ToBigint	Primitive function which converts a uint8 (8-bit unsigned integer) to a bigint (arbitrary-precision integer).
UnboundTypeVariablesError	Type variables that appear free in a type but are not bound in scope
UnboundTypeVariablesError.Builder	A fluent builder for UnboundTypeVariablesError.
Uncons	Split a list into its head and tail, returning Nothing if the list is empty.
UndeclaredDependencyError	A module references a name owned by another module which is not among its declared moduleDependencies.
UndeclaredDependencyError.Builder	A fluent builder for UndeclaredDependencyError.
UndeclaredVariantError	An injection naming a variant that is not declared by its union type
UndeclaredVariantError.Builder	A fluent builder for UndeclaredVariantError.
UndefinedFieldError	A reference to a field that does not exist in the given type
UndefinedFieldError.Builder	A fluent builder for UndefinedFieldError.
UndefinedTermVariableCheckingError	A reference to a term variable that is not bound in scope, encountered during checking
UndefinedTermVariableCheckingError.Builder	A fluent builder for UndefinedTermVariableCheckingError.
UndefinedTermVariableError	A variable reference to a term name that is not bound in scope
UndefinedTermVariableError.Builder	A fluent builder for UndefinedTermVariableError.
UndefinedTypeVariableError	A type variable reference to a name that is not bound in scope
UndefinedTypeVariableError.Builder	A fluent builder for UndefinedTypeVariableError.
UndefinedTypeVariableInBindingTypeError	A type variable in a let binding's type scheme that is not bound by the scheme or enclosing scope
UndefinedTypeVariableInBindingTypeError.Builder	A fluent builder for UndefinedTypeVariableInBindingTypeError.
UndefinedTypeVariableInLambdaDomainError	A type variable in a lambda domain annotation that is not bound in scope
UndefinedTypeVariableInLambdaDomainError.Builder	A fluent builder for UndefinedTypeVariableInLambdaDomainError.
UndefinedTypeVariableInTypeApplicationError	A type variable in a type application term that is not bound in scope
UndefinedTypeVariableInTypeApplicationError.Builder	A fluent builder for UndefinedTypeVariableInTypeApplicationError.
UnequalTypesError	Multiple types that should all be equal but are not
UnequalTypesError.Builder	A fluent builder for UnequalTypesError.
UnexpectedShapeError	A term, type, literal, or related value had a shape other than the one expected
UnexpectedShapeError.Builder	A fluent builder for UnexpectedShapeError.
UnexpectedTermVariantError	An unexpected term variant was encountered
UnexpectedTermVariantError.Builder	A fluent builder for UnexpectedTermVariantError.
UnexpectedTypeVariantError	An unexpected type variant was encountered
UnexpectedTypeVariantError.Builder	A fluent builder for UnexpectedTypeVariantError.
Unification	Utilities for type unification.
UnificationError	An error that occurred during type unification
UnificationError.Builder	A fluent builder for UnificationError.
UnificationInferenceError	A unification failure at a specific subterm locus during inference
UnificationInferenceError.Builder	A fluent builder for UnificationInferenceError.
Union	Computes the union of two sets.
Union	Computes the union of two sets.
Unions	Computes the union of multiple sets.
Unit	An empty record as a canonical unit value.
UniversalTestCase	A universal test case: the actual and expected values are thunks producing strings.
UniversalTestCase.Builder	A fluent builder for UniversalTestCase.
UnknownCaseAlternativeError	A case statement alternative naming a field that does not exist in the union it matches
UnknownCaseAlternativeError.Builder	A fluent builder for UnknownCaseAlternativeError.
UnknownPrimitiveNameError	A primitive function reference to a name not in the known primitive registry
UnknownPrimitiveNameError.Builder	A fluent builder for UnknownPrimitiveNameError.
UnknownProjectedFieldError	A projection naming a field that is not declared by its record type
UnknownProjectedFieldError.Builder	A fluent builder for UnknownProjectedFieldError.
UnnecessaryIdentityApplicationError	An application of an identity lambda to an argument, which simplifies to the argument (optional)
UnnecessaryIdentityApplicationError.Builder	A fluent builder for UnnecessaryIdentityApplicationError.
UnresolvedNominalTypeError	A nominal type reference in a term (inject, cases, record, project, wrap, or unwrap) that does not resolve to any declared type in scope
UnresolvedNominalTypeError.Builder	A fluent builder for UnresolvedNominalTypeError.
UnsupportedTermVariantError	A term variant that the type checker does not support
UnsupportedTermVariantError.Builder	A fluent builder for UnsupportedTermVariantError.
UntypedLambdaError	A lambda expression without a type annotation on its parameter
UntypedLambdaError.Builder	A fluent builder for UntypedLambdaError.
UntypedLetBindingError	A let binding without a type annotation
UntypedLetBindingError.Builder	A fluent builder for UntypedLetBindingError.
UntypedTermVariableCheckingError	A reference to a term variable whose type is not known, encountered during checking
UntypedTermVariableCheckingError.Builder	A fluent builder for UntypedTermVariableCheckingError.
UntypedTermVariableError	A term variable whose type is not known in the current scope
UntypedTermVariableError.Builder	A fluent builder for UntypedTermVariableError.
Util	Term decoders for hydra.util
Util	DSL functions for hydra.util
Util	Term encoders for hydra.util
Util	Extraction and validation for hydra.util types
Util	String representations of hydra.util types
Utils	DSL functions for hydra.test.utils
Utils	Shared utility functions for test code generation codecs
Validation	Term decoders for hydra.validation
Validation	DSL functions for hydra.validation
Validation	Term encoders for hydra.validation
ValidationProfile	Configuration for a validation pass: which check rules are active, how each is classified, and the upper bounds on collected findings.
ValidationProfile.Builder	A fluent builder for ValidationProfile.
ValidationResult<E>	The outcome of a validation pass: an ordered list of error findings and an ordered list of warning findings, each parameterized by the finding payload type.
ValidationResult.Builder<E>	A fluent builder for ValidationResult.
Value	A JSON value
Value.Array	A JSON array
Value.Boolean_	A boolean value
Value.Null	JSON's null value
Value.Number_	A numeric value
Value.Object_	A JSON object as an ordered list of key/value pairs.
Value.PartialVisitor<R>	Partial visitor over Value with a default Value.PartialVisitor.otherwise(hydra.json.model.Value) branch.
Value.String_	A string value
Value.Visitor<R>	Visitor over Value.
Variable	A query variable
Variable.Builder	A fluent builder for Variable.
Variables	DSL functions for hydra.variables
Variables	Free variable analysis, term-level substitution, and unshadowing
Variants	Term decoders for hydra.variants
Variants	DSL functions for hydra.variants
Variants	Term encoders for hydra.variants
Variants	String representations of hydra.variants types
Version	A version string, e.g.
Version.Builder	A fluent builder for Version.
VersionRange	A version range with an optional inclusive lower bound and an optional exclusive upper bound.
VersionRange.Builder	A fluent builder for VersionRange.
VersionSpecifier	A specifier constraining acceptable versions of a dependency.
VersionSpecifier.Any	Any version satisfies the dependency
VersionSpecifier.AtLeast	Any version greater than or equal to the given version (e.g.
VersionSpecifier.Exact	Exactly the given version satisfies the dependency; used to pin a specific release
VersionSpecifier.PartialVisitor<R>	Partial visitor over VersionSpecifier with a default VersionSpecifier.PartialVisitor.otherwise(hydra.packaging.VersionSpecifier) branch.
VersionSpecifier.Range	A version range with an optional inclusive lower bound and optional exclusive upper bound (e.g.
VersionSpecifier.Visitor<R>	Visitor over VersionSpecifier.
VoidInNonBottomPositionError	TypeVoid appearing in a position where no value can be constructed, such as a record field, list element, map key/value, set element, pair component, or function codomain (optional)
VoidInNonBottomPositionError.Builder	A fluent builder for VoidInNonBottomPositionError.
WithDefault	Extracts the value from an optional, or returns a default if Nothing.
WrappedTerm	A term wrapped in a type name
WrappedTerm.Builder	A fluent builder for WrappedTerm.
WriteFile	Write raw bytes as the complete contents of a file.
Writer	DSL functions for hydra.json.writer
Writer	JSON serialization functions using the Hydra AST
WriteStderr	Write raw bytes to standard error.
WriteStdout	Write raw bytes to standard output.
Ws	One of several classes of whitespace
Ws.Break	A line break
Ws.BreakAndIndent	A line break followed by indentation
Ws.DoubleBreak	Two line breaks
Ws.None	No whitespace
Ws.PartialVisitor<R>	Partial visitor over Ws with a default Ws.PartialVisitor.otherwise(hydra.ast.Ws) branch.
Ws.Space	A single space
Ws.Visitor<R>	Visitor over Ws.
Zip	Zips two lists into pairs.
ZipWith	Zips two lists with a function.