category-extras-0.52.0: Various modules and constructs inspired by category theory Source code Contents Index

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 Source

Methods contramap :: (a -> b) -> f b -> f a Source Instances ContraFunctor (Const a) ContraFunctor (ContraF a) ContraFunctor (Const2 t a) (Bifunctor p Hask Hask Hask, ContraFunctor f, ContraFunctor g) => ContraFunctor (Lift p f g)

type Hyper h a = Fix (PHyper h) Source

A generic recursive hyperfunction-like combinator

type Hyp e a = Hyper (ContraF e) a Source

Traditional Hyper functions

newtype PHyper h a b Source

Constructors PHyper runPHyper :: h b -> a Instances ContraFunctor h => PPointed (PHyper h) ContraFunctor h => PApplicative (PHyper h) ContraFunctor h => PMonad (PHyper h) ContraFunctor h => QFunctor (PHyper h) Hask Hask PFunctor (PHyper h) Hask Hask ContraFunctor h => Bifunctor (PHyper h) Hask Hask Hask

Produced by Haddock version 2.3.0