• Home
• org.jetbrains.kotlinx
• ggdsl-api
• 0.3.0-dev-2
• source code
• GroupedDataInterface.kt

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

org.jetbrains.kotlinx.ggdsl.ir.data.GroupedDataInterface.kt Maven / Gradle / Ivy

package org.jetbrains.kotlinx.ggdsl.ir.data

/**
 * Basic interface for data in the form of a grouped dataframe.
 */
public sealed interface GroupedDataInterface : TableData

/**
 * Lazy grouped data, i.e. data with information for grouping without actual grouping.
 *
 * @property keys grouping keys.
 * @property origin original data
 *
 * @property count transformation into [CountedGroupedDataInterface]
 */
public interface LazyGroupedDataInterface : GroupedDataInterface {
    public val keys: List
    public val origin: NamedDataInterface

    public fun count(): CountedGroupedDataInterface
}

/**
 * Actually grouped data.
 *
 * @property keys grouping keys.
 * @property groups [List] of groups.
 *
 * @property toLazy transformation into [LazyGroupedDataInterface]
 */
public interface CountedGroupedDataInterface: GroupedDataInterface{
    public val keys: NamedDataInterface
    public val groups: List

    public fun toLazy(): LazyGroupedDataInterface
}