category-extras-0.53.0: Various modules and constructs inspired by category theory Source code Contents Index

Control.Comonad.Pointer Portability portable Stability experimental Maintainer Edward Kmett <ekmett@gmail.com>

Description

SIGFPE (Dan Piponi)'s Pointer Comonad

Documentation

module Control.Comonad

data Pointer i a Source

Constructors Pointer 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 Source

Produced by Haddock version 2.3.0