Jukebox.Seq

Documentation

data Seq a

Constructors

Append (Seq a) (Seq a)

Unit a

Nil

Instances

Alternative Seq

Monad Seq

Functor Seq

MonadPlus Seq

Applicative Seq

List Seq

Show a => Show (Seq a)

Monoid (Seq a)

Symbolic a => Unpack (Seq a)

Symbolic a => Symbolic (Seq a)

class List f where

Methods

fromList :: f a -> Seq a

toList :: f a -> [a]

Instances

List []

List Seq

appendA :: Seq a -> Seq a -> Seq a

cons :: a -> Seq a -> Seq a

snoc :: Seq a -> a -> Seq a

append :: (List f, List g) => f a -> g a -> Seq a

concat :: (List f, List g) => f (g a) -> Seq a

concatMap :: (List f, List g) => (a -> g b) -> f a -> Seq b

concatMapA :: (a -> Seq b) -> Seq a -> Seq b

fold :: (b -> b -> b) -> (a -> b) -> b -> Seq a -> b

unique :: (Ord a, Hashable a, List f) => f a -> [a]

length :: Seq a -> Int

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

mapM_ :: Monad m => (a -> m ()) -> Seq a -> m ()

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