Documentation

Methods

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

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

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

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

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

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

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

Methods

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

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

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

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

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

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

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

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

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

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

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

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

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

Methods

(==) :: LimitType (Unit t) -> LimitType (Unit t) -> Bool #

(/=) :: LimitType (Unit t) -> LimitType (Unit t) -> Bool #

Methods

readsPrec :: Int -> ReadS (LimitType (Unit t)) #

readList :: ReadS [LimitType (Unit t)] #

readPrec :: ReadPrec (LimitType (Unit t)) #

readListPrec :: ReadPrec [LimitType (Unit t)] #

Methods

showsPrec :: Int -> LimitType (Unit t) -> ShowS #

show :: LimitType (Unit t) -> String #

showList :: [LimitType (Unit t)] -> ShowS #

Methods

from :: LimitType (Unit t) -> Rep (LimitType (Unit t)) x #

to :: Rep (LimitType (Unit t)) x -> LimitType (Unit t) #

Methods

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

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

Methods

compare :: Unit t -> Unit t -> Ordering #

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

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

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

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

max :: Unit t -> Unit t -> Unit t #

min :: Unit t -> Unit t -> Unit t #

Methods

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

readList :: ReadS [Unit t] #

readPrec :: ReadPrec (Unit t) #

readListPrec :: ReadPrec [Unit t] #

Methods

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

show :: Unit t -> String #

showList :: [Unit t] -> ShowS #

Methods

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

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

Methods

arbitrary :: Gen (Unit t) #

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

Methods

rnf :: Unit t -> () #

Methods

hashWithSalt :: Int -> Unit t -> Int #

hash :: Unit t -> Int #

Methods

toJSON :: Unit t -> Value #

toEncoding :: Unit t -> Encoding #

toJSONList :: [Unit t] -> Value #

toEncodingList :: [Unit t] -> Encoding #

Methods

toJSONKey :: ToJSONKeyFunction (Unit t) #

toJSONKeyList :: ToJSONKeyFunction [Unit t] #

Methods

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

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

Methods

fromJSONKey :: FromJSONKeyFunction (Unit t) #

fromJSONKeyList :: FromJSONKeyFunction [Unit t] #

Methods

put :: Unit t -> Put #

get :: Get (Unit t) #

putList :: [Unit t] -> Put #

Methods

put :: Putter (Unit t) #

get :: Get (Unit t) #

Methods

streamUp :: forall (m :: Type -> Type). Monad m => LimitType (z :. Unit t) -> LimitType (z :. Unit t) -> Stream m (z :. Unit t) Source #

streamDown :: forall (m :: Type -> Type). Monad m => LimitType (z :. Unit t) -> LimitType (z :. Unit t) -> Stream m (z :. Unit t) Source #

Methods

streamUp :: forall (m :: Type -> Type). Monad m => LimitType (Unit t) -> LimitType (Unit t) -> Stream m (Unit t) Source #

streamDown :: forall (m :: Type -> Type). Monad m => LimitType (Unit t) -> LimitType (Unit t) -> Stream m (Unit t) Source #

Methods

linearIndex :: LimitType (Unit t) -> Unit t -> Int Source #

fromLinearIndex :: LimitType (Unit t) -> Int -> Unit t Source #

size :: LimitType (Unit t) -> Int Source #

inBounds :: LimitType (Unit t) -> Unit t -> Bool Source #

zeroBound :: Unit t Source #

zeroBound' :: LimitType (Unit t) Source #

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

showBound :: LimitType (Unit t) -> [String] Source #

showIndex :: Unit t -> [String] Source #