Control.Memory.Region

Phantom type indices for segregating values into "regions" of memory, which are markers that serve as static conservative approximations of the liveness of an object. That is, regions have scopes, and objects within a region are guaranteed to remain live within the scope of that region.

Documentation

type GlobalRegion = RealWorld

The global region is a special region whose scope extends all the way to the end of the program. As such, any object allocated within this region lives "forever". In this sense, it is the top-level region, whose scope includes all other regions.

data Void

Void is not a region. It is a placeholder marking the absence of region. Useful to tag objects that belong to no region at all.

Instances

VECTOR V ty a => Literal (MVector V ty a) ty

Methods

mkSEXPIO :: MVector V ty a -> IO (SEXP V ty)

fromSEXP :: SEXP s ty -> MVector V ty a

VECTOR V ty a => Literal (Vector V ty a) ty

Methods

mkSEXPIO :: Vector V ty a -> IO (SEXP V ty)

fromSEXP :: SEXP s ty -> Vector V ty a

type V <= b

type V <= b = ()

type G = GlobalRegion

Convenient shorthand.

type V = Void

Convenient shorthand.

type family a <= b :: Constraint

A partial order on regions. In fact regions form a lattice, with GlobalRegion being the supremum and Void the infimum.

Instances

type a <= G

type a <= G = ()

type a <= a

type a <= a = ()

type V <= b

type V <= b = ()