Reified

CollectionModule

PackageReified.Refinements
Collection refined value constructors and helpers.

Summary

NameSignatureSynopsis
Operations
nonEmptyListRefinementnonEmptyListRefinement ()No description available.
nonEmptyArrayRefinementnonEmptyArrayRefinement ()No description available.
nonEmptyArrayFromListRefinementnonEmptyArrayFromListRefinement ()Admits a non-empty array from a list, which is the shape structured wire formats use.
distinctListRefinementdistinctListRefinement ()No description available.
nonEmptyListnonEmptyList valuesNo description available.
nonEmptyArraynonEmptyArray valuesNo description available.
distinctListdistinctList valuesNo description available.

Operations

kind:member

nonEmptyListRefinement

nonEmptyListRefinement ()
Member

Parameters

NameTypeDescription
unit

Returns

Refinement<'value list, NonEmptyList<'value>>
kind:member

nonEmptyArrayRefinement

nonEmptyArrayRefinement ()
Member

Parameters

NameTypeDescription
unit

Returns

Refinement<'value array, NonEmptyArray<'value>>
kind:member

nonEmptyArrayFromListRefinement

nonEmptyArrayFromListRefinement ()
Member
Admits a non-empty array from a list, which is the shape structured wire formats use.

Parameters

NameTypeDescription
unit

Returns

Refinement<'value list, NonEmptyArray<'value>>
kind:member

distinctListRefinement

distinctListRefinement ()
Member

Parameters

NameTypeDescription
unit

Returns

Refinement<'value list, DistinctList<'value>>
kind:member

nonEmptyList

nonEmptyList values
Member

Parameters

NameTypeDescription
values'a seq

Returns

Result<NonEmptyList<'a>, Violation>
kind:member

nonEmptyArray

nonEmptyArray values
Member

Parameters

NameTypeDescription
values'a seq

Returns

Result<NonEmptyArray<'a>, Violation>
kind:member

distinctList

distinctList values
Member

Parameters

NameTypeDescription
values'a seq

Returns

Result<DistinctList<'a>, Violation>