arrow-refined-types

Packages

arrow.refinement A refined type is any regular type constrained by predicates expected to hold in all possible values of the type’s constructor.
arrow.refinement.booleans  
arrow.refinement.chars  
arrow.refinement.collections  
arrow.refinement.digests  
arrow.refinement.network  
arrow.refinement.numbers  
arrow.refinement.strings  
arrow.refinement.time  

Index

All Types

Do you like Arrow?

Arrow Org
<