collektive-stdlib/it.unibo.collektive.stdlib.sets/FieldedSets

FieldedSets

Functions

@JvmName(name = "containsAll_with_it_unibo_collektive_aggregate_Field_of_collections_Set_of_E_end_end_and_it_unibo_collektive_aggregate_Field_of_collections_Collection_of_E_end_end")

fun <ID : Any, E> Field<ID, Set<E>>.containsAll(elements: Field<ID, Collection<E>>): Field<ID, Boolean>

@JvmName(name = "containsAll_with_it_unibo_collektive_aggregate_Field_of_collections_Set_of_E_end_end_and_collections_Collection_of_E_end")

fun <ID : Any, E> Field<ID, Set<E>>.containsAll(elements: Collection<E>): Field<ID, Boolean>

@JvmName(name = "containsAll_with_collections_Set_of_E_end_and_it_unibo_collektive_aggregate_Field_of_collections_Collection_of_E_end_end")

fun <E, ID : Any> Set<E>.containsAll(elements: Field<ID, Collection<E>>): Field<ID, Boolean>

isEmpty

@JvmName(name = "isEmpty_with_it_unibo_collektive_aggregate_Field_of_collections_Set_of_E_end_end")

fun <ID : Any, E> Field<ID, Set<E>>.isEmpty(): Field<ID, Boolean>

iterator

@JvmName(name = "iterator_with_it_unibo_collektive_aggregate_Field_of_collections_Set_of_E_end_end")

operator fun <ID : Any, E> Field<ID, Set<E>>.iterator(): Field<ID, Iterator<E>>

size

@JvmName(name = "size_with_it_unibo_collektive_aggregate_Field_of_collections_Set_of_E_end_end")

fun <ID : Any, E> Field<ID, Set<E>>.size(): Field<ID, Int>