ivory-0.1.0.0: Safe embedded C programming.
Ivory.Language.Area
Synopsis
type AProxy a = Proxy (a :: Area *)Source
Type proxies for Areas.
Area
data Area k Source
The kind of memory-area types.
Constructors
This is lifting for a *-kinded type
class IvoryArea a whereSource
Guard the inhabitants of the Area type, as not all *s are Ivory *s.
Methods
ivoryArea :: Proxy a -> TypeSource
Instances