jukebox-0.1.2: A first-order reasoning toolbox

Safe HaskellNone

Jukebox.Seq

Documentation

data Seq a Source

Constructors

Append (Seq a) (Seq a) 
Unit a 
Nil 

Instances

Monad Seq 
Functor Seq 
MonadPlus Seq 
List Seq 
Show a => Show (Seq a) 
Monoid (Seq a) 
Symbolic a => Unpack (Seq a) 
Symbolic a => Symbolic (Seq a) 

class List f whereSource

Methods

fromList :: f a -> Seq aSource

toList :: f a -> [a]Source

Instances

List [] 
List Seq 

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

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

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

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

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

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

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

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

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

length :: Seq a -> IntSource

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

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

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