ivory-0.1.0.3: Safe embedded C programming.

Safe HaskellNone
LanguageHaskell2010

Ivory.Language.SizeOf

Synopsis

Documentation

class IvorySizeOf t Source

Instances

IvorySizeOf (Struct * sym) Source 
IvoryType area => IvorySizeOf (Stored * area) Source 
(ANat len, IvorySizeOf area) => IvorySizeOf (Array * len area) Source 

sizeOf :: (IvoryArea t, IvorySizeOf t, IvoryExpr a, Num a) => Proxy t -> a Source

Get the size of an ivory type.