Safe Haskell	None
Language	Haskell2010

HelVM.HelIO.Containers.LLIndexSafe

Synopsis

naturalIndexSafe :: (MonadSafe m, IndexSafe full item) => full -> Natural -> m item
class IndexSafe full item | full -> item where
- findWithDefault :: item -> Int -> full -> item
- findMaybe :: Int -> full -> Maybe item
- indexMaybe :: full -> Int -> Maybe item
- findSafe :: MonadSafe m => Int -> full -> m item
- indexSafe :: MonadSafe m => full -> Int -> m item
indexSafeLL :: (MonadSafe m, ListLike full item) => full -> Int -> m item

Documentation

naturalIndexSafe :: (MonadSafe m, IndexSafe full item) => full -> Natural -> m item #

Index

class IndexSafe full item | full -> item where #

Type Class

Methods

findWithDefault :: item -> Int -> full -> item #

findMaybe :: Int -> full -> Maybe item #

indexMaybe :: full -> Int -> Maybe item #

findSafe :: MonadSafe m => Int -> full -> m item #

indexSafe :: MonadSafe m => full -> Int -> m item #

Instances details

ListLike full item => IndexSafe full item #
Instance details Defined in HelVM.HelIO.Containers.LLIndexSafe Methods findWithDefault :: item -> Int -> full -> item # findMaybe :: Int -> full -> Maybe item # indexMaybe :: full -> Int -> Maybe item # findSafe :: MonadSafe m => Int -> full -> m item # indexSafe :: MonadSafe m => full -> Int -> m item #
IndexSafe (MapList a) a #	My instances
Instance details Defined in HelVM.HelIO.Collections.MapList Methods findWithDefault :: a -> Int -> MapList a -> a # findMaybe :: Int -> MapList a -> Maybe a # indexMaybe :: MapList a -> Int -> Maybe a # findSafe :: MonadSafe m => Int -> MapList a -> m a # indexSafe :: MonadSafe m => MapList a -> Int -> m a #

indexSafeLL :: (MonadSafe m, ListLike full item) => full -> Int -> m item #

Internal functions