Skip to content

Pony Standard Library

primitive Cap

Cap¶

The Capsicum rights.

primitive val Cap

Constructors¶

create¶

new val create()
: Cap val^

Returns¶

Cap val^

Public Functions¶

enter¶

This places the current process into capability mode, a mode of execution in which processes may only issue system calls operating on file descriptors or reading limited global system state. Access to global name spaces, such as file system or IPC name spaces, is prevented.

fun box enter()
: Bool val

Returns¶

Bool val

read¶

fun box read()
: U64 val

Returns¶

U64 val

write¶

fun box write()
: U64 val

Returns¶

U64 val

seek_tell¶

fun box seek_tell()
: U64 val

Returns¶

U64 val

seek¶

fun box seek()
: U64 val

Returns¶

U64 val

pread¶

fun box pread()
: U64 val

Returns¶

U64 val

pwrite¶

fun box pwrite()
: U64 val

Returns¶

U64 val

mmap¶

fun box mmap()
: U64 val

Returns¶

U64 val

mmap_r¶

fun box mmap_r()
: U64 val

Returns¶

U64 val

mmap_w¶

fun box mmap_w()
: U64 val

Returns¶

U64 val

mmap_x¶

fun box mmap_x()
: U64 val

Returns¶

U64 val

mmap_rw¶

fun box mmap_rw()
: U64 val

Returns¶

U64 val

mmap_rx¶

fun box mmap_rx()
: U64 val

Returns¶

U64 val

mmap_wx¶

fun box mmap_wx()
: U64 val

Returns¶

U64 val

mmap_rwx¶

fun box mmap_rwx()
: U64 val

Returns¶

U64 val

creat¶

fun box creat()
: U64 val

Returns¶

U64 val

fexecve¶

fun box fexecve()
: U64 val

Returns¶

U64 val

fsync¶

fun box fsync()
: U64 val

Returns¶

U64 val

ftruncate¶

fun box ftruncate()
: U64 val

Returns¶

U64 val

lookup¶

fun box lookup()
: U64 val

Returns¶

U64 val

fchdir¶

fun box fchdir()
: U64 val

Returns¶

U64 val

fchflags¶

fun box fchflags()
: U64 val

Returns¶

U64 val

chflagsat¶

fun box chflagsat()
: U64 val

Returns¶

U64 val

fchmod¶

fun box fchmod()
: U64 val

Returns¶

U64 val

fchmodat¶

fun box fchmodat()
: U64 val

Returns¶

U64 val

fchown¶

fun box fchown()
: U64 val

Returns¶

U64 val

fchownat¶

fun box fchownat()
: U64 val

Returns¶

U64 val

fcntl¶

fun box fcntl()
: U64 val

Returns¶

U64 val

flock¶

fun box flock()
: U64 val

Returns¶

U64 val

fpathconf¶

fun box fpathconf()
: U64 val

Returns¶

U64 val

fsck¶

fun box fsck()
: U64 val

Returns¶

U64 val

fstat¶

fun box fstat()
: U64 val

Returns¶

U64 val

fstatat¶

fun box fstatat()
: U64 val

Returns¶

U64 val

fstatfs¶

fun box fstatfs()
: U64 val

Returns¶

U64 val

futimes¶

fun box futimes()
: U64 val

Returns¶

U64 val

futimesat¶

fun box futimesat()
: U64 val

Returns¶

U64 val

linkat¶

fun box linkat()
: U64 val

Returns¶

U64 val

mkdirat¶

fun box mkdirat()
: U64 val

Returns¶

U64 val

mkfifoat¶

fun box mkfifoat()
: U64 val

Returns¶

U64 val

mknodat¶

fun box mknodat()
: U64 val

Returns¶

U64 val

renameat¶

fun box renameat()
: U64 val

Returns¶

U64 val

symlinkat¶

fun box symlinkat()
: U64 val

Returns¶

U64 val

unlinkat¶

fun box unlinkat()
: U64 val

Returns¶

U64 val

accept¶

fun box accept()
: U64 val

Returns¶

U64 val

bind¶

fun box bind()
: U64 val

Returns¶

U64 val

connect¶

fun box connect()
: U64 val

Returns¶

U64 val

getpeername¶

fun box getpeername()
: U64 val

Returns¶

U64 val

getsockname¶

fun box getsockname()
: U64 val

Returns¶

U64 val

getsockopt¶

fun box getsockopt()
: U64 val

Returns¶

U64 val

listen¶

fun box listen()
: U64 val

Returns¶

U64 val

peeloff¶

fun box peeloff()
: U64 val

Returns¶

U64 val

recv¶

fun box recv()
: U64 val

Returns¶

U64 val

send¶

fun box send()
: U64 val

Returns¶

U64 val

setsockopt¶

fun box setsockopt()
: U64 val

Returns¶

U64 val

shutdown¶

fun box shutdown()
: U64 val

Returns¶

U64 val

bindat¶

fun box bindat()
: U64 val

Returns¶

U64 val

connectat¶

fun box connectat()
: U64 val

Returns¶

U64 val

sock_client¶

fun box sock_client()
: U64 val

Returns¶

U64 val

sock_server¶

fun box sock_server()
: U64 val

Returns¶

U64 val

mac_get¶

fun box mac_get()
: U64 val

Returns¶

U64 val

mac_set¶

fun box mac_set()
: U64 val

Returns¶

U64 val

sem_getvalue¶

fun box sem_getvalue()
: U64 val

Returns¶

U64 val

sem_post¶

fun box sem_post()
: U64 val

Returns¶

U64 val

sem_wait¶

fun box sem_wait()
: U64 val

Returns¶

U64 val

event¶

fun box event()
: U64 val

Returns¶

U64 val

kqueue_event¶

fun box kqueue_event()
: U64 val

Returns¶

U64 val

ioctl¶

fun box ioctl()
: U64 val

Returns¶

U64 val

ttyhook¶

fun box ttyhook()
: U64 val

Returns¶

U64 val

pdgetpid¶

fun box pdgetpid()
: U64 val

Returns¶

U64 val

pdwait¶

fun box pdwait()
: U64 val

Returns¶

U64 val

pdkill¶

fun box pdkill()
: U64 val

Returns¶

U64 val

exattr_delete¶

fun box exattr_delete()
: U64 val

Returns¶

U64 val

exattr_get¶

fun box exattr_get()
: U64 val

Returns¶

U64 val

exattr_list¶

fun box exattr_list()
: U64 val

Returns¶

U64 val

exattr_set¶

fun box exattr_set()
: U64 val

Returns¶

U64 val

acl_check¶

fun box acl_check()
: U64 val

Returns¶

U64 val

acl_delete¶

fun box acl_delete()
: U64 val

Returns¶

U64 val

acl_get¶

fun box acl_get()
: U64 val

Returns¶

U64 val

acl_set¶

fun box acl_set()
: U64 val

Returns¶

U64 val

kqueue_change¶

fun box kqueue_change()
: U64 val

Returns¶

U64 val

kqueue¶

fun box kqueue()
: U64 val

Returns¶

U64 val

eq¶

fun box eq(
  that: Cap val)
: Bool val

Parameters¶

that: Cap val

Returns¶

Bool val

ne¶

fun box ne(
  that: Cap val)
: Bool val

Parameters¶

that: Cap val

Returns¶

Bool val