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

GHC 9.14.1 · lts/ghc-9.14.x · b2f3bfd · 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