Tintin.Capabilities

Documentation

liftCapability allows executing an IO action stored in a Capability value in the Effectful monad.

It is intended to be used within the Capability definition module, not outside.

data MyCapability = MyCapability
  { _myAction :: IO ()
  }

myAction :: Has MyCapability e
         => Effectful e ()
myAction = liftCapability _myAction

liftCapability :: (LiftableWithCapability v, Has capability (Context v)) => (capability -> Execution v) -> v