uvmhs-0.0.0.0
Safe HaskellSafe-Inferred
LanguageHaskell2010

UVMHS.Core.Data.List

Documentation

mapM๐ฟ :: Monad m => (a -> m b) -> ๐ฟ a -> m (๐ฟ b) Source #

Orphan instances

Bind ๐ฟ Source # 
Instance details

Methods

(โ‰ซ=) :: ๐ฟ a -> (a -> ๐ฟ b) -> ๐ฟ b Source #

Functor ๐ฟ Source # 
Instance details

Methods

map :: (a -> b) -> ๐ฟ a -> ๐ฟ b Source #

FunctorM ๐ฟ Source # 
Instance details

Methods

mapM :: Monad m => (a -> m b) -> ๐ฟ a -> m (๐ฟ b) Source #

Monad ๐ฟ Source # 
Instance details

Return ๐ฟ 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

Monoid (๐ฟ a) Source # 
Instance details

Null (๐ฟ a) Source # 
Instance details

Methods

null :: ๐ฟ a Source #