Package 

Class AnyExtension

  • All Implemented Interfaces:
    
public final class AnyExtension

    • Nested Class Summary

      Nested Classes 
      Modifier and Type Class Description

    • Field Summary

      Fields 
      Modifier and Type Field Description

    • Constructor Summary

      Constructors 
      Constructor Description

    • Enum Constant Summary

      Enum Constants 
      Enum Constant Description

    • Method Summary

      Modifier and Type Method Description
      final static <E extends Any> Sequence<E> unfold(E $self, Function1<E, Sequence<E>> extractor) The opposite of fold.
      final static <T extends Any, P extends Position<P>> P toPosition(T $self, Environment<T, P> environment) Tries to convert a concentration T into a valid position of type P descriptor.

      • Methods inherited from class java.lang.Object

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

    • Constructor Detail

    • Method Detail

      • unfold

         final static <E extends Any> Sequence<E> unfold(E $self, Function1<E, Sequence<E>> extractor)

        The opposite of fold.

        Parameters:
        extractor - A function that provides a sequence of elements given a specific element of the same type.

      • toPosition

         final static <T extends Any, P extends Position<P>> P toPosition(T $self, Environment<T, P> environment)

        Tries to convert a concentration T into a valid position of type P descriptor. Types are bound to the environment types.