arrow-analysis-laws
2.0.2-alpha.6
arrow-analysis-laws
/
arrow.analysis.laws.kotlin
/
CollectionLaws
/
countLaw
count
Law
inline
fun
<
E
>
Collection
<
E
>
.
countLaw
(
)
:
Int
Content copied to clipboard
inline
fun
<
E
>
Collection
<
E
>
.
countLaw
(
predicate
:
(
E
)
->
Boolean
)
:
Int
Content copied to clipboard