Data.Effect.Fail

Documentation

data Fail (a :: Type) where

Constructors

Fail :: String -> Fail a

type LFail = LiftIns Fail

pattern LFail :: () => (a ~ a, ()) => String -> LiftIns Fail f a

fail'' :: forall key (a :: Type) f. SendInsBy key Fail f => String -> f a

fail' :: forall tag (a :: Type) f. SendIns (Tag Fail tag) f => String -> f a

fail :: forall (a :: Type) f. SendIns Fail f => String -> f a