Ivory.Language.SizeOf

Documentation

class IvorySizeOf t

Instances

IvorySizeOf (Struct * sym)

IvoryType area => IvorySizeOf (Stored * area)

(ANat len, IvorySizeOf area) => IvorySizeOf (Array * len area)

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

Get the size of an ivory type.