Documentation

fail :: forall (b :: Type) a es ff c. (Free c ff, a ~ Eff ff es, (:>) Fail es) => String -> a b Source #

runFailIO :: forall es a ff c. (Emb IO :> es, Monad (Eff ff es), Free c ff) => Eff ff (Fail ': es) a -> Eff ff es a Source #

fail' :: forall key (b :: Type) a es ff c. (Free c ff, a ~ Eff ff es, Has key Fail es) => String -> a b Source #

fail'' :: forall tag (b :: Type) a es ff c. (Free c ff, a ~ Eff ff es, (:>) (Tagged tag Fail) es) => String -> a b Source #

fail'_ :: forall (b :: Type) a es ff c. (Free c ff, a ~ Eff ff es, In Fail es) => String -> a b Source #

data Fail (a :: Type -> Type) b where #