Portability | GHC only |
---|---|

Stability | experimental |

Maintainer | ekmett@gmail.com |

- data Tensors f a = a :- (Tensors f (f a))
- headT :: Tensors f a -> a
- tailT :: Tensors f a -> Tensors f (f a)
- tensors :: Functor f => Stream f a -> Tensors f a
- data Stream f a = a :< (f (Stream f a))
- headS :: Stream f a -> a
- tailS :: Stream f a -> f (Stream f a)
- unfoldS :: Functor f => (a -> (b, f a)) -> a -> Stream f b
- class Functor f => Copointed f where
- extract :: f a -> a

- class Copointed f => Comonad f where

# Tensors

Functor f => Functor (Tensors f) | |

Foldable f => Foldable (Tensors f) | |

Traversable f => Traversable (Tensors f) | |

Functor f => Copointed (Tensors f) | While we can not be a |