Pure (Hydra Java API)

java.lang.Object
- hydra.tools.PrimitiveFunction
- - hydra.lib.optionals.Pure

public class Pure
extends PrimitiveFunction

Wraps a value in a flow.

Constructor Summary

Constructors
Constructor Description

Pure()

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`static <X> Optional<X>`	`apply(X arg)`	Wraps a value in an optional (Just constructor).
`protected java.util.function.Function<java.util.List<Term>,java.util.function.Function<InferenceContext,java.util.function.Function<Graph,Either<Error_,Term>>>>`	`implementation()`	Returns the implementation of this primitive function.
`Name`	`name()`	Returns the name of this primitive function.
`TypeScheme`	`type()`	Returns the type scheme of this primitive 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
  - Pure
```
public Pure()
```
- Method Detail
  - name
```
public Name name()
```
    Returns the name of this primitive function.
    
    Specified by:
    
    name in class PrimitiveFunction
    
    Returns:
    
    the name "hydra.lib.optionals.pure"
  - type
```
public TypeScheme type()
```
    Returns the type scheme of this primitive function.
    
    Specified by:
    
    type in class PrimitiveFunction
    
    Returns:
    
    the type scheme for wrapping a value in an optional
  - implementation
```
protected java.util.function.Function<java.util.List<Term>,java.util.function.Function<InferenceContext,java.util.function.Function<Graph,Either<Error_,Term>>>> implementation()
```
    Returns the implementation of this primitive function.
    
    Specified by:
    
    implementation in class PrimitiveFunction
    
    Returns:
    
    a function that wraps a value in an optional
  - apply
```
public static <X> Optional<X> apply(X arg)
```
    Wraps a value in an optional (Just constructor).
    
    Type Parameters:
    
    X - the value type
    
    Parameters:
    
    arg - the value to wrap
    
    Returns:
    
    an optional containing the value