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

Portabilitynon-portable (functional-dependencies)
Stabilityexperimental
MaintainerEdward Kmett <[email protected]>

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

Instances

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

newtype PHyper h a b Source

Constructors

PHyper 

Fields

runPHyper :: h b -> a
 

Instances