Safe Haskell | None |
---|---|
Language | Haskell2010 |
Command invokation preconditions
Documentation
A check for a command.
Every check for a command must return Nothing for the command to be run.
Instances
(k ~ A_Lens, a ~ (c1 -> m1 (Maybe Text)), b ~ (c2 -> m2 (Maybe Text))) => LabelOptic "callback" k (Check m1 c1) (Check m2 c2) a b Source # | |
Defined in CalamityCommands.Check | |
(k ~ A_Lens, a ~ Text, b ~ Text) => LabelOptic "name" k (Check m c) (Check m c) a b Source # | |
Defined in CalamityCommands.Check |
buildCheck :: (Monad m, Member (Final m) r) => Text -> (c -> Sem r (Maybe Text)) -> Sem r (Check m c) Source #
Given the name of a check and a callback in the Sem
monad, build a check
by transforming the Polysemy action into an m
action.