Package hydra.lib.strings

Class Unlines

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

Modifier and Type	Method	Description
static String	apply(List<String> lines)	Joins a list of strings with newlines and appends a final newline.
protected Function<List<Term>,Flow<Graph,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 Details

Unlines

public Unlines()

Method Details

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 Function<List<Term>,Flow<Graph,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 String apply(List<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