Portability  portable 

Stability  provisional 
Maintainer  Edward Kmett <ekmett@gmail.com> 
The fbranching stream comonad, aka the cofree comonad for a Functor f.
Provided here as a comonadtransformer version of the 'ListT done right' monad transformer.
 type Stream f = StreamT f Identity
 stream :: a > f (Stream f a) > Stream f a
 runStream :: Stream f a > (a, f (Stream f a))
 unfolds :: Functor f => (a > (b, f a)) > a > Stream f b
 data StreamT f w a = StreamT {
 runStreamT :: w (a, f (StreamT f w a))
 tails :: Comonad w => StreamT f w a > f (StreamT f w a)
 unfoldsW :: (Comonad w, Functor f) => (w a > (b, f a)) > w a > StreamT f w b
The Stream comonad
type Stream f = StreamT f IdentitySource
Isomorphic to the definition:
data Stream f a = a :< f (Stream f a)
The Stream comonad transformer
The fbranching stream comonad transformer is a comonadic version of
the "ListT done Right" monad transformer. You can extract the underlying comonadic
value by using lower
or runStream
StreamT  

Functor f => ComonadTrans (StreamT f)  
Functor f => ComonadHoist (StreamT f)  
(Functor w, Functor f) => Functor (StreamT f w)  
(Typeable1 f, Typeable1 w) => Typeable1 (StreamT f w)  
(Foldable w, Foldable f) => Foldable (StreamT f w)  
(Traversable w, Traversable f) => Traversable (StreamT f w)  
(Comonad w, Functor f) => Comonad (StreamT f w)  
(ComonadApply w, FunctorApply f) => ComonadApply (StreamT f w)  
(ComonadApply w, FunctorApply f) => FunctorApply (StreamT f w)  
(Typeable1 f, Typeable1 w, Data (w (a, f (StreamT f w a))), Data (a, f (StreamT f w a)), Data (f (StreamT f w a)), Data a) => Data (StreamT f w a)  
(Typeable1 f, Typeable1 w, Typeable a) => Typeable (StreamT f w a) 