Polysemy.Internal.CustomErrors

Documentation

type AmbiguousSend e r = IfStuck r (AmbiguousSendError TyVarR r e) (Pure (AmbiguousSendError (UnstuckRState r) r e))

type WhenStuck expr b = IfStuck expr b NoErrorFcf

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)

This constraint gives helpful error messages if you attempt to use a first-order combinator with a higher-order type.

type family UnhandledEffect e where ...

Equations

UnhandledEffect e = IfStuck (DefiningModule e) (TypeError (UnhandledEffectMsg e)) (DoError (UnhandledEffectMsg e :$$: CheckDocumentation e))

type family DefiningModule (t :: k) :: Symbol

The module this effect was originally defined in. This type family is used only for providing better error messages.

Calls to makeSem will automatically give instances of DefiningModule.

Instances

type DefiningModule Final

Defined in Polysemy.Final

type DefiningModule Final = "Polysemy.Final"

type DefiningModule Async

Defined in Polysemy.Async

type DefiningModule Async = "Polysemy.Async"

type DefiningModule Resource

Defined in Polysemy.Resource

type DefiningModule Resource = "Polysemy.Resource"

type DefiningModule Writer

Defined in Polysemy.Internal.Writer

type DefiningModule Writer = "Polysemy.Internal.Writer"

type DefiningModule Reader

Defined in Polysemy.Reader

type DefiningModule Reader = "Polysemy.Reader"

type DefiningModule (Error :: Type -> (k -> Type) -> k -> Type)

Defined in Polysemy.Error

type DefiningModule (Error :: Type -> (k -> Type) -> k -> Type) = "Polysemy.Error"

type DefiningModule (State :: Type -> k -> Type -> Type)

Defined in Polysemy.State

type DefiningModule (State :: Type -> k -> Type -> Type) = "Polysemy.State"

type DefiningModule (Output :: Type -> k -> Type -> Type)

Defined in Polysemy.Output

type DefiningModule (Output :: Type -> k -> Type -> Type) = "Polysemy.Output"

type DefiningModule (AtomicState :: Type -> k -> Type -> Type)

Defined in Polysemy.AtomicState

type DefiningModule (AtomicState :: Type -> k -> Type -> Type) = "Polysemy.AtomicState"

type DefiningModule (Trace :: k -> Type -> Type)

Defined in Polysemy.Trace

type DefiningModule (Trace :: k -> Type -> Type) = "Polysemy.Trace"

type DefiningModule (Input :: k1 -> k2 -> k1 -> Type)

Defined in Polysemy.Input

type DefiningModule (Input :: k1 -> k2 -> k1 -> Type) = "Polysemy.Input"

type DefiningModule (View :: k1 -> k2 -> k1 -> Type)

Defined in Polysemy.View

type DefiningModule (View :: k1 -> k2 -> k1 -> Type) = "Polysemy.View"

type family DefiningModuleForEffect (e :: k) :: Symbol where ...

Equations

DefiningModuleForEffect (e a) = DefiningModuleForEffect e

DefiningModuleForEffect e = DefiningModule e