membrain: Type-safe memory units
This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.
membrain
provides newtype
wrapper for type-safe work with memory units
newtype Memory (mem :: Nat) = Memory { unMemory :: Natural }
This data type stores memory unit value phantom type parameter which is represented as type-level natural number. The ideas behind this package are described in the following blog post:
[Skip to Readme]
Properties
Versions | 0.0.0.0, 0.0.0.0, 0.0.0.1, 0.0.0.2 |
---|---|
Change log | CHANGELOG.md |
Dependencies | base (>=4.10.1.0 && <4.13) [details] |
License | MPL-2.0 |
Copyright | 2018-2019 Kowainik |
Author | Veronika Romashkina, Dmitrii Kovanikov |
Maintainer | Kowainik <xrom.xkov@gmail.com> |
Category | Memory, Safe |
Home page | https://github.com/kowainik/membrain |
Bug tracker | https://github.com/kowainik/membrain/issues |
Source repo | head: git clone https://github.com/kowainik/membrain.git |
Uploaded | by vrom911 at 2019-07-23T12:04:08Z |
Modules
[Index] [Quick Jump]
Downloads
- membrain-0.0.0.0.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
Package maintainers
For package maintainers and hackage trustees