Data.Slice.Lens.Internal

Documentation

class Slice s where

Methods

start :: s -> Maybe Int

end :: s -> Maybe Int

step :: s -> Maybe Int

Instances

Slice String

Defined in Data.Slice.Lens.Internal

Methods

start :: String -> Maybe Int

end :: String -> Maybe Int

step :: String -> Maybe Int

Slice (Int, Int, Int)

Defined in Data.Slice.Lens.Internal

Methods

start :: (Int, Int, Int) -> Maybe Int

end :: (Int, Int, Int) -> Maybe Int

step :: (Int, Int, Int) -> Maybe Int

Slice (Maybe Int, Maybe Int, Maybe Int)

Defined in Data.Slice.Lens.Internal

Methods

start :: (Maybe Int, Maybe Int, Maybe Int) -> Maybe Int

end :: (Maybe Int, Maybe Int, Maybe Int) -> Maybe Int

step :: (Maybe Int, Maybe Int, Maybe Int) -> Maybe Int

sliced :: (Slice s, Traversable t) => s -> IndexedTraversal' Int (t a) a

sliced' :: Traversable t => Maybe Int -> Maybe Int -> Maybe Int -> IndexedTraversal' Int (t a) a

rsliced :: (Slice s, Traversable t) => s -> Traversal' (t a) a

rsliced' :: Traversable t => Maybe Int -> Maybe Int -> Maybe Int -> Traversal' (t a) a

isliced :: (Slice s, Traversable t) => s -> IndexedTraversal' Int (t a) a

isliced' :: Traversable t => Maybe Int -> Maybe Int -> Maybe Int -> IndexedTraversal' Int (t a) a

tupleSliceFromString :: String -> (Maybe Int, Maybe Int, Maybe Int)

slice :: (Slice s, Traversable t, Applicative f, Reversing (t a)) => s -> (a -> f a) -> t a -> f (t a)

slice' :: (Traversable t, Applicative f, Reversing (t a)) => Maybe Int -> Maybe Int -> Maybe Int -> (a -> f a) -> t a -> f (t a)