Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- newtype LPList t a = LPList {
- unwrapLPList :: [a]
Documentation
A type level wrapper around a length-prefixed list combinator. The parameter t
is the integral descriptor to encode the length in.
LPList | |
|