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 |