| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Control.Coeffect
- class Coeffect c where
- class CoeffectZip c where
- class Subcoeffect c s t where
- subco :: c s a -> c t a
Documentation
Specifies "parametric coeffect comonads" which are essentially comonads but annotated by a type-level monoid formed by |Plus m| and |Unit m| |
Associated Types
type Inv c s t :: Constraint Source
Methods
extract :: c (Unit c) a -> a Source
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 Source
Coeffect-parameterise version of extend.
The two coeffec annotations f and g on its parameter computations
get combined in the result by 'Plus m s t' |
Instances
| Coeffect [*] IxCoreader |
class Subcoeffect c s t where Source
Specifies sub-coeffecting behaviour |