arrow-refined-types / arrow.refinement.collections

Package arrow.refinement.collections

Types

Contains Contains constrains a collection to include an elementclass Contains<A>
Count Count constrains a collection to be have N number of elementsclass Count
Empty Empty constrains a collection to be emptyclass Empty
First First constrains a collection ensuring it first element matches Elementclass First<A>
MaxSize MaxSize constrains a collection to be have a maximum N number of elementsclass MaxSize
MinSize MinSize constrains a collection to be have a minimum N number of elementsclass MinSize
NotEmpty NotEmpty constrains a collection to be not emptyclass NotEmpty
Tail Tail constrains a collection ensuring its tail matches Elementsclass Tail<A>

Do you like Arrow?

Arrow Org
<