Popularity
6.6
Growing
Activity
1.5
-
19
5
1
Monthly Downloads: 40
Programming language: Haskell
License: MIT License
Tags:
Data
Latest version: v0.1.2.0
summer alternatives and similar packages
Based on the "Data" category.
Alternatively, view summer alternatives based on common mentions on social networks and blogs.
-
streaming
An optimized general monad transformer for streaming applications, with a simple prelude of functions -
text-icu
This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.
WorkOS - The modern identity platform for B2B SaaS
The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
Promo
workos.com
Do you think we are missing an alternative of summer or a related project?
README
summer
Extensible sums and products for Haskell.
x :: Sum '[Int, Bool, Float]
x = Inj True
y :: Sum '[Int, Float, Bool, Char]
y = weaken x
a :: Bool
a = match y (== 10) (== 0.2) id (== 'x')
x' :: Prod '[Int, Float, Bool, Char]
x' = produce $ \f -> f 10 0.2 True 'x'
y' :: Prod '[Bool, Float]
y' = strengthen x'
a' :: Bool
a' = consume y' (\b f -> b && f == 0.2)
This package is extremely experimental, and is subject to arbitrarily large changes.