 categoryextras0.53.6: Various modules and constructs inspired by category theory  Contents  Index 

Control.Monad.Hyper  Portability  nonportable (functionaldependencies)  Stability  experimental  Maintainer  Edward Kmett <ekmett@gmail.com> 



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


Synopsis 



Documentation 

class ContraFunctor f where 
 Methods  contramap :: (a > b) > f b > f a 
  Instances  


type Hyper h a = Fix (PHyper h) 
A generic recursive hyperfunctionlike combinator


type Hyp e a = Hyper (ContraF e) a 
Traditional Hyper functions


newtype PHyper h a b 
Constructors   Instances  


Produced by Haddock version 2.1.0 