{-# OPTIONS_HADDOCK not-home #-}
module Polysemy.Internal.Fixpoint where
data Fixpoint m a where
Fixpoint :: (a -> m a) -> Fixpoint m a
bomb :: String -> a
bomb str = error $
str ++ ": Internal computation failed.\
\ This is likely because you have tried to recursively use\
\ the result of a failed computation in an action\
\ whose effect may be observed even though the computation failed.\
\ It's also possible that you're using an interpreter\
\ that uses 'weave' improperly.\
\ See documentation for more information."