Numeric.AD.Internal.Stream

Documentation

data Stream f a

Constructors

a :< (f (Stream f a))

Instances

Functor f => Functor (Stream f)

Typeable1 f => Typeable1 (Stream f)

Foldable f => Foldable (Stream f)

Traversable f => Traversable (Stream f)

Functor f => Comonad (Stream f)

Functor f => Copointed (Stream f)

(Typeable1 f, Data (f (Stream f a)), Data a) => Data (Stream f a)

(Show a, Show (f (Stream f a))) => Show (Stream f a)

(Typeable1 f, Typeable a) => Typeable (Stream f a)

unfoldS :: Functor f => (a -> (b, f a)) -> a -> Stream f b

headS :: Stream f a -> a

tailS :: Stream f a -> f (Stream f a)