Data.PrimitiveArray.Index.Unit

Unit indices admit a single element to be memoized. We can't use () because we want to attach phantom types.

Documentation

data Unit t

Constructors

Unit

Instances

Vector Vector (Unit t0)

Methods

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

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

basicLength :: Vector (Unit t0) -> Int

basicUnsafeSlice :: Int -> Int -> Vector (Unit t0) -> Vector (Unit t0)

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

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

elemseq :: Vector (Unit t0) -> Unit t0 -> b -> b

MVector MVector (Unit t0)

Methods

basicLength :: MVector s (Unit t0) -> Int

basicUnsafeSlice :: Int -> Int -> MVector s (Unit t0) -> MVector s (Unit t0)

basicOverlaps :: MVector s (Unit t0) -> MVector s (Unit t0) -> Bool

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

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

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

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

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

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

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

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

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

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

Eq (Unit t)

Methods

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

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

Ord (Unit t)

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

Read (Unit t)

Methods

readsPrec :: Int -> ReadS (Unit t)

readList :: ReadS [Unit t]

readPrec :: ReadPrec (Unit t)

readListPrec :: ReadPrec [Unit t]

Show (Unit t)

Methods

showsPrec :: Int -> Unit t -> ShowS

show :: Unit t -> String

showList :: [Unit t] -> ShowS

Generic (Unit t)

Associated Types

type Rep (Unit t) :: * -> *

Methods

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

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

Arbitrary (Unit t)

Methods

arbitrary :: Gen (Unit t)

shrink :: Unit t -> [Unit t]

Hashable (Unit t)

Methods

hashWithSalt :: Int -> Unit t -> Int

hash :: Unit t -> Int

ToJSON (Unit t)

Methods

toJSON :: Unit t -> Value

toEncoding :: Unit t -> Encoding

toJSONList :: [Unit t] -> Value

toEncodingList :: [Unit t] -> Encoding

ToJSONKey (Unit t)

Methods

toJSONKey :: ToJSONKeyFunction (Unit t)

toJSONKeyList :: ToJSONKeyFunction [Unit t]

FromJSON (Unit t)

Methods

parseJSON :: Value -> Parser (Unit t)

parseJSONList :: Value -> Parser [Unit t]

FromJSONKey (Unit t)

Methods

fromJSONKey :: FromJSONKeyFunction (Unit t)

fromJSONKeyList :: FromJSONKeyFunction [Unit t]

Binary (Unit t)

Methods

put :: Unit t -> Put

get :: Get (Unit t)

putList :: [Unit t] -> Put

Serialize (Unit t)

Methods

put :: Putter (Unit t)

get :: Get (Unit t)

NFData (Unit t)

Methods

rnf :: Unit t -> ()

Unbox (Unit t0)

IndexStream ((:.) Z (Unit t)) => IndexStream (Unit t)

Methods

streamUp :: Monad m => Unit t -> Unit t -> Stream m (Unit t)

streamDown :: Monad m => Unit t -> Unit t -> Stream m (Unit t)

Index (Unit t)

Methods

linearIndex :: Unit t -> Unit t -> Unit t -> Int

smallestLinearIndex :: Unit t -> Int

largestLinearIndex :: Unit t -> Int

size :: Unit t -> Unit t -> Int

inBounds :: Unit t -> Unit t -> Unit t -> Bool

IndexStream z => IndexStream ((:.) z (Unit t))

Methods

streamUp :: Monad m => (z :. Unit t) -> (z :. Unit t) -> Stream m (z :. Unit t)

streamDown :: Monad m => (z :. Unit t) -> (z :. Unit t) -> Stream m (z :. Unit t)

data MVector s (Unit t0)

data MVector s (Unit t0) = MV_Unit (MVector s ())

type Rep (Unit t)

type Rep (Unit t) = D1 (MetaData "Unit" "Data.PrimitiveArray.Index.Unit" "PrimitiveArray-0.8.0.1-H8L9mO6Qdgd6EjLRyswnkq" False) (C1 (MetaCons "Unit" PrefixI False) U1)

data Vector (Unit t0)

data Vector (Unit t0) = V_Unit (Vector ())