Region

Byte-level access to isolated, (virtual) stable memory regions

type Region = Prim.Types.Region

public let new : () -> Region

public let id : Region -> Nat

public let size : (region : Region) -> (pages : Nat64)

public let grow : (region : Region, newPages : Nat64) -> (oldPages : Nat64)

public let loadNat8 : (region : Region, offset : Nat64) -> Nat8

public let storeNat8 : (region : Region, offset : Nat64, value : Nat8) -> ()

public let loadNat16 : (region : Region, offset : Nat64) -> Nat16

public let storeNat16 : (region : Region, offset : Nat64, value : Nat16) -> ()

public let loadNat32 : (region : Region, offset : Nat64) -> Nat32

public let storeNat32 : (region : Region, offset : Nat64, value : Nat32) -> ()

public let loadNat64 : (region : Region, offset : Nat64) -> Nat64

public let storeNat64 : (region : Region, offset : Nat64, value : Nat64) -> ()

public let loadInt8 : (region : Region, offset : Nat64) -> Int8

public let storeInt8 : (region : Region, offset : Nat64, value : Int8) -> ()

public let loadInt16 : (region : Region, offset : Nat64) -> Int16

public let storeInt16 : (region : Region, offset : Nat64, value : Int16) -> ()

public let loadInt32 : (region : Region, offset : Nat64) -> Int32

public let storeInt32 : (region : Region, offset : Nat64, value : Int32) -> ()

public let loadInt64 : (region : Region, offset : Nat64) -> Int64

public let storeInt64 : (region : Region, offset : Nat64, value : Int64) -> ()

public let loadFloat : (region : Region, offset : Nat64) -> Float

public let storeFloat : (region : Region, offset : Nat64, value : Float) -> ()

public let loadBlob : (region : Region, offset : Nat64, size : Nat) -> Blob

public let storeBlob : (region : Region, offset : Nat64, value : Blob) -> ()