Safe Haskell	None
Language	Haskell2010

Polysemy.Internal.CustomErrors

Synopsis

type family AmbiguousSend r e where ...
type family Break (c :: Constraint) (rep :: (* -> *) -> * -> *) :: Constraint where ...
type FirstOrder e fn = forall m. Coercible (e m) (e (FirstOrderError e fn))
type family UnhandledEffect z e where ...
type family DefiningModule (t :: k) :: Symbol
type family DefiningModuleForEffect (e :: k) :: Symbol where ...

Documentation

type family AmbiguousSend r e where ... Source #

Equations

AmbiguousSend r (e a b c d f) = TypeError (AmbigousEffectMessage r e (e a b c d f) '[a, b c d f])
AmbiguousSend r (e a b c d) = TypeError (AmbigousEffectMessage r e (e a b c d) '[a, b c d])
AmbiguousSend r (e a b c) = TypeError (AmbigousEffectMessage r e (e a b c) '[a, b c])
AmbiguousSend r (e a b) = TypeError (AmbigousEffectMessage r e (e a b) '[a, b])
AmbiguousSend r (e a) = TypeError (AmbigousEffectMessage r e (e a) '[a])
AmbiguousSend r e = TypeError (((((((Text "Could not deduce: (Member " :<>: ShowType e) :<>: Text " ") :<>: ShowType r) :<>: Text ") ") :$$: Text "Fix:") :$$: ((((Text " add (Member " :<>: ShowType e) :<>: Text " ") :<>: ShowType r) :<>: Text ") to the context of")) :$$: Text " the type signature")

type family Break (c :: Constraint) (rep :: (* -> *) -> * -> *) :: Constraint where ... Source #

Equations

Break _ T1 = ((), ())
Break _ c = ()

type FirstOrder e fn = forall m. Coercible (e m) (e (FirstOrderError e fn)) Source #

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

type family UnhandledEffect z e where ... Source #

Equations

UnhandledEffect z e = BreakSym z e (TypeError (UnhandledEffectMsg e)) (DefiningModuleForEffect e)

Instances

type DefiningModule Resource Source #
Instance details Defined in Polysemy.Resource type DefiningModule Resource = "Polysemy.Resource"
type DefiningModule Reader Source #
Instance details Defined in Polysemy.Reader type DefiningModule Reader = "Polysemy.Reader"
type DefiningModule Writer Source #
Instance details Defined in Polysemy.Writer type DefiningModule Writer = "Polysemy.Writer"
type DefiningModule (Error :: Type -> (k -> Type) -> k -> Type) Source #
Instance details Defined in Polysemy.Error type DefiningModule (Error :: Type -> (k -> Type) -> k -> Type) = "Polysemy.Error"
type DefiningModule (State :: Type -> k -> Type -> Type) Source #
Instance details Defined in Polysemy.State type DefiningModule (State :: Type -> k -> Type -> Type) = "Polysemy.State"
type DefiningModule (Output :: Type -> k -> Type -> Type) Source #
Instance details Defined in Polysemy.Output type DefiningModule (Output :: Type -> k -> Type -> Type) = "Polysemy.Output"
type DefiningModule (Random :: k -> Type -> Type) Source #
Instance details Defined in Polysemy.Random type DefiningModule (Random :: k -> Type -> Type) = "Polysemy.Random"
type DefiningModule (Trace :: k -> Type -> Type) Source #
Instance details Defined in Polysemy.Trace type DefiningModule (Trace :: k -> Type -> Type) = "Polysemy.Trace"
type DefiningModule (Input :: k1 -> k2 -> k1 -> Type) Source #
Instance details Defined in Polysemy.Input type DefiningModule (Input :: k1 -> k2 -> k1 -> Type) = "Polysemy.Input"

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

Equations

DefiningModuleForEffect (e a) = DefiningModuleForEffect e
DefiningModuleForEffect e = DefiningModule e