Modulevortex-ws-0.2.1GHC2024

Vortex.Ws.Door.Effects

The theory of a door's settings, as a pure effect row: a program only declares, and the fold decides what the declarations mean.

Synopsis

datadata Configure (m :: Type -> Type) a where

valuedeclare :: Member Configure r => Statement -> Sem r ()

typetype Door = Sem '[Configure]

A door's settings program.