category-extras-0.53.6: Various modules and constructs inspired by category theoryContentsIndex
Control.Comonad.Pointer
Portabilityportable
Stabilityexperimental
MaintainerEdward Kmett <ekmett@gmail.com>
Description
SIGFPE (Dan Piponi)'s Pointer Comonad
Documentation
module Control.Comonad
data Pointer i a
Constructors
Pointer
index :: i
array :: Array i a
show/hide Instances
Ix i => Functor (Pointer i)
Ix i => Copointed (Pointer i)
Ix i => Comonad (Pointer i)
(Read i, Read a, Ix i) => Read (Pointer i a)
(Show i, Show a, Ix i) => Show (Pointer i a)
distPointer :: (Monad m, Ix i) => Dist (Pointer i) m
Produced by Haddock version 2.1.0