Data.PrimitiveArray.Index.EdgeBoundary

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.

Documentation

data EdgeBoundary t

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

Constructors

!Int :-> !Int

Instances

Monad m => Serial m (EdgeBoundary t)

TODO this is unbelievably slow right now

Methods

series :: Series m (EdgeBoundary t)

Vector Vector (EdgeBoundary t0)

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)

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)

Methods

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

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

Ord (EdgeBoundary t)

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)

Methods

readsPrec :: Int -> ReadS (EdgeBoundary t)

readList :: ReadS [EdgeBoundary t]

readPrec :: ReadPrec (EdgeBoundary t)

readListPrec :: ReadPrec [EdgeBoundary t]

Show (EdgeBoundary t)

Methods

showsPrec :: Int -> EdgeBoundary t -> ShowS

show :: EdgeBoundary t -> String

showList :: [EdgeBoundary t] -> ShowS

Generic (EdgeBoundary t)

Associated Types

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

Methods

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

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

Arbitrary (EdgeBoundary t)

Methods

arbitrary :: Gen (EdgeBoundary t)

shrink :: EdgeBoundary t -> [EdgeBoundary t]

Hashable (EdgeBoundary t)

Methods

hashWithSalt :: Int -> EdgeBoundary t -> Int

hash :: EdgeBoundary t -> Int

ToJSON (EdgeBoundary t)

Methods

toJSON :: EdgeBoundary t -> Value

toEncoding :: EdgeBoundary t -> Encoding

toJSONList :: [EdgeBoundary t] -> Value

toEncodingList :: [EdgeBoundary t] -> Encoding

ToJSONKey (EdgeBoundary t)

Methods

toJSONKey :: ToJSONKeyFunction (EdgeBoundary t)

toJSONKeyList :: ToJSONKeyFunction [EdgeBoundary t]

FromJSON (EdgeBoundary t)

Methods

parseJSON :: Value -> Parser (EdgeBoundary t)

parseJSONList :: Value -> Parser [EdgeBoundary t]

FromJSONKey (EdgeBoundary t)

Methods

fromJSONKey :: FromJSONKeyFunction (EdgeBoundary t)

fromJSONKeyList :: FromJSONKeyFunction [EdgeBoundary t]

Binary (EdgeBoundary t)

Methods

put :: EdgeBoundary t -> Put

get :: Get (EdgeBoundary t)

putList :: [EdgeBoundary t] -> Put

Serialize (EdgeBoundary t)

Methods

put :: Putter (EdgeBoundary t)

get :: Get (EdgeBoundary t)

NFData (EdgeBoundary t)

Methods

rnf :: EdgeBoundary t -> ()

Unbox (EdgeBoundary t0)

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

Methods

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

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

Index (EdgeBoundary t)

Methods

linearIndex :: EdgeBoundary t -> EdgeBoundary t -> EdgeBoundary t -> Int

smallestLinearIndex :: EdgeBoundary t -> Int

largestLinearIndex :: EdgeBoundary t -> Int

size :: EdgeBoundary t -> EdgeBoundary t -> Int

inBounds :: EdgeBoundary t -> EdgeBoundary t -> EdgeBoundary t -> Bool

IndexStream z => IndexStream ((:.) z (EdgeBoundary C))

EdgeBoundary C (complement)

Methods

streamUp :: Monad m => (z :. EdgeBoundary C) -> (z :. EdgeBoundary C) -> Stream m (z :. EdgeBoundary C)

streamDown :: Monad m => (z :. EdgeBoundary C) -> (z :. EdgeBoundary C) -> Stream m (z :. EdgeBoundary C)

IndexStream z => IndexStream ((:.) z (EdgeBoundary O))

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)

streamDown :: Monad m => (z :. EdgeBoundary O) -> (z :. EdgeBoundary O) -> Stream m (z :. EdgeBoundary O)

IndexStream z => IndexStream ((:.) z (EdgeBoundary I))

EdgeBoundary I (inside)

Methods

streamUp :: Monad m => (z :. EdgeBoundary I) -> (z :. EdgeBoundary I) -> Stream m (z :. EdgeBoundary I)

streamDown :: Monad m => (z :. EdgeBoundary I) -> (z :. EdgeBoundary I) -> Stream m (z :. EdgeBoundary I)

data MVector s (EdgeBoundary t0)

data MVector s (EdgeBoundary t0) = MV_EdgeBoundary (MVector s (Int, Int))

type Rep (EdgeBoundary t)

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)

data Vector (EdgeBoundary t0) = V_EdgeBoundary (Vector (Int, Int))

fromEdgeBoundaryFst :: EdgeBoundary t -> Int

fromEdgeBoundarySnd :: EdgeBoundary t -> Int

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

generic mk for streamUp / streamDown

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

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

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