uvmhs-0.0.0.0
Safe HaskellSafe-Inferred
LanguageHaskell2010

UVMHS.Core.Data.LazyList

Documentation

singleLL :: a -> [a] Source #

consLL :: a -> [a] -> [a] Source #

snocLL :: [a] -> a -> [a] Source #

appendLL :: [a] -> [a] -> [a] Source #

mapLL :: (a -> b) -> [a] -> [b] Source #

bindLL :: [a] -> (a -> [b]) -> [b] Source #

mapMLL :: Monad m => (a -> m b) -> [a] -> m [b] Source #

Orphan instances

Bind List Source # 
Instance details

Methods

(≫=) :: [a] -> (a -> [b]) -> [b] Source #

Functor List Source # 
Instance details

Methods

map :: (a -> b) -> [a] -> [b] Source #

FunctorM List Source # 
Instance details

Methods

mapM :: Monad m => (a -> m b) -> [a] -> m [b] Source #

Monad List Source # 
Instance details

Return List Source # 
Instance details

Methods

return :: a -> [a] Source #

Single a [a] Source # 
Instance details

Methods

single :: a -> [a] Source #

ToIter a [a] Source # 
Instance details

Methods

iter :: [a] -> 𝐼 a Source #

Append [a] Source # 
Instance details

Methods

(⧺) :: [a] -> [a] -> [a] Source #

Monoid [a] Source # 
Instance details

Null [a] Source # 
Instance details

Methods

null :: [a] Source #