Access

Access benefit schema and validated entitlement constructor; constructing a value does not grant access.

Declaration

const Access: Schema.Union<readonly [Schema.Struct<{
  entitlements: Schema.$Array<Schema.brand<Schema.String, "EntitlementKey">>;
  type: Schema.tag<"entitlements">;
  duration: Schema.Union<readonly [Schema.Literals<readonly ...>, Schema.Struct<{
     type: ...;
     months: ...;
     anchor: ...;
     calendar: ...;
  }>]>;
}>]> & {
  discriminants: readonly ["entitlements"];
  cases: {
     entitlements: Schema.Struct<{
        entitlements: Schema.$Array<Schema.brand<Schema.String, "EntitlementKey">>;
        type: Schema.tag<"entitlements">;
        duration: Schema.Union<readonly [Schema.Literals<readonly [..., ...]>, Schema.Struct<{
           type: Schema.tag<...>;
           months: Schema.brand<..., ...>;
           anchor: Schema.Literal<...>;
           calendar: Schema.Literal<...>;
        }>]>;
     }>;
  };
  isAnyOf: <Keys>(keys) => (value) => value is Extract<{ entitlements: readonly ((...) & (...))[]; type: "entitlements"; duration: "perpetual" | "purchased_period" | { type: "fixed"; months: number & any; anchor: "settlement"; calendar: "utc_clamped" } }, { type: Keys }>;
  guards: {
     entitlements: (u) => u is { entitlements: readonly (string & any)[]; type: "entitlements"; duration: "perpetual" | "purchased_period" | { type: "fixed"; months: number & any; anchor: "settlement"; calendar: "utc_clamped" } };
  };
  match: {
   <Cases>  (value, cases): Cases[keyof Cases] extends (value) => R ? any : never;
   <Cases>  (cases): (value) => Cases[keyof Cases] extends (value) => R ? any : never;
  };
} & {
  entitlements: (input) => Effect.Effect<typeof AccessBenefit.Type, Schema.SchemaError>;
};

Type Declaration

discriminants

readonly discriminants: readonly ["entitlements"];

cases

readonly cases: {
  entitlements: Schema.Struct<{
     entitlements: Schema.$Array<Schema.brand<Schema.String, "EntitlementKey">>;
     type: Schema.tag<"entitlements">;
     duration: Schema.Union<readonly [Schema.Literals<readonly [..., ...]>, Schema.Struct<{
        type: Schema.tag<...>;
        months: Schema.brand<..., ...>;
        anchor: Schema.Literal<...>;
        calendar: Schema.Literal<...>;
     }>]>;
  }>;
};

cases.entitlements

entitlements: Schema.Struct<{
  entitlements: Schema.$Array<Schema.brand<Schema.String, "EntitlementKey">>;
  type: Schema.tag<"entitlements">;
  duration: Schema.Union<readonly [Schema.Literals<readonly [..., ...]>, Schema.Struct<{
     type: Schema.tag<...>;
     months: Schema.brand<..., ...>;
     anchor: Schema.Literal<...>;
     calendar: Schema.Literal<...>;
  }>]>;
}>;

isAnyOf

readonly isAnyOf: <Keys>(keys) => (value) => value is Extract<{ entitlements: readonly ((...) & (...))[]; type: "entitlements"; duration: "perpetual" | "purchased_period" | { type: "fixed"; months: number & any; anchor: "settlement"; calendar: "utc_clamped" } }, { type: Keys }>;

Type Parameters

Keys

Keys

Parameters

keys

readonly Keys[]

Returns

(value) => value is Extract<{ entitlements: readonly ((…) & (…))[]; type: “entitlements”; duration: “perpetual” | “purchased_period” | { type: “fixed”; months: number & any; anchor: “settlement”; calendar: “utc_clamped” } }, { type: Keys }>

guards

readonly guards: {
  entitlements: (u) => u is { entitlements: readonly (string & any)[]; type: "entitlements"; duration: "perpetual" | "purchased_period" | { type: "fixed"; months: number & any; anchor: "settlement"; calendar: "utc_clamped" } };
};

guards.entitlements

entitlements: (u) => u is { entitlements: readonly (string & any)[]; type: "entitlements"; duration: "perpetual" | "purchased_period" | { type: "fixed"; months: number & any; anchor: "settlement"; calendar: "utc_clamped" } };

Parameters

u

unknown

Returns

u is { entitlements: readonly (string & any)[]; type: “entitlements”; duration: “perpetual” | “purchased_period” | { type: “fixed”; months: number & any; anchor: “settlement”; calendar: “utc_clamped” } }

match

readonly match: {
<Cases>  (value, cases): Cases[keyof Cases] extends (value) => R ? any : never;
<Cases>  (cases): (value) => Cases[keyof Cases] extends (value) => R ? any : never;
};

Call Signature

<Cases>(value, cases): Cases[keyof Cases] extends (value) => R ? any : never;

Type Parameters

Cases

Cases extends { [key: string]: (value) => any; }

Parameters

value

entitlements

readonly string & any[]

type

"entitlements"

duration

| "perpetual" | "purchased_period" | { type: "fixed"; months: number & any; anchor: "settlement"; calendar: "utc_clamped"; }

cases

Cases

Returns

Cases[keyof Cases] extends (value) => R ? any : never

Call Signature

<Cases>(cases): (value) => Cases[keyof Cases] extends (value) => R ? any : never;

Type Parameters

Cases

Cases extends { [key: string]: (value) => any; }

Parameters

cases

Cases

Returns

(value) => Cases[keyof Cases] extends (value) => R ? any : never

Type Declaration

entitlements

entitlements: (input) => Effect.Effect<typeof AccessBenefit.Type, Schema.SchemaError>;

Parses an entitlement contribution without requiring its wire-format tag.

Parameters

input

Omit<typeof AccessBenefit.Encoded, "type">

Returns

Effect.Effect<typeof AccessBenefit.Type, Schema.SchemaError>