Safe Haskell	None
Language	Haskell2010

Data.PrimitiveArray.Index.PhantomInt

Description

A linear 0-based int-index with a phantom type.

Synopsis

newtype PInt (ioc :: k) (p :: k) = PInt {
- getPInt :: Int
}
pIntI :: Int -> PInt I p
pIntO :: Int -> PInt O p
pIntC :: Int -> PInt C p
streamUpMk :: Monad m => b -> p -> a -> m (a, b)
streamUpStep :: forall k m p1 a (ioc :: k) (p2 :: k). Monad m => p1 -> Int -> (a, Int) -> m (Step (a, Int) (a :. PInt ioc p2))
streamDownMk :: Monad m => p -> b -> a -> m (a, b)
streamDownStep :: forall k m p1 a (ioc :: k) (p2 :: k). Monad m => Int -> p1 -> (a, Int) -> m (Step (a, Int) (a :. PInt ioc p2))

Documentation

newtype PInt (ioc :: k) (p :: k) Source #

A PInt behaves exactly like an Int, but has an attached phantom type p. In particular, the Index and IndexStream instances are the same as for raw Ints.

Constructors

PInt
Fields getPInt :: Int

Instances

Instances details

Vector Vector (PInt t p) Source #
Instance details Defined in Data.PrimitiveArray.Index.PhantomInt Methods basicUnsafeFreeze :: PrimMonad m => Mutable Vector (PrimState m) (PInt t p) -> m (Vector (PInt t p)) # basicUnsafeThaw :: PrimMonad m => Vector (PInt t p) -> m (Mutable Vector (PrimState m) (PInt t p)) # basicLength :: Vector (PInt t p) -> Int # basicUnsafeSlice :: Int -> Int -> Vector (PInt t p) -> Vector (PInt t p) # basicUnsafeIndexM :: Monad m => Vector (PInt t p) -> Int -> m (PInt t p) # basicUnsafeCopy :: PrimMonad m => Mutable Vector (PrimState m) (PInt t p) -> Vector (PInt t p) -> m () # elemseq :: Vector (PInt t p) -> PInt t p -> b -> b #
MVector MVector (PInt t p) Source #
Instance details Defined in Data.PrimitiveArray.Index.PhantomInt Methods basicLength :: MVector s (PInt t p) -> Int # basicUnsafeSlice :: Int -> Int -> MVector s (PInt t p) -> MVector s (PInt t p) # basicOverlaps :: MVector s (PInt t p) -> MVector s (PInt t p) -> Bool # basicUnsafeNew :: PrimMonad m => Int -> m (MVector (PrimState m) (PInt t p)) # basicInitialize :: PrimMonad m => MVector (PrimState m) (PInt t p) -> m () # basicUnsafeReplicate :: PrimMonad m => Int -> PInt t p -> m (MVector (PrimState m) (PInt t p)) # basicUnsafeRead :: PrimMonad m => MVector (PrimState m) (PInt t p) -> Int -> m (PInt t p) # basicUnsafeWrite :: PrimMonad m => MVector (PrimState m) (PInt t p) -> Int -> PInt t p -> m () # basicClear :: PrimMonad m => MVector (PrimState m) (PInt t p) -> m () # basicSet :: PrimMonad m => MVector (PrimState m) (PInt t p) -> PInt t p -> m () # basicUnsafeCopy :: PrimMonad m => MVector (PrimState m) (PInt t p) -> MVector (PrimState m) (PInt t p) -> m () # basicUnsafeMove :: PrimMonad m => MVector (PrimState m) (PInt t p) -> MVector (PrimState m) (PInt t p) -> m () # basicUnsafeGrow :: PrimMonad m => MVector (PrimState m) (PInt t p) -> Int -> m (MVector (PrimState m) (PInt t p)) #
Eq (LimitType (PInt t p)) Source #
Instance details Defined in Data.PrimitiveArray.Index.PhantomInt Methods (==) :: LimitType (PInt t p) -> LimitType (PInt t p) -> Bool # (/=) :: LimitType (PInt t p) -> LimitType (PInt t p) -> Bool #
Read (LimitType (PInt t p)) Source #
Instance details Defined in Data.PrimitiveArray.Index.PhantomInt Methods readsPrec :: Int -> ReadS (LimitType (PInt t p)) # readList :: ReadS [LimitType (PInt t p)] # readPrec :: ReadPrec (LimitType (PInt t p)) # readListPrec :: ReadPrec [LimitType (PInt t p)] #
Show (LimitType (PInt t p)) Source #
Instance details Defined in Data.PrimitiveArray.Index.PhantomInt Methods showsPrec :: Int -> LimitType (PInt t p) -> ShowS # show :: LimitType (PInt t p) -> String # showList :: [LimitType (PInt t p)] -> ShowS #
Generic (LimitType (PInt t p)) Source #
Instance details Defined in Data.PrimitiveArray.Index.PhantomInt Associated Types type Rep (LimitType (PInt t p)) :: Type -> Type # Methods from :: LimitType (PInt t p) -> Rep (LimitType (PInt t p)) x # to :: Rep (LimitType (PInt t p)) x -> LimitType (PInt t p) #
IndexStream z => IndexStream (z :. PInt C p) Source #
Instance details Defined in Data.PrimitiveArray.Index.PhantomInt Methods streamUp :: forall (m :: Type -> Type). Monad m => LimitType (z :. PInt C p) -> LimitType (z :. PInt C p) -> Stream m (z :. PInt C p) Source # streamDown :: forall (m :: Type -> Type). Monad m => LimitType (z :. PInt C p) -> LimitType (z :. PInt C p) -> Stream m (z :. PInt C p) Source #
IndexStream z => IndexStream (z :. PInt O p) Source #
Instance details Defined in Data.PrimitiveArray.Index.PhantomInt Methods streamUp :: forall (m :: Type -> Type). Monad m => LimitType (z :. PInt O p) -> LimitType (z :. PInt O p) -> Stream m (z :. PInt O p) Source # streamDown :: forall (m :: Type -> Type). Monad m => LimitType (z :. PInt O p) -> LimitType (z :. PInt O p) -> Stream m (z :. PInt O p) Source #
IndexStream z => IndexStream (z :. PInt I p) Source #
Instance details Defined in Data.PrimitiveArray.Index.PhantomInt Methods streamUp :: forall (m :: Type -> Type). Monad m => LimitType (z :. PInt I p) -> LimitType (z :. PInt I p) -> Stream m (z :. PInt I p) Source # streamDown :: forall (m :: Type -> Type). Monad m => LimitType (z :. PInt I p) -> LimitType (z :. PInt I p) -> Stream m (z :. PInt I p) Source #
Enum (PInt ioc p) Source #
Instance details Defined in Data.PrimitiveArray.Index.PhantomInt Methods succ :: PInt ioc p -> PInt ioc p # pred :: PInt ioc p -> PInt ioc p # toEnum :: Int -> PInt ioc p # fromEnum :: PInt ioc p -> Int # enumFrom :: PInt ioc p -> [PInt ioc p] # enumFromThen :: PInt ioc p -> PInt ioc p -> [PInt ioc p] # enumFromTo :: PInt ioc p -> PInt ioc p -> [PInt ioc p] # enumFromThenTo :: PInt ioc p -> PInt ioc p -> PInt ioc p -> [PInt ioc p] #
Eq (PInt ioc p) Source #
Instance details Defined in Data.PrimitiveArray.Index.PhantomInt Methods (==) :: PInt ioc p -> PInt ioc p -> Bool # (/=) :: PInt ioc p -> PInt ioc p -> Bool #
Integral (PInt ioc p) Source #
Instance details Defined in Data.PrimitiveArray.Index.PhantomInt Methods quot :: PInt ioc p -> PInt ioc p -> PInt ioc p # rem :: PInt ioc p -> PInt ioc p -> PInt ioc p # div :: PInt ioc p -> PInt ioc p -> PInt ioc p # mod :: PInt ioc p -> PInt ioc p -> PInt ioc p # quotRem :: PInt ioc p -> PInt ioc p -> (PInt ioc p, PInt ioc p) # divMod :: PInt ioc p -> PInt ioc p -> (PInt ioc p, PInt ioc p) # toInteger :: PInt ioc p -> Integer #
(Typeable ioc, Typeable p, Typeable k) => Data (PInt ioc p) Source #
Instance details Defined in Data.PrimitiveArray.Index.PhantomInt Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PInt ioc p -> c (PInt ioc p) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (PInt ioc p) # toConstr :: PInt ioc p -> Constr # dataTypeOf :: PInt ioc p -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (PInt ioc p)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (PInt ioc p)) # gmapT :: (forall b. Data b => b -> b) -> PInt ioc p -> PInt ioc p # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PInt ioc p -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PInt ioc p -> r # gmapQ :: (forall d. Data d => d -> u) -> PInt ioc p -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> PInt ioc p -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> PInt ioc p -> m (PInt ioc p) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PInt ioc p -> m (PInt ioc p) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PInt ioc p -> m (PInt ioc p) #
Num (PInt ioc p) Source #
Instance details Defined in Data.PrimitiveArray.Index.PhantomInt Methods (+) :: PInt ioc p -> PInt ioc p -> PInt ioc p # (-) :: PInt ioc p -> PInt ioc p -> PInt ioc p # (*) :: PInt ioc p -> PInt ioc p -> PInt ioc p # negate :: PInt ioc p -> PInt ioc p # abs :: PInt ioc p -> PInt ioc p # signum :: PInt ioc p -> PInt ioc p # fromInteger :: Integer -> PInt ioc p #
Ord (PInt ioc p) Source #
Instance details Defined in Data.PrimitiveArray.Index.PhantomInt Methods compare :: PInt ioc p -> PInt ioc p -> Ordering # (<) :: PInt ioc p -> PInt ioc p -> Bool # (<=) :: PInt ioc p -> PInt ioc p -> Bool # (>) :: PInt ioc p -> PInt ioc p -> Bool # (>=) :: PInt ioc p -> PInt ioc p -> Bool # max :: PInt ioc p -> PInt ioc p -> PInt ioc p # min :: PInt ioc p -> PInt ioc p -> PInt ioc p #
Read (PInt ioc p) Source #
Instance details Defined in Data.PrimitiveArray.Index.PhantomInt Methods readsPrec :: Int -> ReadS (PInt ioc p) # readList :: ReadS [PInt ioc p] # readPrec :: ReadPrec (PInt ioc p) # readListPrec :: ReadPrec [PInt ioc p] #
Real (PInt ioc p) Source #
Instance details Defined in Data.PrimitiveArray.Index.PhantomInt Methods toRational :: PInt ioc p -> Rational #
Show (PInt ioc p) Source #
Instance details Defined in Data.PrimitiveArray.Index.PhantomInt Methods showsPrec :: Int -> PInt ioc p -> ShowS # show :: PInt ioc p -> String # showList :: [PInt ioc p] -> ShowS #
Ix (PInt ioc p) Source #
Instance details Defined in Data.PrimitiveArray.Index.PhantomInt Methods range :: (PInt ioc p, PInt ioc p) -> [PInt ioc p] # index :: (PInt ioc p, PInt ioc p) -> PInt ioc p -> Int # unsafeIndex :: (PInt ioc p, PInt ioc p) -> PInt ioc p -> Int # inRange :: (PInt ioc p, PInt ioc p) -> PInt ioc p -> Bool # rangeSize :: (PInt ioc p, PInt ioc p) -> Int # unsafeRangeSize :: (PInt ioc p, PInt ioc p) -> Int #
Generic (PInt ioc p) Source #
Instance details Defined in Data.PrimitiveArray.Index.PhantomInt Associated Types type Rep (PInt ioc p) :: Type -> Type # Methods from :: PInt ioc p -> Rep (PInt ioc p) x # to :: Rep (PInt ioc p) x -> PInt ioc p #
NFData (PInt t p) Source #
Instance details Defined in Data.PrimitiveArray.Index.PhantomInt Methods rnf :: PInt t p -> () #
Hashable (PInt t p) Source #
Instance details Defined in Data.PrimitiveArray.Index.PhantomInt Methods hashWithSalt :: Int -> PInt t p -> Int # hash :: PInt t p -> Int #
ToJSON (PInt t p) Source #
Instance details Defined in Data.PrimitiveArray.Index.PhantomInt Methods toJSON :: PInt t p -> Value # toEncoding :: PInt t p -> Encoding # toJSONList :: [PInt t p] -> Value # toEncodingList :: [PInt t p] -> Encoding #
ToJSONKey (PInt t p) Source #
Instance details Defined in Data.PrimitiveArray.Index.PhantomInt Methods toJSONKey :: ToJSONKeyFunction (PInt t p) # toJSONKeyList :: ToJSONKeyFunction [PInt t p] #
FromJSON (PInt t p) Source #
Instance details Defined in Data.PrimitiveArray.Index.PhantomInt Methods parseJSON :: Value -> Parser (PInt t p) # parseJSONList :: Value -> Parser [PInt t p] #
FromJSONKey (PInt t p) Source #
Instance details Defined in Data.PrimitiveArray.Index.PhantomInt Methods fromJSONKey :: FromJSONKeyFunction (PInt t p) # fromJSONKeyList :: FromJSONKeyFunction [PInt t p] #
Binary (PInt t p) Source #
Instance details Defined in Data.PrimitiveArray.Index.PhantomInt Methods put :: PInt t p -> Put # get :: Get (PInt t p) # putList :: [PInt t p] -> Put #
Serialize (PInt t p) Source #
Instance details Defined in Data.PrimitiveArray.Index.PhantomInt Methods put :: Putter (PInt t p) # get :: Get (PInt t p) #
Unbox (PInt t p) Source #
Instance details Defined in Data.PrimitiveArray.Index.PhantomInt
IndexStream (Z :. PInt ioc p) => IndexStream (PInt ioc p) Source #
Instance details Defined in Data.PrimitiveArray.Index.PhantomInt Methods streamUp :: forall (m :: Type -> Type). Monad m => LimitType (PInt ioc p) -> LimitType (PInt ioc p) -> Stream m (PInt ioc p) Source # streamDown :: forall (m :: Type -> Type). Monad m => LimitType (PInt ioc p) -> LimitType (PInt ioc p) -> Stream m (PInt ioc p) Source #
Index (PInt t p) Source #
Instance details Defined in Data.PrimitiveArray.Index.PhantomInt Associated Types data LimitType (PInt t p) Source # Methods linearIndex :: LimitType (PInt t p) -> PInt t p -> Int Source # fromLinearIndex :: LimitType (PInt t p) -> Int -> PInt t p Source # size :: LimitType (PInt t p) -> Int Source # inBounds :: LimitType (PInt t p) -> PInt t p -> Bool Source # zeroBound :: PInt t p Source # zeroBound' :: LimitType (PInt t p) Source # totalSize :: LimitType (PInt t p) -> [Integer] Source # showBound :: LimitType (PInt t p) -> [String] Source # showIndex :: PInt t p -> [String] Source #
newtype MVector s (PInt t p) Source #
Instance details Defined in Data.PrimitiveArray.Index.PhantomInt newtype MVector s (PInt t p) = MV_PInt (MVector s Int)
type Rep (LimitType (PInt t p)) Source #
Instance details Defined in Data.PrimitiveArray.Index.PhantomInt type Rep (LimitType (PInt t p)) = D1 ('MetaData "LimitType" "Data.PrimitiveArray.Index.PhantomInt" "PrimitiveArray-0.10.1.0-8LhqXNFuZNc70s43xh6tNJ" 'True) (C1 ('MetaCons "LtPInt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))
type Rep (PInt ioc p) Source #
Instance details Defined in Data.PrimitiveArray.Index.PhantomInt type Rep (PInt ioc p) = D1 ('MetaData "PInt" "Data.PrimitiveArray.Index.PhantomInt" "PrimitiveArray-0.10.1.0-8LhqXNFuZNc70s43xh6tNJ" 'True) (C1 ('MetaCons "PInt" 'PrefixI 'True) (S1 ('MetaSel ('Just "getPInt") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))
newtype Vector (PInt t p) Source #
Instance details Defined in Data.PrimitiveArray.Index.PhantomInt newtype Vector (PInt t p) = V_PInt (Vector Int)
newtype LimitType (PInt t p) Source #
Instance details Defined in Data.PrimitiveArray.Index.PhantomInt newtype LimitType (PInt t p) = LtPInt Int

pIntI :: Int -> PInt I p Source #

pIntO :: Int -> PInt O p Source #

pIntC :: Int -> PInt C p Source #

streamUpMk :: Monad m => b -> p -> a -> m (a, b) Source #

streamUpStep :: forall k m p1 a (ioc :: k) (p2 :: k). Monad m => p1 -> Int -> (a, Int) -> m (Step (a, Int) (a :. PInt ioc p2)) Source #

streamDownMk :: Monad m => p -> b -> a -> m (a, b) Source #

streamDownStep :: forall k m p1 a (ioc :: k) (p2 :: k). Monad m => Int -> p1 -> (a, Int) -> m (Step (a, Int) (a :. PInt ioc p2)) Source #

Key	Shortcut
s	Open this search box
esc	Close this search box
↓,ctrl + j	Move down in search results
↑,ctrl + k	Move up in search results
↵	Go to active search result