com.aol.cyclops.hkt.pcollections

Interface PStackType<T>

Type Parameters:

T - Data type stored within the PStack

All Superinterfaces:

org.derive4j.hkt.__<PStackType.µ,T>, java.util.Collection<T>, com.aol.cyclops.hkt.alias.Convert<com.aol.cyclops.hkt.alias.Higher<PStackType.µ,T>>, com.aol.cyclops.hkt.alias.Higher<PStackType.µ,T>, java.lang.Iterable<T>, java.util.List<T>, org.pcollections.PCollection<T>, org.pcollections.PSequence<T>, org.pcollections.PStack<T>

All Known Implementing Classes:

PStackType.Box

public interface PStackType<T>
extends com.aol.cyclops.hkt.alias.Higher<PStackType.µ,T>, org.pcollections.PStack<T>

Simulates Higher Kinded Types for PStack's PStackType is a PStack and a Higher Kinded Type (PStackType.µ,T)

Nested Class Summary

Nested Classes

Modifier and Type	Interface and Description
static class	PStackType.µ Witness type
static class	PStackType.Box<T>

Method Summary

Modifier and Type	Method and Description
static <T> com.aol.cyclops.data.collections.extensions.persistent.PStackX<T>	narrow(com.aol.cyclops.hkt.alias.Higher<PStackType.µ,T> list) Convert the HigherKindedType definition for a PStack into
static <T> PStackType<T>	narrowK(com.aol.cyclops.hkt.alias.Higher<PStackType.µ,T> list) Convert the raw Higher Kinded Type for PStack types into the PStackType type definition class
static <T> PStackType<T>	of(T... values)
static <T> PStackType<T>	widen(org.pcollections.PStack<T> list) Convert a PStack to a simulated HigherKindedType that captures PStack nature and PStack element data type separately.
static <C2,T> com.aol.cyclops.hkt.alias.Higher<C2,com.aol.cyclops.hkt.alias.Higher<PStackType.µ,T>>	widen2(com.aol.cyclops.hkt.alias.Higher<C2,PStackType<T>> list) Widen a PStackType nested inside another HKT encoded type

Methods inherited from interface com.aol.cyclops.hkt.alias.Higher

apply_, apply, then

Methods inherited from interface com.aol.cyclops.hkt.alias.Convert

convert

Methods inherited from interface org.pcollections.PStack

minus, minus, minusAll, plus, plus, plusAll, plusAll, subList, subList, with

Methods inherited from interface org.pcollections.PSequence

add, addAll, remove, set

Methods inherited from interface org.pcollections.PCollection

add, addAll, clear, remove, removeAll, retainAll

Methods inherited from interface java.util.List

add, addAll, clear, contains, containsAll, equals, get, hashCode, indexOf, isEmpty, iterator, lastIndexOf, listIterator, listIterator, remove, removeAll, replaceAll, retainAll, size, sort, spliterator, toArray, toArray

Methods inherited from interface java.util.Collection

parallelStream, removeIf, stream

Methods inherited from interface java.lang.Iterable

forEach

Method Detail

of

static <T> PStackType<T> of(T... values)

widen

static <T> PStackType<T> widen(org.pcollections.PStack<T> list)

Convert a PStack to a simulated HigherKindedType that captures PStack nature and PStack element data type separately. Recover via @see PStackType#narrow If the supplied PStack implements PStackType it is returned already, otherwise it is wrapped into a PStack implementation that does implement PStackType

Parameters:

list - PStack to widen to a PStackType

Returns:

PStackType encoding HKT info about PStacks

widen2

static <C2,T> com.aol.cyclops.hkt.alias.Higher<C2,com.aol.cyclops.hkt.alias.Higher<PStackType.µ,T>> widen2(com.aol.cyclops.hkt.alias.Higher<C2,PStackType<T>> list)

Widen a PStackType nested inside another HKT encoded type

Parameters:

list - HTK encoded type containing a PStack to widen

Returns:

HKT encoded type with a widened PStack

narrowK

static <T> PStackType<T> narrowK(com.aol.cyclops.hkt.alias.Higher<PStackType.µ,T> list)

Convert the raw Higher Kinded Type for PStack types into the PStackType type definition class

Parameters:

list - HKT encoded list into a PStackType

Returns:

PStackType

narrow

static <T> com.aol.cyclops.data.collections.extensions.persistent.PStackX<T> narrow(com.aol.cyclops.hkt.alias.Higher<PStackType.µ,T> list)

Convert the HigherKindedType definition for a PStack into

Parameters:

list - Type Constructor to convert back into narrowed type

Returns:

PStackX from Higher Kinded Type