cyclops.typeclasses

Interface Pure<CRE>

Type Parameters:

CRE - The core type of the unit (e.g. the HKT witness type, not the generic type : ListType.µ)

All Known Subinterfaces:

Applicative<CRE>, ApplicativeError<W,E>, ComonadByPure<CRE>, Monad<CRE>, MonadPlus<CRE>, MonadZero<CRE>, Traverse<CRE>, TraverseBySequence<CRE>, TraverseByTraverse<CRE>

All Known Implementing Classes:

General.GeneralApplicative, General.GeneralComonad, General.GeneralMonad, General.GeneralMonadPlus, General.GeneralMonadZero, General.GeneralPure, General.GeneralTraverse, General.GeneralTraverseByTraverse, General.SupplierMonadPlus, General.SupplierMonadZero

Functional Interface:

This is a functional interface and can therefore be used as the assignment target for a lambda expression or method reference.

@FunctionalInterface
public interface Pure<CRE>

Type class for creating instances of types

Method Summary

Modifier and Type	Method and Description
<T> Higher<CRE,T>	unit(T value) Create a new instance of the core type (e.g.

Method Detail

unit

<T> Higher<CRE,T> unit(T value)

Create a new instance of the core type (e.g. a List or CompletableFuture) that is HKT encoded

Parameters:

value - To populate new instance of

Returns:

HKT encoded new instance with supplied value