category-extras-0.53.5: Various modules and constructs inspired by category theorySource 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
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 whereSource
Methods
contramap :: (a -> b) -> f b -> f aSource
show/hide Instances
type Hyper h a = Fix (PHyper h)Source
A generic recursive hyperfunction-like combinator
type Hyp e a = Hyper (ContraF e) aSource
Traditional Hyper functions
newtype PHyper h a b Source
Constructors
PHyper
runPHyper :: h b -> a
show/hide Instances
Produced by Haddock version 2.4.2