cyclops.collections.immutable

Class LinkedListX.Instances

java.lang.Object

cyclops.collections.immutable.LinkedListX.Instances

Enclosing interface:

LinkedListX<T>

public static class LinkedListX.Instances
extends java.lang.Object

Companion class for creating Type Class instances for working with PStacks

Constructor Summary

Constructors

Constructor and Description
Instances()

Method Summary

Modifier and Type	Method and Description
static InstanceDefinitions<Witness.linkedListX>	definitions()
static <T,R> Foldable<Witness.linkedListX>	foldable() int sum = PStacks.foldable() .foldLeft(0, (a,b)->a+b, LinkedListX.widen(Arrays.asPStack(1,2,3,4))); //10
static <T,R> Functor<Witness.linkedListX>	functor() Transform a list, mulitplying every element by 2
static <T,R> Monad<Witness.linkedListX>	monad() import static com.aol.cyclops.hkt.jdk.LinkedListX.widen; LinkedListX<Integer> list = PStacks.monad() .flatMap(i->widen(LinkedListX.range(0,i)), widen(Arrays.asPStack(1,2,3))) .convert(LinkedListX::narrowK3);
static <T> MonadPlus<Witness.linkedListX>	monadPlus() LinkedListX<Integer> list = PStacks.<Integer>monadPlus() .plus(LinkedListX.widen(Arrays.asPStack()), LinkedListX.widen(Arrays.asPStack(10))) .convert(LinkedListX::narrowK3); //Arrays.asPStack(10))
static <T> MonadPlus<Witness.linkedListX>	monadPlus(Monoid<LinkedListX<T>> m) Monoid<LinkedListX<Integer>> m = Monoid.of(LinkedListX.widen(Arrays.asPStack()), (a,b)->a.isEmpty() ? b : a); LinkedListX<Integer> list = PStacks.<Integer>monadPlus(m) .plus(LinkedListX.widen(Arrays.asPStack(5)), LinkedListX.widen(Arrays.asPStack(10))) .convert(LinkedListX::narrowK3); //Arrays.asPStack(5))
static <T,R> MonadRec<Witness.linkedListX>	monadRec()
static <T,R> MonadZero<Witness.linkedListX>	monadZero() LinkedListX<String> list = PStacks.unit() .unit("hello") .applyHKT(h->PStacks.monadZero().filter((String t)->t.startsWith("he"), h)) .convert(LinkedListX::narrowK3); //Arrays.asPStack("hello"));
static <C2,T> Traverse<Witness.linkedListX>	traverse()
static Unfoldable<Witness.linkedListX>	unfoldable()
static <T> Pure<Witness.linkedListX>	unit() LinkedListX<String> list = PStacks.unit() .unit("hello") .convert(LinkedListX::narrowK3); //Arrays.asPStack("hello"))
static <T,R> Applicative<Witness.linkedListX>	zippingApplicative() import static com.aol.cyclops.hkt.jdk.LinkedListX.widen; import static com.aol.cyclops.util.function.Lambda.l1; import static java.util.Arrays.asPStack; PStacks.zippingApplicative() .ap(widen(asPStack(l1(this::multiplyByTwo))),widen(asPStack(1,2,3))); //[2,4,6]

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Instances

public Instances()

Method Detail

definitions

public static InstanceDefinitions<Witness.linkedListX> definitions()

unfoldable

public static Unfoldable<Witness.linkedListX> unfoldable()

functor

public static <T,R> Functor<Witness.linkedListX> functor()

Transform a list, mulitplying every element by 2

 
  LinkedListX<Integer> list = PStacks.functor().map(i->i*2, LinkedListX.widen(Arrays.asPStack(1,2,3));

  //[2,4,6]


 
 

An example fluent api working with PStacks

 
   LinkedListX<Integer> list = PStacks.unit()
        .unit("hello")
        .applyHKT(h->PStacks.functor().map((String v) ->v.length(), h))
        .convert(LinkedListX::narrowK3);

 
 

Returns:

A functor for PStacks

unit

public static <T> Pure<Witness.linkedListX> unit()

 
 LinkedListX<String> list = PStacks.unit()
        .unit("hello")
        .convert(LinkedListX::narrowK3);

        //Arrays.asPStack("hello"))

 
 

Returns:

A factory for PStacks

zippingApplicative

public static <T,R> Applicative<Witness.linkedListX> zippingApplicative()

 
 import static com.aol.cyclops.hkt.jdk.LinkedListX.widen;
 import static com.aol.cyclops.util.function.Lambda.l1;
 import static java.util.Arrays.asPStack;

        PStacks.zippingApplicative()
        .ap(widen(asPStack(l1(this::multiplyByTwo))),widen(asPStack(1,2,3)));

 //[2,4,6]
 
 

Example fluent API

 
 LinkedListX<Function<Integer,Integer>> listFn =PStacks.unit()
                                                  .unit(Lambda.l1((Integer i) ->i*2))
                                                  .convert(LinkedListX::narrowK3);

        LinkedListX<Integer> list = PStacks.unit()
        .unit("hello")
        .applyHKT(h->PStacks.functor().map((String v) ->v.length(), h))
        .applyHKT(h->PStacks.zippingApplicative().ap(listFn, h))
        .convert(LinkedListX::narrowK3);

        //Arrays.asPStack("hello".length()*2))

 
 

Returns:

A zipper for PStacks

monad

public static <T,R> Monad<Witness.linkedListX> monad()

 
 import static com.aol.cyclops.hkt.jdk.LinkedListX.widen;
 LinkedListX<Integer> list  = PStacks.monad()
        .flatMap(i->widen(LinkedListX.range(0,i)), widen(Arrays.asPStack(1,2,3)))
        .convert(LinkedListX::narrowK3);
 
 

Example fluent API

 
    LinkedListX<Integer> list = PStacks.unit()
        .unit("hello")
        .applyHKT(h->PStacks.monad().flatMap((String v) ->PStacks.unit().unit(v.length()), h))
        .convert(LinkedListX::narrowK3);

        //Arrays.asPStack("hello".length())

 
 

Returns:

Type class with monad functions for PStacks

monadZero

public static <T,R> MonadZero<Witness.linkedListX> monadZero()

 
  LinkedListX<String> list = PStacks.unit()
        .unit("hello")
        .applyHKT(h->PStacks.monadZero().filter((String t)->t.startsWith("he"), h))
        .convert(LinkedListX::narrowK3);

        //Arrays.asPStack("hello"));

 
 

Returns:

A filterable monad (with default value)

monadPlus

public static <T> MonadPlus<Witness.linkedListX> monadPlus()

 
  LinkedListX<Integer> list = PStacks.<Integer>monadPlus()
        .plus(LinkedListX.widen(Arrays.asPStack()), LinkedListX.widen(Arrays.asPStack(10)))
        .convert(LinkedListX::narrowK3);
        //Arrays.asPStack(10))

 
 

Returns:

Type class for combining PStacks by concatenation

monadRec

public static <T,R> MonadRec<Witness.linkedListX> monadRec()

monadPlus

public static <T> MonadPlus<Witness.linkedListX> monadPlus(Monoid<LinkedListX<T>> m)

 
  Monoid<LinkedListX<Integer>> m = Monoid.of(LinkedListX.widen(Arrays.asPStack()), (a,b)->a.isEmpty() ? b : a);
        LinkedListX<Integer> list = PStacks.<Integer>monadPlus(m)
        .plus(LinkedListX.widen(Arrays.asPStack(5)), LinkedListX.widen(Arrays.asPStack(10)))
        .convert(LinkedListX::narrowK3);
        //Arrays.asPStack(5))

 
 

Parameters:

m - Monoid to use for combining PStacks

Returns:

Type class for combining PStacks

traverse

public static <C2,T> Traverse<Witness.linkedListX> traverse()

Returns:

Type class for traversables with traverse / sequence operations

foldable

public static <T,R> Foldable<Witness.linkedListX> foldable()

 
 int sum  = PStacks.foldable()
        .foldLeft(0, (a,b)->a+b, LinkedListX.widen(Arrays.asPStack(1,2,3,4)));

        //10

 
 

Returns:

Type class for folding / reduction operations