Documentation

maybeToFromList :: (MonoPointed p, Monoid p) => Maybe (Element p) -> p #

naturalIndexSafe :: (MonadSafe m, Show seq, Show (Index seq), IsSequence seq) => seq -> Natural -> m (Element seq) #

indexSafe :: (MonadSafe m, Show seq, Show (Index seq), IsSequence seq) => seq -> Index seq -> m (Element seq) #

lookup :: (MonadSafe m, Show seq, Show (Index seq), IsSequence seq) => Index seq -> seq -> m (Element seq) #

splitBy :: (Eq (Element seq), IsSequence seq) => Element seq -> seq -> (seq, seq) #

discard :: (MonadSafe m, IsSequence seq) => seq -> m seq #

top :: (MonadSafe m, IsSequence seq) => seq -> m $ Element seq #

unconsSafe :: (MonadSafe m, IsSequence seq) => seq -> m (Element seq, seq) #

uncons2Safe :: (MonadSafe m, IsSequence seq) => seq -> m (Element seq, Element seq, seq) #

uncons2 :: IsSequence seq => seq -> Maybe (Element seq, Element seq, seq) #

class (Integral (Index seq), SemiSequence seq) => InsertDef seq where #