jukebox-0.1.6: A first-order reasoning toolbox
Jukebox.Seq
data Seq a Source
Constructors
Instances
class List f where Source
Methods
fromList :: f a -> Seq a Source
toList :: f a -> [a] Source
appendA :: Seq a -> Seq a -> Seq a Source
cons :: a -> Seq a -> Seq a Source
snoc :: Seq a -> a -> Seq a Source
append :: (List f, List g) => f a -> g a -> Seq a Source
concat :: (List f, List g) => f (g a) -> Seq a Source
concatMap :: (List f, List g) => (a -> g b) -> f a -> Seq b Source
concatMapA :: (a -> Seq b) -> Seq a -> Seq b Source
fold :: (b -> b -> b) -> (a -> b) -> b -> Seq a -> b Source
unique :: (Ord a, Hashable a, List f) => f a -> [a] Source
length :: Seq a -> Int Source
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