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 :: Area *) where

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

Methods

ivoryArea :: Proxy a -> Type

Instances

(IvoryStruct sym, ASymbol sym) => IvoryArea (Struct sym :: Area Type)

Defined in Ivory.Language.Struct

Methods

ivoryArea :: Proxy (Struct sym) -> Type0

IvoryArea a => IvoryArea (CArray a)

Defined in Ivory.Language.CArray

Methods

ivoryArea :: Proxy (CArray a) -> Type

IvoryType a => IvoryArea (Stored a)

Defined in Ivory.Language.Area

Methods

ivoryArea :: Proxy (Stored a) -> Type

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

Defined in Ivory.Language.Area

Methods

ivoryArea :: Proxy (Array len area) -> Type