Cat2 (Hydra Java API)

java.lang.Object
- hydra.tools.PrimitiveFunction
- - hydra.lib.strings.Cat2

public class Cat2
extends PrimitiveFunction

Concatenates two strings.

Constructor Summary

Constructors
Constructor Description

Cat2()

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`static java.lang.String`	`apply(java.lang.String left, java.lang.String right)`	Concatenates two strings.
`protected java.util.function.Function<java.util.List<Term>,java.util.function.Function<InferenceContext,java.util.function.Function<Graph,Either<Error_,Term>>>>`	`implementation()`	Provides the implementation of this primitive function.
`Name`	`name()`	Returns the name of this primitive function.
`TypeScheme`	`type()`	Returns the type scheme of this function.

Methods inherited from class hydra.tools.PrimitiveFunction
lazyParams, term, toNative

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - Cat2
```
public Cat2()
```
- Method Detail
  - name
```
public Name name()
```
    Returns the name of this primitive function.
    
    Specified by:
    
    name in class PrimitiveFunction
    
    Returns:
    
    the name "hydra.lib.strings.cat2"
  - type
```
public TypeScheme type()
```
    Returns the type scheme of this function.
    
    Specified by:
    
    type in class PrimitiveFunction
    
    Returns:
    
    the type scheme for a function that concatenates two strings
  - implementation
```
protected java.util.function.Function<java.util.List<Term>,java.util.function.Function<InferenceContext,java.util.function.Function<Graph,Either<Error_,Term>>>> implementation()
```
    Provides the implementation of this primitive function.
    
    Specified by:
    
    implementation in class PrimitiveFunction
    
    Returns:
    
    a function that transforms terms to a flow of graph and term
  - apply
```
public static java.lang.String apply(java.lang.String left,
                                     java.lang.String right)
```
    Concatenates two strings.
    
    Parameters:
    
    left - the first string
    
    right - the second string
    
    Returns:
    
    the concatenation of left and right