SafeHead (hydra-java 0.12.0 API)

java.lang.Object
- hydra.tools.PrimitiveFunction
- - hydra.lib.lists.SafeHead

public class SafeHead
extends PrimitiveFunction

Constructor Summary

Constructors
Constructor Description

SafeHead()

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`static <X> Opt<X>`	`apply(java.util.List<X> list)`	Apply the function to it single argument.
`protected java.util.function.Function<java.util.List<Term>,Flow<Graph,Term>>`	`implementation()`	A dynamic/interpreted implementation of the function
`Name`	`name()`	The unique name of the primitive function
`TypeScheme`	`type()`	The datatype of the primitive 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
  - SafeHead
```
public SafeHead()
```
- Method Detail
  - name
```
public Name name()
```
    Description copied from class: PrimitiveFunction
    
    The unique name of the primitive function
    
    Specified by:
    
    name in class PrimitiveFunction
  - type
```
public TypeScheme type()
```
    Description copied from class: PrimitiveFunction
    
    The datatype of the primitive function
    
    Specified by:
    
    type in class PrimitiveFunction
  - implementation
```
protected java.util.function.Function<java.util.List<Term>,Flow<Graph,Term>> implementation()
```
    Description copied from class: PrimitiveFunction
    
    A dynamic/interpreted implementation of the function
    
    Specified by:
    
    implementation in class PrimitiveFunction
  - apply
```
public static <X> Opt<X> apply(java.util.List<X> list)
```
    Apply the function to it single argument.