Safe Haskell	None
Language	Haskell2010

Data.PrimitiveArray.Index.EdgeBoundary

Description

Edge boundaries capture edge indexing of the type From :-> To, where both From and To are Ints. Each such Int gives one of the two nodes between edge exists.

Synopsis

Documentation

data EdgeBoundary t Source #

An edge boundary as two Ints denoting the edge From :-> To.

Constructors

!Int :-> !Int

Instances

Monad m => Serial m (EdgeBoundary t) Source #	TODO this is unbelievably slow right now
Methods series :: Series m (EdgeBoundary t) #
Vector Vector (EdgeBoundary t0) Source #
Methods basicUnsafeFreeze :: PrimMonad m => Mutable Vector (PrimState m) (EdgeBoundary t0) -> m (Vector (EdgeBoundary t0)) # basicUnsafeThaw :: PrimMonad m => Vector (EdgeBoundary t0) -> m (Mutable Vector (PrimState m) (EdgeBoundary t0)) # basicLength :: Vector (EdgeBoundary t0) -> Int # basicUnsafeSlice :: Int -> Int -> Vector (EdgeBoundary t0) -> Vector (EdgeBoundary t0) # basicUnsafeIndexM :: Monad m => Vector (EdgeBoundary t0) -> Int -> m (EdgeBoundary t0) # basicUnsafeCopy :: PrimMonad m => Mutable Vector (PrimState m) (EdgeBoundary t0) -> Vector (EdgeBoundary t0) -> m () # elemseq :: Vector (EdgeBoundary t0) -> EdgeBoundary t0 -> b -> b #
MVector MVector (EdgeBoundary t0) Source #
Methods basicLength :: MVector s (EdgeBoundary t0) -> Int # basicUnsafeSlice :: Int -> Int -> MVector s (EdgeBoundary t0) -> MVector s (EdgeBoundary t0) # basicOverlaps :: MVector s (EdgeBoundary t0) -> MVector s (EdgeBoundary t0) -> Bool # basicUnsafeNew :: PrimMonad m => Int -> m (MVector (PrimState m) (EdgeBoundary t0)) # basicInitialize :: PrimMonad m => MVector (PrimState m) (EdgeBoundary t0) -> m () # basicUnsafeReplicate :: PrimMonad m => Int -> EdgeBoundary t0 -> m (MVector (PrimState m) (EdgeBoundary t0)) # basicUnsafeRead :: PrimMonad m => MVector (PrimState m) (EdgeBoundary t0) -> Int -> m (EdgeBoundary t0) # basicUnsafeWrite :: PrimMonad m => MVector (PrimState m) (EdgeBoundary t0) -> Int -> EdgeBoundary t0 -> m () # basicClear :: PrimMonad m => MVector (PrimState m) (EdgeBoundary t0) -> m () # basicSet :: PrimMonad m => MVector (PrimState m) (EdgeBoundary t0) -> EdgeBoundary t0 -> m () # basicUnsafeCopy :: PrimMonad m => MVector (PrimState m) (EdgeBoundary t0) -> MVector (PrimState m) (EdgeBoundary t0) -> m () # basicUnsafeMove :: PrimMonad m => MVector (PrimState m) (EdgeBoundary t0) -> MVector (PrimState m) (EdgeBoundary t0) -> m () # basicUnsafeGrow :: PrimMonad m => MVector (PrimState m) (EdgeBoundary t0) -> Int -> m (MVector (PrimState m) (EdgeBoundary t0)) #
Eq (EdgeBoundary t) Source #
Methods (==) :: EdgeBoundary t -> EdgeBoundary t -> Bool # (/=) :: EdgeBoundary t -> EdgeBoundary t -> Bool #
Ord (EdgeBoundary t) Source #
Methods compare :: EdgeBoundary t -> EdgeBoundary t -> Ordering # (<) :: EdgeBoundary t -> EdgeBoundary t -> Bool # (<=) :: EdgeBoundary t -> EdgeBoundary t -> Bool # (>) :: EdgeBoundary t -> EdgeBoundary t -> Bool # (>=) :: EdgeBoundary t -> EdgeBoundary t -> Bool # max :: EdgeBoundary t -> EdgeBoundary t -> EdgeBoundary t # min :: EdgeBoundary t -> EdgeBoundary t -> EdgeBoundary t #
Read (EdgeBoundary t) Source #
Methods readsPrec :: Int -> ReadS (EdgeBoundary t) # readList :: ReadS [EdgeBoundary t] # readPrec :: ReadPrec (EdgeBoundary t) # readListPrec :: ReadPrec [EdgeBoundary t] #
Show (EdgeBoundary t) Source #
Methods showsPrec :: Int -> EdgeBoundary t -> ShowS # show :: EdgeBoundary t -> String # showList :: [EdgeBoundary t] -> ShowS #
Generic (EdgeBoundary t) Source #
Associated Types type Rep (EdgeBoundary t) :: * -> * # Methods from :: EdgeBoundary t -> Rep (EdgeBoundary t) x # to :: Rep (EdgeBoundary t) x -> EdgeBoundary t #
Arbitrary (EdgeBoundary t) Source #
Methods arbitrary :: Gen (EdgeBoundary t) # shrink :: EdgeBoundary t -> [EdgeBoundary t] #
Hashable (EdgeBoundary t) Source #
Methods hashWithSalt :: Int -> EdgeBoundary t -> Int # hash :: EdgeBoundary t -> Int #
ToJSON (EdgeBoundary t) Source #
Methods toJSON :: EdgeBoundary t -> Value # toEncoding :: EdgeBoundary t -> Encoding # toJSONList :: [EdgeBoundary t] -> Value # toEncodingList :: [EdgeBoundary t] -> Encoding #
ToJSONKey (EdgeBoundary t) Source #
Methods toJSONKey :: ToJSONKeyFunction (EdgeBoundary t) # toJSONKeyList :: ToJSONKeyFunction [EdgeBoundary t] #
FromJSON (EdgeBoundary t) Source #
Methods parseJSON :: Value -> Parser (EdgeBoundary t) # parseJSONList :: Value -> Parser [EdgeBoundary t] #
FromJSONKey (EdgeBoundary t) Source #
Methods fromJSONKey :: FromJSONKeyFunction (EdgeBoundary t) # fromJSONKeyList :: FromJSONKeyFunction [EdgeBoundary t] #
Binary (EdgeBoundary t) Source #
Methods put :: EdgeBoundary t -> Put # get :: Get (EdgeBoundary t) # putList :: [EdgeBoundary t] -> Put #
Serialize (EdgeBoundary t) Source #
Methods put :: Putter (EdgeBoundary t) # get :: Get (EdgeBoundary t) #
NFData (EdgeBoundary t) Source #
Methods rnf :: EdgeBoundary t -> () #
Unbox (EdgeBoundary t0) Source #

IndexStream ((:.) Z (EdgeBoundary t)) => IndexStream (EdgeBoundary t) Source #
Methods streamUp :: Monad m => EdgeBoundary t -> EdgeBoundary t -> Stream m (EdgeBoundary t) Source # streamDown :: Monad m => EdgeBoundary t -> EdgeBoundary t -> Stream m (EdgeBoundary t) Source #
Index (EdgeBoundary t) Source #
Methods linearIndex :: EdgeBoundary t -> EdgeBoundary t -> EdgeBoundary t -> Int Source # smallestLinearIndex :: EdgeBoundary t -> Int Source # largestLinearIndex :: EdgeBoundary t -> Int Source # size :: EdgeBoundary t -> EdgeBoundary t -> Int Source # inBounds :: EdgeBoundary t -> EdgeBoundary t -> EdgeBoundary t -> Bool Source #
IndexStream z => IndexStream ((:.) z (EdgeBoundary C)) Source #	`EdgeBoundary C` (complement)
Methods streamUp :: Monad m => (z :. EdgeBoundary C) -> (z :. EdgeBoundary C) -> Stream m (z :. EdgeBoundary C) Source # streamDown :: Monad m => (z :. EdgeBoundary C) -> (z :. EdgeBoundary C) -> Stream m (z :. EdgeBoundary C) Source #
IndexStream z => IndexStream ((:.) z (EdgeBoundary O)) Source #	`EdgeBoundary O` (outside). Note: `streamUp` really needs to use `streamDownMk` / `streamDownStep` for the right order of indices!
Methods streamUp :: Monad m => (z :. EdgeBoundary O) -> (z :. EdgeBoundary O) -> Stream m (z :. EdgeBoundary O) Source # streamDown :: Monad m => (z :. EdgeBoundary O) -> (z :. EdgeBoundary O) -> Stream m (z :. EdgeBoundary O) Source #
IndexStream z => IndexStream ((:.) z (EdgeBoundary I)) Source #	`EdgeBoundary I` (inside)
Methods streamUp :: Monad m => (z :. EdgeBoundary I) -> (z :. EdgeBoundary I) -> Stream m (z :. EdgeBoundary I) Source # streamDown :: Monad m => (z :. EdgeBoundary I) -> (z :. EdgeBoundary I) -> Stream m (z :. EdgeBoundary I) Source #
data MVector s (EdgeBoundary t0) Source #
data MVector s (EdgeBoundary t0) = MV_EdgeBoundary (MVector s (Int, Int))
type Rep (EdgeBoundary t) Source #
type Rep (EdgeBoundary t) = D1 (MetaData "EdgeBoundary" "Data.PrimitiveArray.Index.EdgeBoundary" "PrimitiveArray-0.8.0.1-H8L9mO6Qdgd6EjLRyswnkq" False) (C1 (MetaCons ":->" (InfixI LeftAssociative 9) False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedUnpack) (Rec0 Int)) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness SourceStrict DecidedUnpack) (Rec0 Int))))
data Vector (EdgeBoundary t0) Source #
data Vector (EdgeBoundary t0) = V_EdgeBoundary (Vector (Int, Int))

fromEdgeBoundaryFst :: EdgeBoundary t -> Int Source #

fromEdgeBoundarySnd :: EdgeBoundary t -> Int Source #

streamUpMk :: Monad m => t1 -> t -> m (t, t1, t1) Source #

generic mk for streamUp / streamDown

streamUpStep :: Monad m => Int -> Int -> (t1, Int, Int) -> m (Step (t1, Int, Int) ((:.) t1 (EdgeBoundary t))) Source #

streamDownMk :: Monad m => t1 -> t -> m (t, t1, t1) Source #

streamDownStep :: Monad m => Int -> Int -> (t1, Int, Int) -> m (Step (t1, Int, Int) ((:.) t1 (EdgeBoundary t))) Source #