Safe Haskell	None
Language	Haskell2010

HelVM.HelIO.Containers.MTIndexSafe

Synopsis

naturalIndexSafe :: (MonadSafe m, IndexSafe seq, Num $ Index seq) => seq -> Natural -> m $ Element seq
class IndexSafe seq where
- findWithDefault :: Element seq -> Index seq -> seq -> Element seq
- findMaybe :: Index seq -> seq -> Maybe $ Element seq
- indexMaybe :: seq -> Index seq -> Maybe $ Element seq
- findSafe :: MonadSafe m => Index seq -> seq -> m $ Element seq
- indexSafe :: MonadSafe m => seq -> Index seq -> m $ Element seq

Documentation

naturalIndexSafe :: (MonadSafe m, IndexSafe seq, Num $ Index seq) => seq -> Natural -> m $ Element seq #

Index

class IndexSafe seq where #

Type Class

Methods

findWithDefault :: Element seq -> Index seq -> seq -> Element seq #

findMaybe :: Index seq -> seq -> Maybe $ Element seq #

indexMaybe :: seq -> Index seq -> Maybe $ Element seq #

findSafe :: MonadSafe m => Index seq -> seq -> m $ Element seq #

indexSafe :: MonadSafe m => seq -> Index seq -> m $ Element seq #

Instances details

IsSequence seq => IndexSafe seq #
Instance details Defined in HelVM.HelIO.Containers.MTIndexSafe Methods findWithDefault :: Element seq -> Index seq -> seq -> Element seq # findMaybe :: Index seq -> seq -> Maybe $ Element seq # indexMaybe :: seq -> Index seq -> Maybe $ Element seq # findSafe :: MonadSafe m => Index seq -> seq -> m $ Element seq # indexSafe :: MonadSafe m => seq -> Index seq -> m $ Element seq #