UVMHS.Core.Data.List
Contents
empty𝐿 :: 𝐿 a Source #
single𝐿 :: a -> 𝐿 a Source #
lookup𝐿 :: ℕ64 -> 𝐿 a -> 𝑂 a Source #
cons𝐿 :: a -> 𝐿 a -> 𝐿 a Source #
uncons𝐿 :: 𝐿 a -> 𝑂 (a ∧ 𝐿 a) Source #
snoc𝐿 :: 𝐿 a -> a -> 𝐿 a Source #
unsnoc𝐿 :: 𝐿 a -> 𝑂 (𝐿 a ∧ a) Source #
append𝐿 :: 𝐿 a -> 𝐿 a -> 𝐿 a Source #
map𝐿 :: (a -> b) -> 𝐿 a -> 𝐿 b Source #
bind𝐿 :: 𝐿 a -> (a -> 𝐿 b) -> 𝐿 b Source #
mapM𝐿 :: Monad m => (a -> m b) -> 𝐿 a -> m (𝐿 b) Source #
cart :: 𝐿 (𝐿 a) -> 𝐿 (𝐿 a) Source #
swivelL :: 𝐿 a -> a -> a ∧ 𝐿 a Source #
swivelR :: a -> 𝐿 a -> 𝐿 a ∧ a Source #
iswivelL :: 𝐿 (a ∧ i) -> a -> a ∧ 𝐿 (i ∧ a) Source #
iswivelR :: a -> 𝐿 (i ∧ a) -> 𝐿 (a ∧ i) ∧ a Source #
zipSameLength :: 𝐿 a -> 𝐿 b -> 𝑂 (𝐿 (a ∧ b)) Source #
split :: 𝐿 (a ∧ b) -> 𝐿 a ∧ 𝐿 b Source #
firstSome :: 𝐿 (𝑂 a) -> 𝑂 a Source #
Methods
(≫=) :: 𝐿 a -> (a -> 𝐿 b) -> 𝐿 b Source #
map :: (a -> b) -> 𝐿 a -> 𝐿 b Source #
mapM :: Monad m => (a -> m b) -> 𝐿 a -> m (𝐿 b) Source #
return :: a -> 𝐿 a Source #
(⋕?) :: 𝐿 a -> ℕ64 -> 𝑂 a Source #
single :: a -> 𝐿 a Source #
iter :: 𝐿 a -> 𝐼 a Source #
(⧺) :: 𝐿 a -> 𝐿 a -> 𝐿 a Source #
null :: 𝐿 a Source #