polysemy-1.5.0.0: Higher-order, low-boilerplate free monads.

Safe Haskell	Safe-Inferred
Language	Haskell2010

Polysemy.Internal.Kind

Synopsis

type Effect = (Type -> Type) -> Type -> Type
type EffectRow = [Effect]

Documentation

type Effect = (Type -> Type) -> Type -> Type Source #

The kind of effects.

Since: 0.5.0.0

type EffectRow = [Effect] Source #

The kind of effect rows.

Since: 0.5.0.0