category-extras-0.53.3: Various modules and constructs inspired by category theory

Portabilitynon-portable (functional-dependencies)
Stabilityexperimental
MaintainerEdward Kmett <ekmett@gmail.com>

Control.Monad.Hyper

Description

Based on the construction of hyperfunctions as parameterized monads in http://crab.rutgers.edu/~pjohann/f14-ghani.pdf

Synopsis

Documentation

class ContraFunctor f whereSource

Methods

contramap :: (a -> b) -> f b -> f aSource

type Hyper h a = Fix (PHyper h)Source

A generic recursive hyperfunction-like combinator

type Hyp e a = Hyper (ContraF e) aSource

Traditional Hyper functions