Uses of Class
fj.data.Set

Packages that use Set
Package
Description
fj
Types that set the premise for the existence of Functional Java.
fj.data
Common algebraic data types.

  • Uses of Set in fj

    Methods in fj that return types with arguments of type Set
    Modifier and Type
    Method
    Description
    default F<Set<A>,Set<B>>
    F.mapSet(Ord<B> o)
    Promotes this function to map over a Set.
    default F<Set<A>,Set<B>>
    F.mapSet(Ord<B> o)
    Promotes this function to map over a Set.
    static <A> Equal<Set<A>>
    Equal.setEqual(Equal<A> e)
    Equal instance for sets.
    static <A> Hash<Set<A>>
    Hash.setHash(Hash<A> h)
     
    static <A> Monoid<Set<A>>
    Monoid.setIntersectionMonoid(Bounded<A> bounded, Enumerator<A> enumerator)
    A intersection monoid for sets.
    static <A> Semigroup<Set<A>>
    Semigroup.setIntersectionSemigroup()
    A intersection semigroup for sets.
    default F<A,Set<B>>
    F.setK(Ord<B> o)
    Promotes this function to return its value in a Set.
    default F2<Set<A>,Set<B>,Set<C>>
    F2.setM(Ord<C> o)
    Promotes this function to a function on Sets.
    default F2<Set<A>,Set<B>,Set<C>>
    F2.setM(Ord<C> o)
    Promotes this function to a function on Sets.
    default F2<Set<A>,Set<B>,Set<C>>
    F2.setM(Ord<C> o)
    Promotes this function to a function on Sets.
    static <A> Monoid<Set<A>>
    Monoid.setMonoid(Ord<A> o)
    A union monoid for sets.
    static <A> Ord<Set<A>>
    Ord.setOrd(Ord<A> oa)
    An order instance for the Set type.
    static <A> Semigroup<Set<A>>
    Semigroup.setSemigroup()
    A union semigroup for sets.
    static <A> Show<Set<A>>
    Show.setShow(Show<A> sa)
    A show instance for the Set type.
    default F2<Set<A>,Set<B>,Set<C>>
    F2.zipSetM(Ord<C> o)
    Promotes this function to zip two sets, applying the function lock-step over both sets.
    default F2<Set<A>,Set<B>,Set<C>>
    F2.zipSetM(Ord<C> o)
    Promotes this function to zip two sets, applying the function lock-step over both sets.
    default F2<Set<A>,Set<B>,Set<C>>
    F2.zipSetM(Ord<C> o)
    Promotes this function to zip two sets, applying the function lock-step over both sets.

  • Uses of Set in fj.data

    Methods in fj.data that return Set
    Modifier and Type
    Method
    Description
    static <A> Set<A>
    Set.arraySet(Ord<A> o, A... as)
    Return the elements of the given iterator as a set.
    final <B> Set<B>
    Set.bind(Ord<B> o, F<A,Set<B>> f)
    Binds the given function across this set.
    final Set<A>
    Set.delete(A a)
    Deletes the given element from this set.
    static <A> Set<A>
    Set.empty(Ord<A> ord)
    The empty set.
    final Set<A>
    Set.filter(F<A,Boolean> f)
    Filters elements from this set by returning only elements which produce true when the given function is applied to them.
    final Set<A>
    Set.insert(A x)
    Inserts the given element into this set.
    final Set<A>
    Set.intersect(Set<A> s)
    Remove all elements from this set that do not occur in the given set.
    static <A> Set<A>
    Set.iterableSet(Ord<A> o, Iterable<A> as)
    Return the elements of the given iterable as a set.
    static <A> Set<A>
    Set.iteratorSet(Ord<A> o, Iterator<A> as)
    Return the elements of the given iterator as a set.
    static <A> Set<A>
    Set.join(Ord<A> o, Set<Set<A>> s)
    Join a set of sets into a single set.
    final <B> Set<B>
    Set.map(Ord<B> o, F<A,B> f)
    Maps the given function across this set.
    final Set<A>
    Set.minus(Set<A> s)
    Remove all elements from this set that occur in the given set.
    static final <B> Set<List<B>>
    List.sequenceSet(Ord<B> ord, List<Set<B>> list)
    Sequence the given list and collect the output as a set; use the given ord to order the set.
    static final <B> Set<Option<B>>
    Option.sequenceSet(Ord<B> ord, Option<Set<B>> option)
    Sequence the given option and collect the output as a set; use the given ord to order the set.
    static <B> Set<Seq<B>>
    Seq.sequenceSet(Ord<B> ord, Seq<Set<B>> seq)
    Sequence the given seq and collect the output as a set; use the given ord to order the set.
    static <B> Set<Stream<B>>
    Stream.sequenceSet(Ord<B> ord, Stream<Set<B>> stream)
    Sequence the given stream and collect the output as a set; use the given ord to order the set.
    static final <E,C> Set<Validation<E,C>>
    Validation.sequenceSet(Ord<E> ordE, Ord<C> ordC, Validation<E,Set<C>> validation)
    Sequence the given validation and collect the output as a set.
    static <A> Set<A>
    Set.set(Ord<A> o, A... as)
    Constructs a set from the given elements.
    static <A> Set<A>
    Set.single(Ord<A> o, A a)
    Returns a set with a single element.
    final <B> Set<List<B>>
    List.traverseSet(Ord<B> ord, F<A,Set<B>> f)
    Traverse this list with the given function and collect the output as a set; use the given ord to order the set.
    final <B> Set<Option<B>>
    Option.traverseSet(Ord<B> ord, F<A,Set<B>> f)
    Traverse this option with the given function and collect the output as a set; use the given ord to order the set.
    <B> Set<Seq<B>>
    Seq.traverseSet(Ord<B> ord, F<A,Set<B>> f)
    Traverse this seq with the given function and collect the output as a set; use the given ord to order the set.
    <B> Set<Stream<B>>
    Stream.traverseSet(Ord<B> ord, F<A,Set<B>> f)
    Traverse this stream with the given function and collect the output as a set; use the given ord to order the set.
    final <C> Set<Validation<E,C>>
    Validation.traverseSet(Ord<E> ordE, Ord<C> ordC, F<T,Set<C>> f)
    Traverse this validation with the given function and collect the output as a set; use the given success and failure value ords to order the set.
    final Set<A>
    Set.union(Set<A> s)
    Add all the elements of the given set to this set.
    Methods in fj.data that return types with arguments of type Set
    Modifier and Type
    Method
    Description
    final F<A, F<Set<A>,Set<A>>>
    Set.delete()
    First-class deletion function.
    final F<A, F<Set<A>,Set<A>>>
    Set.delete()
    First-class deletion function.
    static <A> F<A, F<Set<A>,Set<A>>>
    Set.insert()
    First-class insertion function.
    static <A> F<A, F<Set<A>,Set<A>>>
    Set.insert()
    First-class insertion function.
    static <A> F<Set<A>, F<Set<A>,Set<A>>>
    Set.intersect()
    A first class function for Set.intersect(Set).
    static <A> F<Set<A>, F<Set<A>,Set<A>>>
    Set.intersect()
    A first class function for Set.intersect(Set).
    static <A> F<Set<A>, F<Set<A>,Set<A>>>
    Set.intersect()
    A first class function for Set.intersect(Set).
    static <A> F<Set<A>, F<A,Boolean>>
    Set.member()
    First-class membership check.
    static <A> F<Set<A>, F<Set<A>,Set<A>>>
    Set.minus()
    A first class function for Set.minus(Set).
    static <A> F<Set<A>, F<Set<A>,Set<A>>>
    Set.minus()
    A first class function for Set.minus(Set).
    static <A> F<Set<A>, F<Set<A>,Set<A>>>
    Set.minus()
    A first class function for Set.minus(Set).
    final P3<Set<A>, Option<A>, Set<A>>
    Set.split(A a)
    Splits this set at the given element.
    final P3<Set<A>, Option<A>, Set<A>>
    Set.split(A a)
    Splits this set at the given element.
    P3<Set<V>, Option<V>, Set<V>>
    TreeMap.split(Ord<V> ord, K k)
    Splits this TreeMap at the given key.
    P3<Set<V>, Option<V>, Set<V>>
    TreeMap.split(Ord<V> ord, K k)
    Splits this TreeMap at the given key.
    final <B> F2<Ord<B>, F<A,Set<B>>, Set<Option<B>>>
    Option.traverseSet()
     
    final <B> F2<Ord<B>, F<A,Set<B>>, Set<Option<B>>>
    Option.traverseSet()
     
    static <A> F<Set<A>, F<Set<A>,Set<A>>>
    Set.union()
    A first class function for Set.union(Set).
    static <A> F<Set<A>, F<Set<A>,Set<A>>>
    Set.union()
    A first class function for Set.union(Set).
    static <A> F<Set<A>, F<Set<A>,Set<A>>>
    Set.union()
    A first class function for Set.union(Set).
    final P2<Boolean,Set<A>>
    Set.update(A a, F<A,A> f)
    Updates, with the given function, the first element in the set that is equal to the given element, according to the order.
    Methods in fj.data with parameters of type Set
    Modifier and Type
    Method
    Description
    final Set<A>
    Set.intersect(Set<A> s)
    Remove all elements from this set that do not occur in the given set.
    static <A> Set<A>
    Set.join(Ord<A> o, Set<Set<A>> s)
    Join a set of sets into a single set.
    final Set<A>
    Set.minus(Set<A> s)
    Remove all elements from this set that occur in the given set.
    static <K,V> TreeMap<K,V>
    TreeMap.setTreeMap(Ord<K> ord, Set<P2<K, Option<V>>> s)
    Constructs a TreeMap from the given set.
    final boolean
    Set.subsetOf(Set<A> s)
    Returns true if this set is a subset of the given set.
    final Set<A>
    Set.union(Set<A> s)
    Add all the elements of the given set to this set.
    Method parameters in fj.data with type arguments of type Set
    Modifier and Type
    Method
    Description
    final <B> Set<B>
    Set.bind(Ord<B> o, F<A,Set<B>> f)
    Binds the given function across this set.
    static <A> Set<A>
    Set.join(Ord<A> o, Set<Set<A>> s)
    Join a set of sets into a single set.
    static final <B> Set<List<B>>
    List.sequenceSet(Ord<B> ord, List<Set<B>> list)
    Sequence the given list and collect the output as a set; use the given ord to order the set.
    static final <B> Set<Option<B>>
    Option.sequenceSet(Ord<B> ord, Option<Set<B>> option)
    Sequence the given option and collect the output as a set; use the given ord to order the set.
    static <B> Set<Seq<B>>
    Seq.sequenceSet(Ord<B> ord, Seq<Set<B>> seq)
    Sequence the given seq and collect the output as a set; use the given ord to order the set.
    static <B> Set<Stream<B>>
    Stream.sequenceSet(Ord<B> ord, Stream<Set<B>> stream)
    Sequence the given stream and collect the output as a set; use the given ord to order the set.
    static final <E,C> Set<Validation<E,C>>
    Validation.sequenceSet(Ord<E> ordE, Ord<C> ordC, Validation<E,Set<C>> validation)
    Sequence the given validation and collect the output as a set.
    final <B> Set<List<B>>
    List.traverseSet(Ord<B> ord, F<A,Set<B>> f)
    Traverse this list with the given function and collect the output as a set; use the given ord to order the set.
    final <B> Set<Option<B>>
    Option.traverseSet(Ord<B> ord, F<A,Set<B>> f)
    Traverse this option with the given function and collect the output as a set; use the given ord to order the set.
    <B> Set<Seq<B>>
    Seq.traverseSet(Ord<B> ord, F<A,Set<B>> f)
    Traverse this seq with the given function and collect the output as a set; use the given ord to order the set.
    <B> Set<Stream<B>>
    Stream.traverseSet(Ord<B> ord, F<A,Set<B>> f)
    Traverse this stream with the given function and collect the output as a set; use the given ord to order the set.
    final <C> Set<Validation<E,C>>
    Validation.traverseSet(Ord<E> ordE, Ord<C> ordC, F<T,Set<C>> f)
    Traverse this validation with the given function and collect the output as a set; use the given success and failure value ords to order the set.