HORIZON HASKELLDocslts/ghc-10.0.xfc4e5982026-10-11Search names, modules, packages, or :: a typeCtrl K

GHC 10.0.0.20260917 · lts/ghc-10.0.x · fc4e598 · 2026-10-11

Modulevortex-session-0.3.0GHC2024

Vortex.Wisp

The subject vocabulary. Authorization is a wisp-indexed family of models: every wisp speaks the same theory, but which algebra interprets it depends on who is asking.

  • 1 type
  • 1 value