Control.Coeffect

Documentation

class Coeffect c where

Specifies "parametric coeffect comonads" which are essentially comonads but annotated by a type-level monoid formed by Plus and Unit

Minimal complete definition

extract, extend

Associated Types

type Inv c (s :: k) (t :: k) :: Constraint

type Unit c :: k

type Plus c (s :: k) (t :: k) :: k

Methods

extract :: c (Unit c) a -> a

Coeffect-parameterised version of extract, annotated with the 'Unit m' effect, denoting pure contexts

extend :: Inv c s t => (c t a -> b) -> c (Plus c s t) a -> c s b

Coeffect-parameterise version of extend. The two coeffec annotations s and t on its parameter computations get combined in the parameter computation by Plus

Instances

Coeffect [Mapping Symbol *] IxCoreader

Associated Types

type Inv IxCoreader (c :: IxCoreader -> * -> *) (s :: IxCoreader) (t :: IxCoreader) :: Constraint

type Unit IxCoreader (c :: IxCoreader -> * -> *) :: k

type Plus IxCoreader (c :: IxCoreader -> * -> *) (s :: IxCoreader) (t :: IxCoreader) :: k

Methods

extract :: c (Unit IxCoreader c) a -> a

extend :: Inv IxCoreader c s t => (c t a -> b) -> c (Plus IxCoreader c s t) a -> c s b

class CoeffectZip c where

Zips two coeffecting computations together

Minimal complete definition

czip

Associated Types

type Meet c (s :: k) (t :: k) :: k

type CzipInv c (s :: k) (t :: k) :: Constraint

Methods

czip :: CzipInv c s t => c s a -> c t b -> c (Meet c s t) (a, b)

Instances

CoeffectZip [Mapping Symbol *] IxCoreader

Associated Types

type Meet IxCoreader (c :: IxCoreader -> * -> *) (s :: IxCoreader) (t :: IxCoreader) :: k

type CzipInv IxCoreader (c :: IxCoreader -> * -> *) (s :: IxCoreader) (t :: IxCoreader) :: Constraint

Methods

czip :: CzipInv IxCoreader c s t => c s a -> c t b -> c (Meet IxCoreader c s t) (a, b)

class Subcoeffect c s t where

Specifies sub-coeffecting behaviour

Minimal complete definition

subco

Methods

subco :: c s a -> c t a