@@@ index
- Construction
- Composition
- Attenuation
- Modulation
- Revocation
- Expiration
- Amplification
- Abstraction
- Delegation
- Gatekeeper
- Dynamic Sealing
- Membrane
- Responsibility Tracking
@@@
This is a series of examples showing capabilities in action using ocaps.
@@@ note
If you are not familiar with capabilities, please read through @ref:the guide for a more in-depth explanation.
@@@
All the examples given rely on the following imports:
import ocaps._
import ocaps.macros._
This section shows creation of capabilities and direct use.
- @ref:Construction through Access
- @ref:Construction through Composition
- @ref:Construction using Effects
- @ref:Construction using Subtypes
This section shows structural patterns that do not change behavior.
- @ref:Composition
- @ref:Attenuation
This section shows patterns that change the behavior of capabilities, typically adding side effects or blocking execution completely.
- @ref:Modulation
- @ref:Revocation
- @ref:Expiration
This section shows capabilities used together to either unlock new functionality through amplification or represent higher level functionality through abstraction.
- @ref:Amplification
- @ref:Abstraction
This section shows capabilities in the context of authorization and delegation.
- @ref:Delegation
- @ref:Gatekeeper
This section shows capabilities being rendered inaccessible or made accessible through a membrane.
- @ref:Dynamic Sealing
- @ref:Membrane
This section shows how to track identity and responsibility through capabilities.