AlwaysFailExpand is a ReduceableExpandFunc which will always fail when reduced.

NewAlwaysFailErr constructs a new always fail error.

NewCheckFailureErr constructs a new check failed error.

NewConcurrentChecker creates an instance of ConcurrentChecker.

NewConcurrentExpander creates an instance of ConcurrentExpander.

NewConcurrentLookupSubjects creates an instance of ConcurrentLookupSubjects.

NewExpansionFailureErr constructs a new expansion failed error.

NewInvalidCursorErr constructs a new unimplemented error.

NewMembershipSet constructs a new helper set for tracking the membership found for a dispatched check request.

NewRelationMissingTypeInfoErr constructs a new relation not missing type information error.

NewRelationNotFoundErr constructs a new relation not found error.

NewTraceID generates a new trace ID.

NewUnimplementedErr constructs a new unimplemented error.

NewWildcardNotAllowedErr constructs an error indicating that a wildcard was not allowed.

TraitsForArrowRelation returns traits such as HasCaveats and HasExpiration if *any* of the subject types of the given relation support caveats or expiration.

Ellipsis relation is used to signify a semantic-free relationship.

AlwaysFailError is returned when an internal error leads to an operation guaranteed to fail.

CheckFailureError occurs when check failed in some manner.

CheckResult is the data that is returned by a single check or sub-check.

ConcurrentChecker exposes a method to perform Check requests, and delegates subproblems to the provided dispatch.Check instance.

ConcurrentExpander exposes a method to perform Expand requests, and delegates subproblems to the provided dispatch.Expand instance.

ExpandResult is the data that is returned by a single expand or sub-expand.

ExpansionFailureError occurs when expansion failed in some manner.

InvalidCursorError is returned when a cursor is no longer valid.

MembershipSet is a helper set that trackes the membership results for a dispatched Check request, including tracking of the caveats associated with found resource IDs.

RelationMissingTypeInfoError defines an error for when type information is missing from a relation during a lookup.

RelationNotFoundError occurs when a relation was not found under a namespace.

UnimplementedError is returned when some functionality is not yet supported.

ValidatedCheckRequest represents a request after it has been validated and parsed for internal consumption.

ValidatedExpandRequest represents a request after it has been validated and parsed for internal consumption.

ValidatedLookupSubjectsRequest represents a request after it has been validated and parsed for internal consumption.

WildcardNotAllowedError occurs when a request sent has an invalid wildcard argument.

CheckResultsMap defines a type that is a map from resource ID to ResourceCheckResult.

ExpandReducer is a type for the functions Any and All which combine check results.

ReduceableExpandFunc is a function that can be bound to a execution context.