Control.Monad.Hyper

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

Documentation

class ContravariantFunctor f where

Methods

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

Instances

ContravariantFunctor (ContraF a)

ContravariantFunctor (ConstantF a)

ContravariantFunctor (FstB a)

ContravariantFunctor (ConstB t a)

(Bifunctor p, ContravariantFunctor f, ContravariantFunctor g) => ContravariantFunctor (BifunctorF p f g)

type Hyper h a = FixB (HyperB h)

A generic recursive hyperfunction-like combinator

type Hyp e a = Hyper (ContraF e) a

Traditional Hyper functions

newtype HyperB h a b

Constructors

HyperB

Fields

runHyperB :: h b -> a

Instances

ContravariantFunctor h => Bifunctor (HyperB h)

ContravariantFunctor h => PPointed (HyperB h)

ContravariantFunctor h => PApplicative (HyperB h)

ContravariantFunctor h => PMonad (HyperB h)