Unlines (hydra-java 0.14.1 API)

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

```
public class Unlines
extends PrimitiveFunction
```
Joins a list of strings with newlines and appends a final newline.

Constructor Summary

Constructors
Constructor Description

Unlines()

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`static java.lang.String`	`apply(ConsList<java.lang.String> lines)`	Joins a list of strings with newlines and appends a final newline.
`protected java.util.function.Function<java.util.List<Term>,java.util.function.Function<Context,java.util.function.Function<Graph,Either<InContext<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
term, toNative

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

- Constructor Detail
  - Unlines
```
public Unlines()
```
- 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.unlines"
  - 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 joins strings with newlines
  - implementation
```
protected java.util.function.Function<java.util.List<Term>,java.util.function.Function<Context,java.util.function.Function<Graph,Either<InContext<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(ConsList<java.lang.String> lines)
```
    Joins a list of strings with newlines and appends a final newline.
    
    Parameters:
    
    lines - the list of strings to join
    
    Returns:
    
    the joined string with newlines