Documentation

data Fail a where Source #

type LFail = LiftFOE Fail Source #

pattern LFail :: forall a f a1. () => forall. (a ~ a1, ()) => String -> LiftFOE Fail f a Source #

fail :: forall a f. SendFOE Fail f => String -> f a Source #

fail' :: forall {k} (tag :: k) a f. SendFOE (Tag Fail tag) f => String -> f a Source #

fail'' :: forall {k} (key :: k) a f. SendFOEBy key Fail f => String -> f a Source #