Ivory.Language.SizeOf

Documentation

class IvorySizeOf (t :: Area *)

Instances

IvorySizeOf (Struct sym :: Area Type)

Defined in Ivory.Language.SizeOf

IvoryType area => IvorySizeOf (Stored area)

Defined in Ivory.Language.SizeOf

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

Defined in Ivory.Language.SizeOf

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

Get the size of an ivory type.