common/export.aug

OpenID Connect login application · Source and specification

Files in this project

• main.aug
• client/contracts.aug
• client/endpoints.aug
• client/export.aug
• client/login.aug
• client/logout.aug
• client/protocol.aug
• client/session.aug
• client/views.aug
• common/export.aug
• common/headers.aug
• common/keys.aug
• common/settings.aug
• common/views.aug
• provider/authorization.aug
• provider/contracts.aug
• provider/credentials.aug
• provider/discovery.aug
• provider/export.aug
• provider/token.aug
• provider/userinfo.aug
• provider/views.aug

Code

Indentation

// aug-spec: "export.aug.md" explains this file. Read it before changes; refresh with aug spec.
export Settings from settings
export settings from settings
export SigningKeys from keys
export MemorySigningKeys from keys
export initializeKeys from keys
export KeyError from keys
export Page from views
export securityHeaders from headers
export withCookie from headers

Braces

// aug-spec: "export.aug.md" explains this file. Read it before changes; refresh with aug spec.
export Settings from settings
export settings from settings
export SigningKeys from keys
export MemorySigningKeys from keys
export initializeKeys from keys
export KeyError from keys
export Page from views
export securityHeaders from headers
export withCookie from headers

Compiled specification

Interactions and sequences

Exports

Export the declaration Settings from settings.aug. Export the declaration settings from settings.aug. Export the declaration SigningKeys from keys.aug. Export the declaration MemorySigningKeys from keys.aug.

Export the declaration initializeKeys from keys.aug. Export the declaration KeyError from keys.aug. Export the declaration Page from views.aug. Export the declaration securityHeaders from headers.aug.

Export the declaration withCookie from headers.aug.