data-checked
Type-indexed runtime-checked properties
This package provides a (phantom) type-indexed newtype evidence-wrapper for values that are checked to satisfy the property associated with the type.
Available in
| Overlay | Newest | Ebuilds | Last activity | |
|---|---|---|---|---|
| haskell GitHub ↗ | 0.3 | 1 | 2 d | details › |
| nest GitHub ↗ | 0.3 | 1 | 14 d | details › |