ExMujoco.Types.MjrIndexType (ExMujoco v0.1.1)

mjrIndexType_, from MuJoCo's headers, as numbers. All 2 values carry a number in the header.

Summary

t()

to_atom(value)

The name behind an integer. An atom is already one.

The integer behind a name. An integer is already one.

type_u16()

mjINDEX_TYPE_U16 is 0.

type_u32()

mjINDEX_TYPE_U32 is 1.

values()

Every value, as {name, integer}, in the order the header lists them.

@type t() :: integer()

@spec to_atom(integer() | atom()) :: atom() | nil

The name behind an integer. An atom is already one.

@spec to_integer(t() | atom()) :: integer() | nil

The integer behind a name. An integer is already one.

@spec type_u16() :: 0

mjINDEX_TYPE_U16 is 0.

@spec type_u32() :: 1

mjINDEX_TYPE_U32 is 1.

@spec values() :: [{atom(), integer()}]

Every value, as {name, integer}, in the order the header lists them.