1 مستودع
Filtering elements within functional wrappers using predicates.
Distinct from Predicate-Based Filtering: Focuses on filtering within functional effect wrappers (like Option or Either) rather than standard collection filtering.
Explore 1 awesome GitHub repository matching data & databases · Functional Wrapper Filtering. Refine with filters or upvote what's useful.
Cats هو مكتبة برمجة وظيفية في Scala ومكتبة فئات الأنواع (Type Class) مصممة لتنفيذ الأنماط الجبرية والتجريدات الوظيفية. توفر مجموعة موحدة من الواجهات ومجموعة أدوات معيارية من الأغلفة والحاويات الوظيفية لتمكين تعدد الأشكال المخصص والبرمجة العامة عبر أنواع متباينة. يعمل المشروع كمعيار للتجريد الوظيفي، ويقدم مجموعة محولات الموناد (Monad Transformer) لتركيب سياقات التأثير المتداخلة والتعامل مع تأثيرات جانبية حسابية متعددة داخل خط أنابيب واحد. كما يتيح بناء لغات خاصة بالمجال (DSL) مضمنة من خلال تمثيل منطق البرنامج كهياكل بيانات يتم تفسيرها بشكل منفصل عن تعريفاتها. تغطي المكتبة مجالات قدرة واسعة بما في ذلك معالجة البيانات الجبرية لدمج وتقليل القيم، وإدارة الحالة الآمنة للأنواع، ومعالجة الأخطاء الوظيفية لإضفاء الطابع الرسمي على تراكم الأخطاء والتعافي منها. كما توفر أدوات لإدارة الحسابات ذات التأثير وتوسيع أنواع المجموعات القياسية بقدرات وظيفية. تتضمن المكتبة آليات للتحقق من القوانين الجبرية لضمان التزام مثيلات فئات الأنواع بالخصائص الرياضية.
Provides utilities to filter or transform values contained within functional wrappers based on predicates.