Safe Haskell	None
Language	GHC2021

Shrun.Command.Types.Internal

Contents

Index
Vertex

Description

Internal module. Take care as usage can violate invariants.

Synopsis

newtype CommandIndex = MkCommandIndex {
- unCommandIndex :: Positive Int
}
fromPositive :: Positive Int -> CommandIndex
unsafeFromInt :: HasCallStack => Int -> CommandIndex
succ :: CommandIndex -> CommandIndex
addNN :: CommandIndex -> NonNegative Int -> CommandIndex
range :: CommandIndex -> CommandIndex -> Either String (CommandIndex, NESeq CommandIndex)
joinRange :: (a, NESeq a) -> NESeq a
type Vertex = Int
type LVertex a = (Vertex, a)
toVertex :: CommandIndex -> Vertex
fromVertex :: HasCallStack => Vertex -> CommandIndex

Index

newtype CommandIndex Source #

Numeric index for each command, for handling command graph dependencies. Conversion to/from Vertex should use indexToVertex and indexFromVertex, as CommandIndex is 1-based whereas Vertex is 0-based.

Constructors

MkCommandIndex
Fields unCommandIndex :: Positive Int

Instances

Instances details

ASemigroup CommandIndex Source #

Instance details

Defined in Shrun.Command.Types.Internal

Methods

(.+.) :: CommandIndex -> CommandIndex -> CommandIndex Source #

MMonoid CommandIndex Source #

Instance details

Defined in Shrun.Command.Types.Internal

Methods

one :: CommandIndex Source #

MSemigroup CommandIndex Source #

Instance details

Defined in Shrun.Command.Types.Internal

Methods

(.*.) :: CommandIndex -> CommandIndex -> CommandIndex Source #

NFData CommandIndex Source #

Instance details

Defined in Shrun.Command.Types.Internal

Methods

rnf :: CommandIndex -> () #

Enum CommandIndex Source #

Instance details

Defined in Shrun.Command.Types.Internal

Methods

succ :: CommandIndex -> CommandIndex #

pred :: CommandIndex -> CommandIndex #

toEnum :: Int -> CommandIndex #

fromEnum :: CommandIndex -> Int #

enumFrom :: CommandIndex -> [CommandIndex] #

enumFromThen :: CommandIndex -> CommandIndex -> [CommandIndex] #

enumFromTo :: CommandIndex -> CommandIndex -> [CommandIndex] #

enumFromThenTo :: CommandIndex -> CommandIndex -> CommandIndex -> [CommandIndex] #

Generic CommandIndex Source #

Instance details

Defined in Shrun.Command.Types.Internal

Associated Types

type Rep CommandIndex
Instance details Defined in Shrun.Command.Types.Internal type Rep CommandIndex = D1 ('MetaData "CommandIndex" "Shrun.Command.Types.Internal" "shrun-0.10-inplace" 'True) (C1 ('MetaCons "MkCommandIndex" 'PrefixI 'True) (S1 ('MetaSel ('Just "unCommandIndex") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Positive Int))))