polysemy-1.3.0.0: Higher-order, low-boilerplate, zero-cost free monads.

Safe Haskell	Safe
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