Class Group

    • Constructor Detail

      • Group

        public Group()
    • Method Detail

      • name

        public Name name()
        Description copied from class: PrimitiveFunction
        The unique name of the primitive function.
        Specified by:
        name in class PrimitiveFunction
        Returns:
        the name of this primitive function
      • implementation

        protected java.util.function.Function<java.util.List<Term>,​java.util.function.Function<Context,​java.util.function.Function<Graph,​Either<InContext<Error_>,​Term>>>> implementation()
        Description copied from class: PrimitiveFunction
        A dynamic/interpreted implementation of the function. Subclasses implement this with Either-based logic.
        Specified by:
        implementation in class PrimitiveFunction
        Returns:
        the function implementation
      • apply

        public static <X> ConsList<ConsList<X>> apply​(ConsList<X> lst)
        Groups consecutive equal elements.
        Type Parameters:
        X - the element type
        Parameters:
        lst - the list to group
        Returns:
        the list of groups of consecutive equal elements