UVMHS.Core.Data.Sequence
Contents
qø :: 𝑄 a Source #
cons𝑄 :: a -> 𝑄 a -> 𝑄 a Source #
uncons𝑄 :: 𝑄 a -> 𝑂 (a ∧ 𝑄 a) Source #
snoc𝑄 :: 𝑄 a -> a -> 𝑄 a Source #
unsnoc𝑄 :: 𝑄 a -> 𝑂 (𝑄 a ∧ a) Source #
single𝑄 :: a -> 𝑄 a Source #
append𝑄 :: 𝑄 a -> 𝑄 a -> 𝑄 a Source #
map𝑄 :: (a -> b) -> 𝑄 a -> 𝑄 b Source #
bind𝑄 :: 𝑄 a -> (a -> 𝑄 b) -> 𝑄 b Source #
iter𝑄 :: 𝑄 a -> 𝐼 a Source #
seq𝐼 :: 𝐼 a -> 𝑄 a Source #
seq :: ToIter a t => t -> 𝑄 a Source #
Methods
(≫=) :: 𝑄 a -> (a -> 𝑄 b) -> 𝑄 b Source #
map :: (a -> b) -> 𝑄 a -> 𝑄 b Source #
return :: a -> 𝑄 a Source #
single :: a -> 𝑄 a Source #
iter :: 𝑄 a -> 𝐼 a Source #
showsPrec :: Int -> 𝑄 a -> ShowS #
show :: 𝑄 a -> String #
showList :: [𝑄 a] -> ShowS #
(⧺) :: 𝑄 a -> 𝑄 a -> 𝑄 a Source #
null :: 𝑄 a Source #