Data.Stream.Future

Documentation

data Future a

Constructors

Last a

a :< (Future a) infixr 5

Instances

Functor Future

Applicative Future

Foldable Future

Traversable Future

Comonad Future

ComonadApply Future

Traversable1 Future

Alt Future

Apply Future

Extend Future

Foldable1 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)

Typeable (* -> *) Future

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

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

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