hydra-kernel package
hydra-kernel
API
hydra
adapt
analysis
annotations
arity
ast
Associativity
BlockStyle
BracketExpr
Brackets
Expr
const
indent
op
brackets
seq
IndentStyle
allLines
subsequentLines
IndentedExpression
Op
OpExpr
Padding
SeqExpr
Ws
breakAndIndent
checking
classes
codegen
coders
Adapter
AdapterContext
Bicoder
CaseConventions
Coder
CoderDirection
Language
LanguageConstraints
LanguageFeature
TraversalOrder
constants
core
AnnotatedTerm
AnnotatedType
Application
ApplicationType
Binding
CaseAlternative
CaseStatement
EitherType
Field
FieldType
FloatType
FloatValue
float32
float64
ForallType
FunctionType
Injection
IntegerType
IntegerValue
bigint
int8
int16
int32
int64
uint8
uint16
uint32
uint64
Lambda
Let
Literal
binary
boolean
decimal
float
integer
string
LiteralType
float
integer
MapType
PairType
Projection
Record
Term
annotated
application
cases
either
inject
lambda
let
list
literal
map
optional
pair
project
record
set
typeApplication
typeLambda
unwrap
variable
wrap
Type
annotated
application
effect
either
forall
function
list
literal
map
optional
pair
record
set
union
variable
wrap
TypeApplicationTerm
TypeClassConstraint
simple
TypeLambda
TypeScheme
TypeVariableConstraints
WrappedTerm
decode
ast
coders
core
docs
error
checking
core
file
packaging
system
errors
file
json.model
packaging
parsing
paths
query
regex
relational
system
tabular
testing
time
topology
typed
typing
util
validation
variants
yaml.model
decoding
dependencies
differentiation
docs
DocSegment
ref
text
dsl
analysis
annotations
arity
ast
checking
coders
constants
core
dependencies
docs
environment
error
checking
core
file
packaging
system
errors
extract.json
file
formatting
graph
json
bootstrap
decode
decoding
encode
model
parser
writer
yaml
decode
encode
lexical
lib
chars
defaults
effects
eithers
equality
files
functions
lists
literals
logic
maps
math
optionals
ordering
pairs
regex
sets
strings
system
text
names
packaging
parsing
paths
predicates
print.docs
query
reduction
refs
regex
relational
resolution
rewriting
scoping
serialization
sorting
strip
system
tabular
test
transform
utils
testing
time
topology
typing
util
validation
variables
variants
yaml.model
dsls
encode
ast
coders
core
docs
error
checking
core
file
packaging
system
errors
file
json.model
packaging
parsing
paths
query
regex
relational
system
tabular
testing
time
topology
typed
typing
util
validation
variants
yaml.model
encoding
environment
error
checking
CheckingError
incorrectUnification
notAForallType
notAFunctionType
other
typeArityMismatch
typeMismatch
unboundTypeVariables
undefinedTermVariable
unequalTypes
unsupportedTermVariant
untypedLambda
untypedLetBinding
untypedTermVariable
IncorrectUnificationError
NotAForallTypeError
NotAFunctionTypeError
OtherCheckingError
TypeArityMismatchError
TypeMismatchError
UnboundTypeVariablesError
UndefinedTermVariableCheckingError
UnequalTypesError
UnsupportedTermVariantError
UntypedLambdaError
UntypedLetBindingError
UntypedTermVariableCheckingError
core
ConstantConditionError
DuplicateBindingError
DuplicateFieldError
DuplicateRecordTypeFieldNamesError
DuplicateUnionTypeFieldNamesError
EmptyCaseStatementError
EmptyLetBindingsError
EmptyRecordTypeError
EmptyTermAnnotationError
EmptyTypeAnnotationError
EmptyTypeNameInTermError
EmptyUnionTypeError
ExtraRecordFieldsError
InvalidForallParameterNameError
InvalidLambdaParameterNameError
InvalidLetBindingNameError
InvalidLiteralError
typeMismatch
InvalidTermError
constantCondition
duplicateBinding
duplicateField
emptyCaseStatement
emptyLetBindings
emptyTermAnnotation
emptyTypeNameInTerm
extraRecordFields
invalidLambdaParameterName
invalidLetBindingName
invalidTypeLambdaParameterName
missingCaseBranches
missingRecordFields
nestedTermAnnotation
nominalTypeKindMismatch
redundantWrapUnwrap
selfApplication
termVariableShadowing
typeVariableShadowingInTypeLambda
undeclaredVariant
undefinedTermVariable
undefinedTypeVariableInBindingType
undefinedTypeVariableInLambdaDomain
undefinedTypeVariableInTypeApplication
unknownCaseAlternative
unknownPrimitiveName
unknownProjectedField
unnecessaryIdentityApplication
unresolvedNominalType
untypedTermVariable
InvalidTypeError
duplicateRecordTypeFieldNames
duplicateUnionTypeFieldNames
emptyRecordType
emptyTypeAnnotation
emptyUnionType
invalidForallParameterName
invalidTypeSchemeVariableName
nestedTypeAnnotation
nonComparableMapKeyType
nonComparableSetElementType
singleVariantUnion
typeVariableShadowingInForall
undefinedTypeVariable
voidInNonBottomPosition
InvalidTypeLambdaParameterNameError
InvalidTypeSchemeVariableNameError
LiteralTypeMismatchError
MissingCaseBranchesError
MissingRecordFieldsError
NestedTermAnnotationError
NestedTypeAnnotationError
NominalTypeKindMismatchError
NonComparableMapKeyTypeError
NonComparableSetElementTypeError
RedundantWrapUnwrapError
SelfApplicationError
SingleVariantUnionError
TermVariableShadowingError
TypeVariableShadowingInForallError
TypeVariableShadowingInTypeLambdaError
UndeclaredVariantError
UndefinedFieldError
UndefinedTermVariableError
UndefinedTypeVariableError
UndefinedTypeVariableInBindingTypeError
UndefinedTypeVariableInLambdaDomainError
UndefinedTypeVariableInTypeApplicationError
UnexpectedTermVariantError
UnexpectedTypeVariantError
UnknownCaseAlternativeError
UnknownPrimitiveNameError
UnknownProjectedFieldError
UnnecessaryIdentityApplicationError
UnresolvedNominalTypeError
UntypedTermVariableError
VoidInNonBottomPositionError
file
FileError
alreadyExists
invalidPath
notFound
other
permissionDenied
packaging
ConflictingModuleNameError
ConflictingVariantNameError
DefinitionNotInModuleNameError
DefinitionsOutOfOrderError
DuplicateDefinitionNameError
DuplicateModuleNameError
InvalidDefinitionNameError
InvalidModuleError
conflictingVariantName
definitionNotInModuleName
definitionsOutOfOrder
duplicateDefinitionName
invalidDefinitionName
invalidModuleNameConvention
missingDocumentation
InvalidModuleNameConventionError
InvalidPackageError
conflictingModuleName
duplicateModuleName
invalidModule
invalidPackageName
undeclaredDependency
InvalidPackageNameError
MissingDocumentationError
UndeclaredDependencyError
system
SystemError
commandNotFound
permissionDenied
invalidWorkingDirectory
other
errors
Error
checking
decoding
duplicateBinding
duplicateField
extraction
inference
invalidLiteral
other
resolution
undefinedField
undefinedTermVariable
untypedTermVariable
unexpectedTermVariant
unexpectedTypeVariant
unification
ExtractionError
emptyList
multipleBindings
multipleFields
noMatchingField
noSuchBinding
notEnoughCases
unexpectedShape
InferenceError
checking
other
unification
MultipleBindingsError
MultipleFieldsError
NoMatchingFieldError
NoSuchBindingError
NoSuchPrimitiveError
OtherInferenceError
ResolutionError
noSuchBinding
noSuchPrimitive
noMatchingField
other
unexpectedShape
UnexpectedShapeError
UnificationError
UnificationInferenceError
extract
core
json
util
file
FileStatus
FileType
formatting
graph
Graph
Library
Primitive
TermCoder
hoisting
inference
json
bootstrap
decode
decoding
encode
model
Value
array
boolean
number
`object`
string
parser
writer
yaml
decode
encode
languages
lexical
lib
chars
defaults
effects
eithers
equality
files
functions
hashing
lists
literals
logic
maps
math
optionals
ordering
pairs
regex
sets
strings
system
text
literals
names
overlay.scala
dsl
meta
Defs
Helpers
Phantoms
DefBuilder
Terms
Types
lib
IntegralDispatch
NumericDispatch
chars
effects
eithers
equality
files
functions
hashing
lists
literals
logic
maps
math
optionals
ordering
pairs
regex
sets
strings
system
text
Libraries
packaging
Definition
primitive
term
`type`
DefinitionReference
primitive
term
`type`
DependencyScope
EntityMetadata
EntityReference
definition
module
`package`
termExpr
typeExpr
LifecycleInfo
Module
ModuleDependency
Package
PackageDependency
PrimitiveDefinition
TermDefinition
TypeDefinition
VersionRange
VersionSpecifier
exact
atLeast
range
parse
docs
regex
parsers
parsing
ParseError
ParseResult
success
failure
ParseSuccess
paths
SubtermAttribute
SubtermEdge
SubtermGraph
SubtermLink
edge
property
attribute
SubtermNode
SubtermProperty
SubtermStep
casesCase
injectField
letBinding
listElement
mapKey
mapValue
recordField
setElement
SubtypeAttribute
SubtypeEdge
SubtypeGraph
SubtypeLink
edge
property
attribute
SubtypeNode
SubtypeProperty
SubtypeStep
recordField
unionField
TermAttribute
casesTypeName
injectTypeName
lambdaDomainGiven
lambdaParameter
letBindingTypeSchemeGiven
projectFieldName
projectTypeName
recordTypeName
typeApplicationType
typeLambdaParameter
wrapTypeName
TypeAttribute
annotatedAnnotation
forallParameter
predicates
print
core
docs
emacs.regex
error
core
packaging
errors
graph
paths
pcre.regex
posix.regex
regex
typing
util
variants
query
ComparisonConstraint
Edge
GraphPattern
Node
term
variable
Path
step
regex
inverse
PathEquation
Pattern
triple
negation
conjunction
disjunction
graph
PatternImplication
Query
Range
RegexQuantifier
exactly
atLeast
range
RegexSequence
Step
edge
project
compare
TriplePattern
reduction
reflect
refs
regex
Atom
literal
group
`class`
CharacterClass
CharacterRange
ClassItem
character
range
Quantified
Quantifier
exactly
atLeast
range
QuantifierRange
relational
ColumnSchema
ForeignKey
RelationSchema
resolution
rewriting
scoping
serialization
shredding
sorting
strip
substitution
system
Command
ProcessResult
tabular
ColumnType
Table
TableType
templates
test
transform
utils
testing
EffectfulTestCase
TestCase
effectful
universal
TestCaseWithMetadata
TestGroup
UniversalTestCase
time
Timespec
topology
OrderingIsomorphism
TarjanState
typed
TypedBinding
TypedTermDefinition
typing
FunctionStructure
InferenceContext
InferenceResult
Parameter
Result
TermSignature
TypeClass
TypeConstraint
TypeParameter
unification
util
CaseConvention
Comparison
ModuleNames
Precision
bits
QualifiedName
validate
core
packaging
validation
ValidationProfile
ValidationResult
variables
variants
LiteralVariant
TermVariant
TypeVariant
yaml.model
Node
mapping
scalar
sequence
Scalar
bool
decimal
float
int
str
hydra-kernel
/
hydra
/
hydra.lib
/
hydra.lib.equality
hydra.lib.equality
package
hydra.lib.equality
Members list
Clear all
Value members
Concrete fields
lazy
val
equal
:
PrimitiveDefinition
lazy
val
notEqual
:
PrimitiveDefinition
In this article
Members list
Value members
Concrete fields