FSharpPlus


NonEmptySet<'a> Type

A type-safe set that contains at least one element.

Record fields

Record Field Description

Value

Full Usage: Value

Field type: Set<'a>
Field type: Set<'a>

Instance members

Instance member Description

this.Add

Full Usage: this.Add

Parameters:
    value : 'a

Returns: NonEmptySet<'a>
value : 'a
Returns: NonEmptySet<'a>

this.Contains

Full Usage: this.Contains

Parameters:
    value : 'a

Returns: bool
value : 'a
Returns: bool

this.Count

Full Usage: this.Count

Returns: int
Returns: int

this.IsProperSubsetOf

Full Usage: this.IsProperSubsetOf

Parameters:
Returns: bool
other : NonEmptySet<'a>
Returns: bool

this.IsProperSupersetOf

Full Usage: this.IsProperSupersetOf

Parameters:
Returns: bool
other : NonEmptySet<'a>
Returns: bool

this.IsSubsetOf

Full Usage: this.IsSubsetOf

Parameters:
Returns: bool
other : NonEmptySet<'a>
Returns: bool

this.IsSupersetOf

Full Usage: this.IsSupersetOf

Parameters:
Returns: bool
other : NonEmptySet<'a>
Returns: bool

this.MaximumElement

Full Usage: this.MaximumElement

Returns: 'a
Returns: 'a

this.MinimumElement

Full Usage: this.MinimumElement

Returns: 'a
Returns: 'a

Static members

Static member Description

set1 + set2

Full Usage: set1 + set2

Parameters:
Returns: NonEmptySet<'a>
set1 : NonEmptySet<'a>
set2 : NonEmptySet<'a>
Returns: NonEmptySet<'a>

NonEmptySet.Create(first, rest)

Full Usage: NonEmptySet.Create(first, rest)

Parameters:
    first : 'a
    rest : 'a[]

Returns: NonEmptySet<'a>
first : 'a
rest : 'a[]
Returns: NonEmptySet<'a>

NonEmptySet.FoldBack(set, f, z)

Full Usage: NonEmptySet.FoldBack(set, f, z)

Parameters:
Returns: 'b
set : NonEmptySet<'a>
f : 'a -> 'b -> 'b
z : 'b
Returns: 'b

NonEmptySet.Map(x, f)

Full Usage: NonEmptySet.Map(x, f)

Parameters:
Returns: NonEmptySet<'b>
x : NonEmptySet<'a>
f : 'a -> 'b
Returns: NonEmptySet<'b>

NonEmptySet.Reduce(s, reduction)

Full Usage: NonEmptySet.Reduce(s, reduction)

Parameters:
Returns: 'a
s : NonEmptySet<'a>
reduction : 'a -> 'a -> 'a
Returns: 'a

NonEmptySet.Return(x)

Full Usage: NonEmptySet.Return(x)

Parameters:
    x : 'a

Returns: NonEmptySet<'a>
x : 'a
Returns: NonEmptySet<'a>

NonEmptySet.ToList(s, ?_impl)

Full Usage: NonEmptySet.ToList(s, ?_impl)

Parameters:
Returns: 'a list
s : NonEmptySet<'a>
?_impl : ToList
Returns: 'a list

NonEmptySet.ToSeq(s, ?_impl)

Full Usage: NonEmptySet.ToSeq(s, ?_impl)

Parameters:
Returns: 'a seq
s : NonEmptySet<'a>
?_impl : ToSeq
Returns: 'a seq