Std.App.Access

25 public declarations

• anonymousStd.App.Access.Principal

  Nobody in particular.

  fn
• attributeOf&Std.App.Access.Principal -> Str -> Option[Str]

  What is known about a principal under a name.

  fn
• decide&Std.App.Access.Requirement -> &Std.App.Access.Principal -> Std.App.Access.Decision

  What a requirement decides about a principal.

  fn
• Decision

  What a requirement decided.

  type
• describe&Std.App.Access.Requirement -> Str

  What a requirement is, as text.

  fn
• getStr -> Std.App.Access.Requirement -> fn(Std.Http.Server.Route.Request) -> Std.Http.Response -> Std.App.Access.Guarded

  A route that requires something, for each method.

  fn
• Guarded

  A route that stated what it requires.

  type
• holds&Std.App.Access.Principal -> Str -> Bool

  Whether a principal holds a role.

  fn
• knowing&Std.App.Access.Principal -> Str -> Str -> Std.App.Access.Principal

  The same principal with one more thing known about them.

  fn
• onStd.Http.Method -> Str -> Std.App.Access.Requirement -> fn(Std.Http.Server.Route.Request) -> Std.Http.Response -> Std.App.Access.Guarded

  A route requiring something, for a method this module does not name.

  fn
• openRoutes&Array[Std.App.Access.Guarded] -> Array[Str]

  The routes anyone may reach.

  fn
• patchStr -> Std.App.Access.Requirement -> fn(Std.Http.Server.Route.Request) -> Std.Http.Response -> Std.App.Access.Guarded

  A route answering PATCH, allowed only when the requirement is met.

  fn
• permits&Std.App.Access.Decision -> Bool

  Whether a decision permits.

  fn
• postStr -> Std.App.Access.Requirement -> fn(Std.Http.Server.Route.Request) -> Std.Http.Response -> Std.App.Access.Guarded

  A route answering POST, allowed only when the requirement is met.

  fn
• principalStr -> &Array[Str] -> Std.App.Access.Principal

  Somebody, identified.

  fn
• Principal

  Who is asking.

  type
• putStr -> Std.App.Access.Requirement -> fn(Std.Http.Server.Route.Request) -> Std.Http.Response -> Std.App.Access.Guarded

  A route answering PUT, allowed only when the requirement is met.

  fn
• queryStr -> Std.App.Access.Requirement -> fn(Std.Http.Server.Route.Request) -> Std.Http.Response -> Std.App.Access.Guarded

  A route answering QUERY, allowed only when the requirement is met.

  fn
• reasonOf&Std.App.Access.Decision -> Str

  Why a decision refused, for a log rather than for a caller.

  fn
• refusal&Std.App.Access.Decision -> Std.Http.Response

  What a denied caller receives.

  fn
• removeStr -> Std.App.Access.Requirement -> fn(Std.Http.Server.Route.Request) -> Std.Http.Response -> Std.App.Access.Guarded

  A route answering DELETE, allowed only when the requirement is met.

  fn
• Requirement

  What a route requires.

  type
• requirements&Array[Std.App.Access.Guarded] -> Array[(Str, Str)]

  What every route requires, in the order the routes were given.

  fn
• routing&Array[Std.App.Access.Guarded] -> fn(Std.Http.Server.Route.Request) -> Std.App.Access.Principal -> Std.Http.Server.Route.Router

  A router over routes that all stated what they require.

  fn
• statusOf&Std.App.Access.Decision -> Int

  The status a decision answers with.

  fn