Data.Stream.Future

Documentation

data Future a

Constructors

Last a

a :< (Future a)

Instances

Functor Future

Typeable1 Future

Applicative Future

Foldable Future

Traversable Future

Comonad Future

ApplicativeAlt Future

FunctorAlt Future

ComonadApply Future

Traversable1 Future

Foldable1 Future

FunctorApply Future

Eq a => Eq (Future a)

Data a => Data (Future a)

Ord a => Ord (Future a)

Read a => Read (Future a)

Show a => Show (Future a)

Semigroup (Future a)

cons :: a -> Future a -> Future a

(<|) :: a -> Future a -> Future a

head :: Future a -> a

tail :: Future a -> Maybe (Future a)

length :: Future a -> Int

tails :: Future a -> Future (Future a)

map :: (a -> b) -> Future a -> Future b

index :: Int -> Future a -> a