| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Polysemy.Internal.CustomErrors
Synopsis
- type WhenStuck expr b = IfStuck expr b NoErrorFcf
- type FirstOrder (e :: Effect) fn = UnlessStuck e (FirstOrderErrorFcf e fn)
- type family (l :: k1) <> (r :: k2) :: ErrorMessage where ...
- type family (t :: k1) % (b :: k2) :: ErrorMessage where ...
Documentation
type WhenStuck expr b = IfStuck expr b NoErrorFcf Source #
Like IfStuck, but specialized to the case when you don't want to do
anything if expr isn't stuck.
type FirstOrder (e :: Effect) fn = UnlessStuck e (FirstOrderErrorFcf e fn) Source #
This constraint gives helpful error messages if you attempt to use a first-order combinator with a higher-order type.
type family (l :: k1) <> (r :: k2) :: ErrorMessage where ... infixl 5 Source #