Control.Comonad.Pointer

SIGFPE (Dan Piponi)'s Pointer Comonad

Documentation

module Control.Comonad

data Pointer i a

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