Package hydra.dsl

Interface Graph

public interface Graph

DSL functions for hydra.graph

Method Summary

Static Methods

Modifier and Type	Method	Description
static TTerm<Graph>	graph(TTerm<PersistentMap<Name,Term>> boundTerms, TTerm<PersistentMap<Name,TypeScheme>> boundTypes, TTerm<PersistentMap<Name,TypeVariableMetadata>> classConstraints, TTerm<PersistentSet<Name>> lambdaVariables, TTerm<PersistentMap<Name,Term>> metadata, TTerm<PersistentMap<Name,Primitive>> primitives, TTerm<PersistentMap<Name,TypeScheme>> schemaTypes, TTerm<PersistentSet<Name>> typeVariables)
static TTerm<PersistentMap<Name,Term>>	graphBoundTerms(TTerm<Graph> x)
static TTerm<PersistentMap<Name,TypeScheme>>	graphBoundTypes(TTerm<Graph> x)
static TTerm<PersistentMap<Name,TypeVariableMetadata>>	graphClassConstraints(TTerm<Graph> x)
static TTerm<PersistentSet<Name>>	graphLambdaVariables(TTerm<Graph> x)
static TTerm<PersistentMap<Name,Term>>	graphMetadata(TTerm<Graph> x)
static TTerm<PersistentMap<Name,Primitive>>	graphPrimitives(TTerm<Graph> x)
static TTerm<PersistentMap<Name,TypeScheme>>	graphSchemaTypes(TTerm<Graph> x)
static TTerm<PersistentSet<Name>>	graphTypeVariables(TTerm<Graph> x)
static TTerm<Graph>	graphWithBoundTerms(TTerm<Graph> original, TTerm<PersistentMap<Name,Term>> newVal)
static TTerm<Graph>	graphWithBoundTypes(TTerm<Graph> original, TTerm<PersistentMap<Name,TypeScheme>> newVal)
static TTerm<Graph>	graphWithClassConstraints(TTerm<Graph> original, TTerm<PersistentMap<Name,TypeVariableMetadata>> newVal)
static TTerm<Graph>	graphWithLambdaVariables(TTerm<Graph> original, TTerm<PersistentSet<Name>> newVal)
static TTerm<Graph>	graphWithMetadata(TTerm<Graph> original, TTerm<PersistentMap<Name,Term>> newVal)
static TTerm<Graph>	graphWithPrimitives(TTerm<Graph> original, TTerm<PersistentMap<Name,Primitive>> newVal)
static TTerm<Graph>	graphWithSchemaTypes(TTerm<Graph> original, TTerm<PersistentMap<Name,TypeScheme>> newVal)
static TTerm<Graph>	graphWithTypeVariables(TTerm<Graph> original, TTerm<PersistentSet<Name>> newVal)
static TTerm<Primitive>	primitive(TTerm<Name> name, TTerm<TypeScheme> type, TTerm<java.util.function.Function<Context,java.util.function.Function<Graph,java.util.function.Function<ConsList<Term>,Either<InContext<Error_>,Term>>>>> implementation)
static TTerm<java.util.function.Function<Context,java.util.function.Function<Graph,java.util.function.Function<ConsList<Term>,Either<InContext<Error_>,Term>>>>>	primitiveImplementation(TTerm<Primitive> x)
static TTerm<Name>	primitiveName(TTerm<Primitive> x)
static TTerm<TypeScheme>	primitiveType(TTerm<Primitive> x)
static TTerm<Primitive>	primitiveWithImplementation(TTerm<Primitive> original, TTerm<java.util.function.Function<Context,java.util.function.Function<Graph,java.util.function.Function<ConsList<Term>,Either<InContext<Error_>,Term>>>>> newVal)
static TTerm<Primitive>	primitiveWithName(TTerm<Primitive> original, TTerm<Name> newVal)
static TTerm<Primitive>	primitiveWithType(TTerm<Primitive> original, TTerm<TypeScheme> newVal)
static <A> TTerm<TermCoder<A>>	termCoder(TTerm<Type> type, TTerm<java.util.function.Function<Context,java.util.function.Function<Graph,java.util.function.Function<Term,Either<InContext<Error_>,A>>>>> encode, TTerm<java.util.function.Function<Context,java.util.function.Function<A,Either<InContext<Error_>,Term>>>> decode)
static <A> TTerm<java.util.function.Function<Context,java.util.function.Function<A,Either<InContext<Error_>,Term>>>>	termCoderDecode(TTerm<TermCoder<A>> x)
static <A> TTerm<java.util.function.Function<Context,java.util.function.Function<Graph,java.util.function.Function<Term,Either<InContext<Error_>,A>>>>>	termCoderEncode(TTerm<TermCoder<A>> x)
static <A> TTerm<Type>	termCoderType(TTerm<TermCoder<A>> x)
static <A> TTerm<TermCoder<A>>	termCoderWithDecode(TTerm<TermCoder<A>> original, TTerm<java.util.function.Function<Context,java.util.function.Function<A,Either<InContext<Error_>,Term>>>> newVal)
static <A> TTerm<TermCoder<A>>	termCoderWithEncode(TTerm<TermCoder<A>> original, TTerm<java.util.function.Function<Context,java.util.function.Function<Graph,java.util.function.Function<Term,Either<InContext<Error_>,A>>>>> newVal)
static <A> TTerm<TermCoder<A>>	termCoderWithType(TTerm<TermCoder<A>> original, TTerm<Type> newVal)

Method Detail

graph

static TTerm<Graph> graph(TTerm<PersistentMap<Name,Term>> boundTerms,
                          TTerm<PersistentMap<Name,TypeScheme>> boundTypes,
                          TTerm<PersistentMap<Name,TypeVariableMetadata>> classConstraints,
                          TTerm<PersistentSet<Name>> lambdaVariables,
                          TTerm<PersistentMap<Name,Term>> metadata,
                          TTerm<PersistentMap<Name,Primitive>> primitives,
                          TTerm<PersistentMap<Name,TypeScheme>> schemaTypes,
                          TTerm<PersistentSet<Name>> typeVariables)

graphBoundTerms

static TTerm<PersistentMap<Name,Term>> graphBoundTerms(TTerm<Graph> x)

graphBoundTypes

static TTerm<PersistentMap<Name,TypeScheme>> graphBoundTypes(TTerm<Graph> x)

graphClassConstraints

static TTerm<PersistentMap<Name,TypeVariableMetadata>> graphClassConstraints(TTerm<Graph> x)

graphLambdaVariables

static TTerm<PersistentSet<Name>> graphLambdaVariables(TTerm<Graph> x)

graphMetadata

static TTerm<PersistentMap<Name,Term>> graphMetadata(TTerm<Graph> x)

graphPrimitives

static TTerm<PersistentMap<Name,Primitive>> graphPrimitives(TTerm<Graph> x)

graphSchemaTypes

static TTerm<PersistentMap<Name,TypeScheme>> graphSchemaTypes(TTerm<Graph> x)

graphTypeVariables

static TTerm<PersistentSet<Name>> graphTypeVariables(TTerm<Graph> x)

graphWithBoundTerms

static TTerm<Graph> graphWithBoundTerms(TTerm<Graph> original,
                                        TTerm<PersistentMap<Name,Term>> newVal)

graphWithBoundTypes

static TTerm<Graph> graphWithBoundTypes(TTerm<Graph> original,
                                        TTerm<PersistentMap<Name,TypeScheme>> newVal)

graphWithClassConstraints

static TTerm<Graph> graphWithClassConstraints(TTerm<Graph> original,
                                              TTerm<PersistentMap<Name,TypeVariableMetadata>> newVal)

graphWithLambdaVariables

static TTerm<Graph> graphWithLambdaVariables(TTerm<Graph> original,
                                             TTerm<PersistentSet<Name>> newVal)

graphWithMetadata

static TTerm<Graph> graphWithMetadata(TTerm<Graph> original,
                                      TTerm<PersistentMap<Name,Term>> newVal)

graphWithPrimitives

static TTerm<Graph> graphWithPrimitives(TTerm<Graph> original,
                                        TTerm<PersistentMap<Name,Primitive>> newVal)

graphWithSchemaTypes

static TTerm<Graph> graphWithSchemaTypes(TTerm<Graph> original,
                                         TTerm<PersistentMap<Name,TypeScheme>> newVal)

graphWithTypeVariables

static TTerm<Graph> graphWithTypeVariables(TTerm<Graph> original,
                                           TTerm<PersistentSet<Name>> newVal)

primitive

static TTerm<Primitive> primitive(TTerm<Name> name,
                                  TTerm<TypeScheme> type,
                                  TTerm<java.util.function.Function<Context,java.util.function.Function<Graph,java.util.function.Function<ConsList<Term>,Either<InContext<Error_>,Term>>>>> implementation)

primitiveImplementation

static TTerm<java.util.function.Function<Context,java.util.function.Function<Graph,java.util.function.Function<ConsList<Term>,Either<InContext<Error_>,Term>>>>> primitiveImplementation(TTerm<Primitive> x)

primitiveName

static TTerm<Name> primitiveName(TTerm<Primitive> x)

primitiveType

static TTerm<TypeScheme> primitiveType(TTerm<Primitive> x)

primitiveWithImplementation

static TTerm<Primitive> primitiveWithImplementation(TTerm<Primitive> original,
                                                    TTerm<java.util.function.Function<Context,java.util.function.Function<Graph,java.util.function.Function<ConsList<Term>,Either<InContext<Error_>,Term>>>>> newVal)

primitiveWithName

static TTerm<Primitive> primitiveWithName(TTerm<Primitive> original,
                                          TTerm<Name> newVal)

primitiveWithType

static TTerm<Primitive> primitiveWithType(TTerm<Primitive> original,
                                          TTerm<TypeScheme> newVal)

termCoder

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

termCoderDecode

static <A> TTerm<java.util.function.Function<Context,java.util.function.Function<A,Either<InContext<Error_>,Term>>>> termCoderDecode(TTerm<TermCoder<A>> x)

termCoderEncode

static <A> TTerm<java.util.function.Function<Context,java.util.function.Function<Graph,java.util.function.Function<Term,Either<InContext<Error_>,A>>>>> termCoderEncode(TTerm<TermCoder<A>> x)

termCoderType

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

termCoderWithDecode

static <A> TTerm<TermCoder<A>> termCoderWithDecode(TTerm<TermCoder<A>> original,
                                                   TTerm<java.util.function.Function<Context,java.util.function.Function<A,Either<InContext<Error_>,Term>>>> newVal)

termCoderWithEncode

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

termCoderWithType

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