Control.Monad.Hyper

Portability	non-portable (functional-dependencies)
Stability	experimental
Maintainer	Edward Kmett <ekmett@gmail.com>

Description

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

Synopsis

class ContraFunctor f where

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

type Hyper h a = Fix (PHyper h)

type Hyp e a = Hyper (ContraF e) a

newtype PHyper h a b = PHyper {

runPHyper :: h b -> a

}

Documentation

class ContraFunctor f where

Methods

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

Instances

type Hyper h a = Fix (PHyper h)

A generic recursive hyperfunction-like combinator

type Hyp e a = Hyper (ContraF e) a

Traditional Hyper functions

newtype PHyper h a b

Constructors

PHyper

runPHyper :: h b -> a

Instances

Produced by Haddock version 2.1.0