Data.Stream.Future

Documentation

data Future a

Constructors

Last a

a :< (Future a) infixr 5

Instances

Foldable Future

Defined in Data.Stream.Future

Methods

fold :: Monoid m => Future m -> m

foldMap :: Monoid m => (a -> m) -> Future a -> m

foldMap' :: Monoid m => (a -> m) -> Future a -> m

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

foldr' :: (a -> b -> b) -> b -> Future a -> b

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

foldl' :: (b -> a -> b) -> b -> Future a -> b

foldr1 :: (a -> a -> a) -> Future a -> a

foldl1 :: (a -> a -> a) -> Future a -> a

toList :: Future a -> [a]

null :: Future a -> Bool

length :: Future a -> Int

elem :: Eq a => a -> Future a -> Bool

maximum :: Ord a => Future a -> a

minimum :: Ord a => Future a -> a

sum :: Num a => Future a -> a

product :: Num a => Future a -> a

Foldable1 Future

Defined in Data.Stream.Future

Methods

fold1 :: Semigroup m => Future m -> m

foldMap1 :: Semigroup m => (a -> m) -> Future a -> m

foldMap1' :: Semigroup m => (a -> m) -> Future a -> m

toNonEmpty :: Future a -> NonEmpty a

maximum :: Ord a => Future a -> a

minimum :: Ord a => Future a -> a

head :: Future a -> a

last :: Future a -> a

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

foldlMap1' :: (a -> b) -> (b -> a -> b) -> Future a -> b

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

foldrMap1' :: (a -> b) -> (a -> b -> b) -> Future a -> b

Traversable Future

Defined in Data.Stream.Future

Methods

traverse :: Applicative f => (a -> f b) -> Future a -> f (Future b)

sequenceA :: Applicative f => Future (f a) -> f (Future a)

mapM :: Monad m => (a -> m b) -> Future a -> m (Future b)

sequence :: Monad m => Future (m a) -> m (Future a)

Applicative Future

Defined in Data.Stream.Future

Methods

pure :: a -> Future a

(<*>) :: Future (a -> b) -> Future a -> Future b

liftA2 :: (a -> b -> c) -> Future a -> Future b -> Future c

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

(<*) :: Future a -> Future b -> Future a

Functor Future

Defined in Data.Stream.Future

Methods

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

(<$) :: a -> Future b -> Future a

Comonad Future

Defined in Data.Stream.Future

Methods

extract :: Future a -> a

duplicate :: Future a -> Future (Future a)

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

ComonadApply Future

Defined in Data.Stream.Future

Methods

(<@>) :: Future (a -> b) -> Future a -> Future b

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

(<@) :: Future a -> Future b -> Future a

Alt Future

Defined in Data.Stream.Future

Methods

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

some :: Applicative Future => Future a -> Future [a]

many :: Applicative Future => Future a -> Future [a]

Apply Future

Defined in Data.Stream.Future

Methods

(<.>) :: Future (a -> b) -> Future a -> Future b

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

(<.) :: Future a -> Future b -> Future a

liftF2 :: (a -> b -> c) -> Future a -> Future b -> Future c

Extend Future

Defined in Data.Stream.Future

Methods

duplicated :: Future a -> Future (Future a)

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

Traversable1 Future

Defined in Data.Stream.Future

Methods

traverse1 :: Apply f => (a -> f b) -> Future a -> f (Future b)

sequence1 :: Apply f => Future (f b) -> f (Future b)

Data a => Data (Future a)

Defined in Data.Stream.Future

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Future a -> c (Future a)

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Future a)

toConstr :: Future a -> Constr

dataTypeOf :: Future a -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Future a))

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Future a))

gmapT :: (forall b. Data b => b -> b) -> Future a -> Future a

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Future a -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Future a -> r

gmapQ :: (forall d. Data d => d -> u) -> Future a -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Future a -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Future a -> m (Future a)

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Future a -> m (Future a)

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Future a -> m (Future a)

Semigroup (Future a)

Defined in Data.Stream.Future

Methods

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

sconcat :: NonEmpty (Future a) -> Future a

stimes :: Integral b => b -> Future a -> Future a

IsList (Future a)

Defined in Data.Stream.Future

Associated Types

type Item (Future a)

Methods

fromList :: [Item (Future a)] -> Future a

fromListN :: Int -> [Item (Future a)] -> Future a

toList :: Future a -> [Item (Future a)]

Read a => Read (Future a)

Defined in Data.Stream.Future

Methods

readsPrec :: Int -> ReadS (Future a)

readList :: ReadS [Future a]

readPrec :: ReadPrec (Future a)

readListPrec :: ReadPrec [Future a]

Show a => Show (Future a)

Defined in Data.Stream.Future

Methods

showsPrec :: Int -> Future a -> ShowS

show :: Future a -> String

showList :: [Future a] -> ShowS

Eq a => Eq (Future a)

Defined in Data.Stream.Future

Methods

(==) :: Future a -> Future a -> Bool

(/=) :: Future a -> Future a -> Bool

Ord a => Ord (Future a)

Defined in Data.Stream.Future

Methods

compare :: Future a -> Future a -> Ordering

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

(<=) :: Future a -> Future a -> Bool

(>) :: Future a -> Future a -> Bool

(>=) :: Future a -> Future a -> Bool

max :: Future a -> Future a -> Future a

min :: Future a -> Future a -> Future a

type Item (Future a)

Defined in Data.Stream.Future

type Item (Future a) = a

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

length :: Foldable t => t a -> Int

Returns the size/length of a finite structure as an Int. The default implementation just counts elements starting with the leftmost. Instances for structures that can compute the element count faster than via element-by-element counting, should provide a specialised implementation.

Examples

Basic usage:

>>> length []
0

>>> length ['a', 'b', 'c']
3
>>> length [1..]
* Hangs forever *

Since: base-4.8.0.0

index :: Int -> Future a -> a