Control.Monad.Hyper

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

Documentation

newtype HyperB h a b

Constructors

HyperB

Fields

runHyperB :: h b -> a

Instances

ContravariantFunctor h => Bifunctor (HyperB h)

ContravariantFunctor h => PMonad (HyperB h)

type Hyper h a = FixB (HyperB h)

A generic recursive hyperfunction-like combinator

type Hyp e a = Hyper (ContraF e) a

Traditional Hyper functions