jukebox-0.1.2: A first-order reasoning toolbox
Jukebox.Seq
data Seq a Source
Constructors
Instances
class List f whereSource
Methods
fromList :: f a -> Seq aSource
toList :: f a -> [a]Source
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