category-extras-0.44.1: Various modules and constructs inspired by category theory.Source codeContentsIndex
Control.Monad.Hyper
Portabilitynon-portable (functional-dependencies)
Stabilityexperimental
MaintainerEdward Kmett <ekmett@gmail.com>
Description
Based on the construction of hyperfunctions as parameterized monads in http://crab.rutgers.edu/~pjohann/f14-ghani.pdf
Synopsis
newtype HyperB h a b = HyperB {
runHyperB :: h b -> a
}
type Hyper h a = FixB (HyperB h)
type Hyp e a = Hyper (ContraF e) a
Documentation
newtype HyperB h a b Source
Constructors
HyperB
runHyperB :: h b -> a
show/hide Instances
type Hyper h a = FixB (HyperB h)Source
A generic recursive hyperfunction-like combinator
type Hyp e a = Hyper (ContraF e) aSource
Traditional Hyper functions
Produced by Haddock version 2.1.0