ru.primetalk.typed.ontology.simple.relalg
Type members
Classlikes
Relation is a pair of schema and a collection of instances of that schema. V - is the collection type (List, Stream[...]).
Relation is a pair of schema and a collection of instances of that schema. V - is the collection type (List, Stream[...]).
- Companion:
- object
RelationF is a pair of schema and a stream of instances of that schema. F - is the effect type.
RelationF is a pair of schema and a stream of instances of that schema. F - is the effect type.
- Companion:
- object
Value members
Concrete methods
transparent inline def convertSortedMapToRelation[V[_], KeySchema <: RecordSchema, AggregateSchema <: RecordSchema](inline keySchema: KeySchema, inline aggregateSchema: AggregateSchema)(inline resultSchema: Concat[keySchema, aggregateSchema])(grouped: SortedMap[Values, Values])(using Order[Values])(using Semigroup[Values])(using MonoidK[V])(using Applicative[V])(using Foldable[V]): Relation[V] { type Schema = resultSchema; }
transparent inline def convertSortedMapToRelationF[F2[_], KeySchema <: RecordSchema, AggregateSchema <: RecordSchema](inline keySchema: KeySchema, inline aggregateSchema: AggregateSchema)(inline resultSchema: Concat[keySchema, aggregateSchema])(grouped: SortedMap[Values, Values])(using Order[Values])(using Semigroup[Values])(using MonoidK[F2])(using Applicative[F2])(using Foldable[F2]): RelationF[F2] { type Schema = resultSchema; }
transparent inline def convertSortedMapToV[V[_], KeySchema <: RecordSchema, AggregateSchema <: RecordSchema](inline keySchema: KeySchema, inline aggregateSchema: AggregateSchema)(grouped: SortedMap[Values, Values])(using Order[Values])(using Semigroup[Values])(using MonoidK[V])(using Applicative[V])(using Foldable[V]): Any
transparent inline def convertSortedMapToVF[F2[_], KeySchema <: RecordSchema, AggregateSchema <: RecordSchema](inline keySchema: KeySchema, inline aggregateSchema: AggregateSchema)(grouped: SortedMap[Values, Values])(using Order[Values])(using Semigroup[Values])(using MonoidK[F2])(using Applicative[F2])(using Foldable[F2]): Any