Package hydra.dsl

Interface Graph

public interface Graph

DSL functions for hydra.graph

Method Summary

Static Methods

Modifier and Type	Method	Description
static TypedTerm<Graph>	graph(TypedTerm<java.util.Map<Name,Term>> boundTerms, TypedTerm<java.util.Map<Name,TypeScheme>> boundTypes, TypedTerm<java.util.Map<Name,TypeVariableConstraints>> classConstraints, TypedTerm<java.util.Set<Name>> lambdaVariables, TypedTerm<java.util.Map<Name,Term>> metadata, TypedTerm<java.util.Map<Name,Primitive>> primitives, TypedTerm<java.util.Map<Name,TypeScheme>> schemaTypes, TypedTerm<java.util.Set<Name>> typeVariables)	DSL constructor for hydra.graph.Graph
static TypedTerm<java.util.Map<Name,Term>>	graphBoundTerms(TypedTerm<Graph> x)	DSL accessor for the boundTerms field of hydra.graph.Graph
static TypedTerm<java.util.Map<Name,TypeScheme>>	graphBoundTypes(TypedTerm<Graph> x)	DSL accessor for the boundTypes field of hydra.graph.Graph
static TypedTerm<java.util.Map<Name,TypeVariableConstraints>>	graphClassConstraints(TypedTerm<Graph> x)	DSL accessor for the classConstraints field of hydra.graph.Graph
static TypedTerm<java.util.Set<Name>>	graphLambdaVariables(TypedTerm<Graph> x)	DSL accessor for the lambdaVariables field of hydra.graph.Graph
static TypedTerm<java.util.Map<Name,Term>>	graphMetadata(TypedTerm<Graph> x)	DSL accessor for the metadata field of hydra.graph.Graph
static TypedTerm<java.util.Map<Name,Primitive>>	graphPrimitives(TypedTerm<Graph> x)	DSL accessor for the primitives field of hydra.graph.Graph
static TypedTerm<java.util.Map<Name,TypeScheme>>	graphSchemaTypes(TypedTerm<Graph> x)	DSL accessor for the schemaTypes field of hydra.graph.Graph
static TypedTerm<java.util.Set<Name>>	graphTypeVariables(TypedTerm<Graph> x)	DSL accessor for the typeVariables field of hydra.graph.Graph
static TypedTerm<Graph>	graphWithBoundTerms(TypedTerm<Graph> original, TypedTerm<java.util.Map<Name,Term>> newVal)	DSL updater for the boundTerms field of hydra.graph.Graph
static TypedTerm<Graph>	graphWithBoundTypes(TypedTerm<Graph> original, TypedTerm<java.util.Map<Name,TypeScheme>> newVal)	DSL updater for the boundTypes field of hydra.graph.Graph
static TypedTerm<Graph>	graphWithClassConstraints(TypedTerm<Graph> original, TypedTerm<java.util.Map<Name,TypeVariableConstraints>> newVal)	DSL updater for the classConstraints field of hydra.graph.Graph
static TypedTerm<Graph>	graphWithLambdaVariables(TypedTerm<Graph> original, TypedTerm<java.util.Set<Name>> newVal)	DSL updater for the lambdaVariables field of hydra.graph.Graph
static TypedTerm<Graph>	graphWithMetadata(TypedTerm<Graph> original, TypedTerm<java.util.Map<Name,Term>> newVal)	DSL updater for the metadata field of hydra.graph.Graph
static TypedTerm<Graph>	graphWithPrimitives(TypedTerm<Graph> original, TypedTerm<java.util.Map<Name,Primitive>> newVal)	DSL updater for the primitives field of hydra.graph.Graph
static TypedTerm<Graph>	graphWithSchemaTypes(TypedTerm<Graph> original, TypedTerm<java.util.Map<Name,TypeScheme>> newVal)	DSL updater for the schemaTypes field of hydra.graph.Graph
static TypedTerm<Graph>	graphWithTypeVariables(TypedTerm<Graph> original, TypedTerm<java.util.Set<Name>> newVal)	DSL updater for the typeVariables field of hydra.graph.Graph
static TypedTerm<Library>	library(TypedTerm<ModuleName> name, TypedTerm<java.lang.String> prefix, TypedTerm<java.util.List<Primitive>> primitives)	DSL constructor for hydra.graph.Library
static TypedTerm<ModuleName>	libraryName(TypedTerm<Library> x)	DSL accessor for the name field of hydra.graph.Library
static TypedTerm<java.lang.String>	libraryPrefix(TypedTerm<Library> x)	DSL accessor for the prefix field of hydra.graph.Library
static TypedTerm<java.util.List<Primitive>>	libraryPrimitives(TypedTerm<Library> x)	DSL accessor for the primitives field of hydra.graph.Library
static TypedTerm<Library>	libraryWithName(TypedTerm<Library> original, TypedTerm<ModuleName> newVal)	DSL updater for the name field of hydra.graph.Library
static TypedTerm<Library>	libraryWithPrefix(TypedTerm<Library> original, TypedTerm<java.lang.String> newVal)	DSL updater for the prefix field of hydra.graph.Library
static TypedTerm<Library>	libraryWithPrimitives(TypedTerm<Library> original, TypedTerm<java.util.List<Primitive>> newVal)	DSL updater for the primitives field of hydra.graph.Library
static TypedTerm<Primitive>	primitive(TypedTerm<PrimitiveDefinition> definition, TypedTerm<java.util.function.Function<InferenceContext,java.util.function.Function<Graph,java.util.function.Function<java.util.List<Term>,Either<Error_,Term>>>>> implementation)	DSL constructor for hydra.graph.Primitive
static TypedTerm<PrimitiveDefinition>	primitiveDefinition(TypedTerm<Primitive> x)	DSL accessor for the definition field of hydra.graph.Primitive
static TypedTerm<java.util.function.Function<InferenceContext,java.util.function.Function<Graph,java.util.function.Function<java.util.List<Term>,Either<Error_,Term>>>>>	primitiveImplementation(TypedTerm<Primitive> x)	DSL accessor for the implementation field of hydra.graph.Primitive
static TypedTerm<Primitive>	primitiveWithDefinition(TypedTerm<Primitive> original, TypedTerm<PrimitiveDefinition> newVal)	DSL updater for the definition field of hydra.graph.Primitive
static TypedTerm<Primitive>	primitiveWithImplementation(TypedTerm<Primitive> original, TypedTerm<java.util.function.Function<InferenceContext,java.util.function.Function<Graph,java.util.function.Function<java.util.List<Term>,Either<Error_,Term>>>>> newVal)	DSL updater for the implementation field of hydra.graph.Primitive
static <A> TypedTerm<TermCoder<A>>	termCoder(TypedTerm<Type> type, TypedTerm<java.util.function.Function<InferenceContext,java.util.function.Function<Graph,java.util.function.Function<Term,Either<Error_,A>>>>> encode, TypedTerm<java.util.function.Function<InferenceContext,java.util.function.Function<A,Either<Error_,Term>>>> decode)	DSL constructor for hydra.graph.TermCoder
static <A> TypedTerm<java.util.function.Function<InferenceContext,java.util.function.Function<A,Either<Error_,Term>>>>	termCoderDecode(TypedTerm<TermCoder<A>> x)	DSL accessor for the decode field of hydra.graph.TermCoder
static <A> TypedTerm<java.util.function.Function<InferenceContext,java.util.function.Function<Graph,java.util.function.Function<Term,Either<Error_,A>>>>>	termCoderEncode(TypedTerm<TermCoder<A>> x)	DSL accessor for the encode field of hydra.graph.TermCoder
static <A> TypedTerm<Type>	termCoderType(TypedTerm<TermCoder<A>> x)	DSL accessor for the type field of hydra.graph.TermCoder
static <A> TypedTerm<TermCoder<A>>	termCoderWithDecode(TypedTerm<TermCoder<A>> original, TypedTerm<java.util.function.Function<InferenceContext,java.util.function.Function<A,Either<Error_,Term>>>> newVal)	DSL updater for the decode field of hydra.graph.TermCoder
static <A> TypedTerm<TermCoder<A>>	termCoderWithEncode(TypedTerm<TermCoder<A>> original, TypedTerm<java.util.function.Function<InferenceContext,java.util.function.Function<Graph,java.util.function.Function<Term,Either<Error_,A>>>>> newVal)	DSL updater for the encode field of hydra.graph.TermCoder
static <A> TypedTerm<TermCoder<A>>	termCoderWithType(TypedTerm<TermCoder<A>> original, TypedTerm<Type> newVal)	DSL updater for the type field of hydra.graph.TermCoder

Method Detail

graph

static TypedTerm<Graph> graph(TypedTerm<java.util.Map<Name,Term>> boundTerms,
                              TypedTerm<java.util.Map<Name,TypeScheme>> boundTypes,
                              TypedTerm<java.util.Map<Name,TypeVariableConstraints>> classConstraints,
                              TypedTerm<java.util.Set<Name>> lambdaVariables,
                              TypedTerm<java.util.Map<Name,Term>> metadata,
                              TypedTerm<java.util.Map<Name,Primitive>> primitives,
                              TypedTerm<java.util.Map<Name,TypeScheme>> schemaTypes,
                              TypedTerm<java.util.Set<Name>> typeVariables)

DSL constructor for hydra.graph.Graph

graphBoundTerms

static TypedTerm<java.util.Map<Name,Term>> graphBoundTerms(TypedTerm<Graph> x)

DSL accessor for the boundTerms field of hydra.graph.Graph

graphBoundTypes

static TypedTerm<java.util.Map<Name,TypeScheme>> graphBoundTypes(TypedTerm<Graph> x)

DSL accessor for the boundTypes field of hydra.graph.Graph

graphClassConstraints

static TypedTerm<java.util.Map<Name,TypeVariableConstraints>> graphClassConstraints(TypedTerm<Graph> x)

DSL accessor for the classConstraints field of hydra.graph.Graph

graphLambdaVariables

static TypedTerm<java.util.Set<Name>> graphLambdaVariables(TypedTerm<Graph> x)

DSL accessor for the lambdaVariables field of hydra.graph.Graph

graphMetadata

static TypedTerm<java.util.Map<Name,Term>> graphMetadata(TypedTerm<Graph> x)

DSL accessor for the metadata field of hydra.graph.Graph

graphPrimitives

static TypedTerm<java.util.Map<Name,Primitive>> graphPrimitives(TypedTerm<Graph> x)

DSL accessor for the primitives field of hydra.graph.Graph

graphSchemaTypes

static TypedTerm<java.util.Map<Name,TypeScheme>> graphSchemaTypes(TypedTerm<Graph> x)

DSL accessor for the schemaTypes field of hydra.graph.Graph

graphTypeVariables

static TypedTerm<java.util.Set<Name>> graphTypeVariables(TypedTerm<Graph> x)

DSL accessor for the typeVariables field of hydra.graph.Graph

graphWithBoundTerms

static TypedTerm<Graph> graphWithBoundTerms(TypedTerm<Graph> original,
                                            TypedTerm<java.util.Map<Name,Term>> newVal)

DSL updater for the boundTerms field of hydra.graph.Graph

graphWithBoundTypes

static TypedTerm<Graph> graphWithBoundTypes(TypedTerm<Graph> original,
                                            TypedTerm<java.util.Map<Name,TypeScheme>> newVal)

DSL updater for the boundTypes field of hydra.graph.Graph

graphWithClassConstraints

static TypedTerm<Graph> graphWithClassConstraints(TypedTerm<Graph> original,
                                                  TypedTerm<java.util.Map<Name,TypeVariableConstraints>> newVal)

DSL updater for the classConstraints field of hydra.graph.Graph

graphWithLambdaVariables

static TypedTerm<Graph> graphWithLambdaVariables(TypedTerm<Graph> original,
                                                 TypedTerm<java.util.Set<Name>> newVal)

DSL updater for the lambdaVariables field of hydra.graph.Graph

graphWithMetadata

static TypedTerm<Graph> graphWithMetadata(TypedTerm<Graph> original,
                                          TypedTerm<java.util.Map<Name,Term>> newVal)

DSL updater for the metadata field of hydra.graph.Graph

graphWithPrimitives

static TypedTerm<Graph> graphWithPrimitives(TypedTerm<Graph> original,
                                            TypedTerm<java.util.Map<Name,Primitive>> newVal)

DSL updater for the primitives field of hydra.graph.Graph

graphWithSchemaTypes

static TypedTerm<Graph> graphWithSchemaTypes(TypedTerm<Graph> original,
                                             TypedTerm<java.util.Map<Name,TypeScheme>> newVal)

DSL updater for the schemaTypes field of hydra.graph.Graph

graphWithTypeVariables

static TypedTerm<Graph> graphWithTypeVariables(TypedTerm<Graph> original,
                                               TypedTerm<java.util.Set<Name>> newVal)

DSL updater for the typeVariables field of hydra.graph.Graph

library

static TypedTerm<Library> library(TypedTerm<ModuleName> name,
                                  TypedTerm<java.lang.String> prefix,
                                  TypedTerm<java.util.List<Primitive>> primitives)

DSL constructor for hydra.graph.Library

libraryName

static TypedTerm<ModuleName> libraryName(TypedTerm<Library> x)

DSL accessor for the name field of hydra.graph.Library

libraryPrefix

static TypedTerm<java.lang.String> libraryPrefix(TypedTerm<Library> x)

DSL accessor for the prefix field of hydra.graph.Library

libraryPrimitives

static TypedTerm<java.util.List<Primitive>> libraryPrimitives(TypedTerm<Library> x)

DSL accessor for the primitives field of hydra.graph.Library

libraryWithName

static TypedTerm<Library> libraryWithName(TypedTerm<Library> original,
                                          TypedTerm<ModuleName> newVal)

DSL updater for the name field of hydra.graph.Library

libraryWithPrefix

static TypedTerm<Library> libraryWithPrefix(TypedTerm<Library> original,
                                            TypedTerm<java.lang.String> newVal)

DSL updater for the prefix field of hydra.graph.Library

libraryWithPrimitives

static TypedTerm<Library> libraryWithPrimitives(TypedTerm<Library> original,
                                                TypedTerm<java.util.List<Primitive>> newVal)

DSL updater for the primitives field of hydra.graph.Library

primitive

static TypedTerm<Primitive> primitive(TypedTerm<PrimitiveDefinition> definition,
                                      TypedTerm<java.util.function.Function<InferenceContext,java.util.function.Function<Graph,java.util.function.Function<java.util.List<Term>,Either<Error_,Term>>>>> implementation)

DSL constructor for hydra.graph.Primitive

primitiveDefinition

static TypedTerm<PrimitiveDefinition> primitiveDefinition(TypedTerm<Primitive> x)

DSL accessor for the definition field of hydra.graph.Primitive

primitiveImplementation

static TypedTerm<java.util.function.Function<InferenceContext,java.util.function.Function<Graph,java.util.function.Function<java.util.List<Term>,Either<Error_,Term>>>>> primitiveImplementation(TypedTerm<Primitive> x)

DSL accessor for the implementation field of hydra.graph.Primitive

primitiveWithDefinition

static TypedTerm<Primitive> primitiveWithDefinition(TypedTerm<Primitive> original,
                                                    TypedTerm<PrimitiveDefinition> newVal)

DSL updater for the definition field of hydra.graph.Primitive

primitiveWithImplementation

static TypedTerm<Primitive> primitiveWithImplementation(TypedTerm<Primitive> original,
                                                        TypedTerm<java.util.function.Function<InferenceContext,java.util.function.Function<Graph,java.util.function.Function<java.util.List<Term>,Either<Error_,Term>>>>> newVal)

DSL updater for the implementation field of hydra.graph.Primitive

termCoder

static <A> TypedTerm<TermCoder<A>> termCoder(TypedTerm<Type> type,
                                             TypedTerm<java.util.function.Function<InferenceContext,java.util.function.Function<Graph,java.util.function.Function<Term,Either<Error_,A>>>>> encode,
                                             TypedTerm<java.util.function.Function<InferenceContext,java.util.function.Function<A,Either<Error_,Term>>>> decode)

DSL constructor for hydra.graph.TermCoder

termCoderDecode

static <A> TypedTerm<java.util.function.Function<InferenceContext,java.util.function.Function<A,Either<Error_,Term>>>> termCoderDecode(TypedTerm<TermCoder<A>> x)

DSL accessor for the decode field of hydra.graph.TermCoder

termCoderEncode

static <A> TypedTerm<java.util.function.Function<InferenceContext,java.util.function.Function<Graph,java.util.function.Function<Term,Either<Error_,A>>>>> termCoderEncode(TypedTerm<TermCoder<A>> x)

DSL accessor for the encode field of hydra.graph.TermCoder

termCoderType

static <A> TypedTerm<Type> termCoderType(TypedTerm<TermCoder<A>> x)

DSL accessor for the type field of hydra.graph.TermCoder

termCoderWithDecode

static <A> TypedTerm<TermCoder<A>> termCoderWithDecode(TypedTerm<TermCoder<A>> original,
                                                       TypedTerm<java.util.function.Function<InferenceContext,java.util.function.Function<A,Either<Error_,Term>>>> newVal)

DSL updater for the decode field of hydra.graph.TermCoder

termCoderWithEncode

static <A> TypedTerm<TermCoder<A>> termCoderWithEncode(TypedTerm<TermCoder<A>> original,
                                                       TypedTerm<java.util.function.Function<InferenceContext,java.util.function.Function<Graph,java.util.function.Function<Term,Either<Error_,A>>>>> newVal)

DSL updater for the encode field of hydra.graph.TermCoder

termCoderWithType

static <A> TypedTerm<TermCoder<A>> termCoderWithType(TypedTerm<TermCoder<A>> original,
                                                     TypedTerm<Type> newVal)

DSL updater for the type field of hydra.graph.TermCoder