category-extras-0.53.1: Various modules and constructs inspired by category theory

Portabilityportable
Stabilityexperimental
MaintainerEdward Kmett <[email protected]>

Control.Comonad.Pointer

Description

SIGFPE (Dan Piponi)'s Pointer Comonad

Documentation

module Control.Comonad

data Pointer i a Source

Constructors

Pointer 

Fields

index :: i
 
array :: Array i a
 

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) mSource