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

ComonadApply Future

Alt Future

Traversable1 Future

Foldable1 Future

Apply Future

Extend Future

Eq a => Eq (Future a)

(Typeable (Future a), Data a) => Data (Future a)

(Eq (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