The latest version of membrain is 0.0.0.2-1.
membrain
Version 0.0.0.0 revision 1 uploaded by vrom911.
Package meta
- Synopsis
- Type-safe memory units
- Description
membrain
providesnewtype
wrapper for type-safe work with memory unitsnewtype 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:
- Author
- Veronika Romashkina, Dmitrii Kovanikov
- Bug reports
- https://github.com/kowainik/membrain/issues
- Category
- Memory, Safe
- Copyright
- 2018-2019 Kowainik
- Homepage
- https://github.com/kowainik/membrain
- Maintainer
- Kowainik <xrom.xkov@gmail.com>
- Package URL
- n/a
- Stability
- n/a