Monadoc
The latest version of membrain is 0.0.0.2-1.

membrain

Version 0.0.0.2 revision 0 uploaded by vrom911.

Package meta

Synopsis
Type-safe memory units
Description

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:

Author
Veronika Romashkina, Dmitrii Kovanikov
Bug reports
https://github.com/kowainik/membrain/issues
Category
Memory, Safe
Copyright
2018-2020 Kowainik
Homepage
https://github.com/kowainik/membrain
Maintainer
Kowainik <xrom.xkov@gmail.com>
Package URL
n/a
Stability
n/a

Components