Ivory.Language.Area

Documentation

type AProxy a = Proxy (a :: Area *)

Type proxies for Areas.

data Area k

The kind of memory-area types.

Constructors

Struct Symbol

Array Nat (Area k)

CArray (Area k)

Stored k

This is lifting for a *-kinded type

class IvoryArea a where

Guard the inhabitants of the Area type, as not all *s are Ivory *s.

Methods

ivoryArea :: Proxy a -> Type

Instances

IvoryType a => IvoryArea (Stored * a)

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