Documentation

Methods

basicUnsafeFreeze :: PrimMonad m => Mutable Vector (PrimState m) (Index t) -> m (Vector (Index t)) #

basicUnsafeThaw :: PrimMonad m => Vector (Index t) -> m (Mutable Vector (PrimState m) (Index t)) #

basicLength :: Vector (Index t) -> Int #

basicUnsafeSlice :: Int -> Int -> Vector (Index t) -> Vector (Index t) #

basicUnsafeIndexM :: Monad m => Vector (Index t) -> Int -> m (Index t) #

basicUnsafeCopy :: PrimMonad m => Mutable Vector (PrimState m) (Index t) -> Vector (Index t) -> m () #

elemseq :: Vector (Index t) -> Index t -> b -> b #

Methods

basicLength :: MVector s (Index t) -> Int #

basicUnsafeSlice :: Int -> Int -> MVector s (Index t) -> MVector s (Index t) #

basicOverlaps :: MVector s (Index t) -> MVector s (Index t) -> Bool #

basicUnsafeNew :: PrimMonad m => Int -> m (MVector (PrimState m) (Index t)) #

basicInitialize :: PrimMonad m => MVector (PrimState m) (Index t) -> m () #

basicUnsafeReplicate :: PrimMonad m => Int -> Index t -> m (MVector (PrimState m) (Index t)) #

basicUnsafeRead :: PrimMonad m => MVector (PrimState m) (Index t) -> Int -> m (Index t) #

basicUnsafeWrite :: PrimMonad m => MVector (PrimState m) (Index t) -> Int -> Index t -> m () #

basicClear :: PrimMonad m => MVector (PrimState m) (Index t) -> m () #

basicSet :: PrimMonad m => MVector (PrimState m) (Index t) -> Index t -> m () #

basicUnsafeCopy :: PrimMonad m => MVector (PrimState m) (Index t) -> MVector (PrimState m) (Index t) -> m () #

basicUnsafeMove :: PrimMonad m => MVector (PrimState m) (Index t) -> MVector (PrimState m) (Index t) -> m () #

basicUnsafeGrow :: PrimMonad m => MVector (PrimState m) (Index t) -> Int -> m (MVector (PrimState m) (Index t)) #

Methods

(==) :: Index t -> Index t -> Bool #

(/=) :: Index t -> Index t -> Bool #

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Index t -> c (Index t) #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Index t) #

toConstr :: Index t -> Constr #

dataTypeOf :: Index t -> DataType #

dataCast1 :: Typeable t0 => (forall d. Data d => c (t0 d)) -> Maybe (c (Index t)) #

dataCast2 :: Typeable t0 => (forall d e. (Data d, Data e) => c (t0 d e)) -> Maybe (c (Index t)) #

gmapT :: (forall b. Data b => b -> b) -> Index t -> Index t #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Index t -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Index t -> r #

gmapQ :: (forall d. Data d => d -> u) -> Index t -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Index t -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Index t -> m (Index t) #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Index t -> m (Index t) #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Index t -> m (Index t) #

Methods

(+) :: Index t -> Index t -> Index t #

(-) :: Index t -> Index t -> Index t #

(*) :: Index t -> Index t -> Index t #

negate :: Index t -> Index t #

abs :: Index t -> Index t #

signum :: Index t -> Index t #

fromInteger :: Integer -> Index t #

Methods

compare :: Index t -> Index t -> Ordering #

(<) :: Index t -> Index t -> Bool #

(<=) :: Index t -> Index t -> Bool #

(>) :: Index t -> Index t -> Bool #

(>=) :: Index t -> Index t -> Bool #

max :: Index t -> Index t -> Index t #

min :: Index t -> Index t -> Index t #

Methods

readsPrec :: Int -> ReadS (Index t) #

readList :: ReadS [Index t] #

readPrec :: ReadPrec (Index t) #

readListPrec :: ReadPrec [Index t] #

Methods

showsPrec :: Int -> Index t -> ShowS #

show :: Index t -> String #

showList :: [Index t] -> ShowS #

Methods

range :: (Index t, Index t) -> [Index t] #

index :: (Index t, Index t) -> Index t -> Int #

unsafeIndex :: (Index t, Index t) -> Index t -> Int

inRange :: (Index t, Index t) -> Index t -> Bool #

rangeSize :: (Index t, Index t) -> Int #

unsafeRangeSize :: (Index t, Index t) -> Int

Methods

from :: Index t -> Rep (Index t) x #

to :: Rep (Index t) x -> Index t #

Methods

linearIndex :: LimitType (Index t) -> Index t -> Int #

size :: LimitType (Index t) -> Int #

inBounds :: LimitType (Index t) -> Index t -> Bool #

zeroBound :: Index t #

zeroBound' :: LimitType (Index t) #

totalSize :: LimitType (Index t) -> [Integer] #

Methods

streamUp :: Monad m => LimitType (Index t) -> LimitType (Index t) -> Stream m (Index t) #

streamDown :: Monad m => LimitType (Index t) -> LimitType (Index t) -> Stream m (Index t) #

Methods

arbitrary :: Gen (Index t) #

shrink :: Index t -> [Index t] #

Methods

rnf :: Index t -> () #

Methods

hashWithSalt :: Int -> Index t -> Int #

hash :: Index t -> Int #

Methods

toJSON :: Index t -> Value #

toEncoding :: Index t -> Encoding #

toJSONList :: [Index t] -> Value #

toEncodingList :: [Index t] -> Encoding #

Methods

parseJSON :: Value -> Parser (Index t) #

parseJSONList :: Value -> Parser [Index t] #

Methods

put :: Index t -> Put #

get :: Get (Index t) #

putList :: [Index t] -> Put #

Methods

put :: Putter (Index t) #

get :: Get (Index t) #

Methods

streamUp :: Monad m => LimitType (z :. Index t) -> LimitType (z :. Index t) -> Stream m (z :. Index t) #

streamDown :: Monad m => LimitType (z :. Index t) -> LimitType (z :. Index t) -> Stream m (z :. Index t) #