Language.Lexer.Tlex.Machine.State

Documentation

data StateNum

Instances

Enum StateNum

Defined in Language.Lexer.Tlex.Machine.State

Methods

succ :: StateNum -> StateNum

pred :: StateNum -> StateNum

toEnum :: Int -> StateNum

fromEnum :: StateNum -> Int

enumFrom :: StateNum -> [StateNum]

enumFromThen :: StateNum -> StateNum -> [StateNum]

enumFromTo :: StateNum -> StateNum -> [StateNum]

enumFromThenTo :: StateNum -> StateNum -> StateNum -> [StateNum]

Eq StateNum

Defined in Language.Lexer.Tlex.Machine.State

Methods

(==) :: StateNum -> StateNum -> Bool

(/=) :: StateNum -> StateNum -> Bool

Ord StateNum

Defined in Language.Lexer.Tlex.Machine.State

Methods

compare :: StateNum -> StateNum -> Ordering

(<) :: StateNum -> StateNum -> Bool

(<=) :: StateNum -> StateNum -> Bool

(>) :: StateNum -> StateNum -> Bool

(>=) :: StateNum -> StateNum -> Bool

max :: StateNum -> StateNum -> StateNum

min :: StateNum -> StateNum -> StateNum

Show StateNum

Defined in Language.Lexer.Tlex.Machine.State

Methods

showsPrec :: Int -> StateNum -> ShowS

show :: StateNum -> String

showList :: [StateNum] -> ShowS

Ix StateNum

Defined in Language.Lexer.Tlex.Machine.State

Methods

range :: (StateNum, StateNum) -> [StateNum]

index :: (StateNum, StateNum) -> StateNum -> Int

unsafeIndex :: (StateNum, StateNum) -> StateNum -> Int

inRange :: (StateNum, StateNum) -> StateNum -> Bool

rangeSize :: (StateNum, StateNum) -> Int

unsafeRangeSize :: (StateNum, StateNum) -> Int

Hashable StateNum

Defined in Language.Lexer.Tlex.Machine.State

Methods

hashWithSalt :: Int -> StateNum -> Int

hash :: StateNum -> Int

initialStateNum :: StateNum

data StateSet

Instances

Eq StateSet

Defined in Language.Lexer.Tlex.Machine.State

Methods

(==) :: StateSet -> StateSet -> Bool

(/=) :: StateSet -> StateSet -> Bool

Show StateSet

Defined in Language.Lexer.Tlex.Machine.State

Methods

showsPrec :: Int -> StateSet -> ShowS

show :: StateSet -> String

showList :: [StateSet] -> ShowS

Hashable StateSet

Defined in Language.Lexer.Tlex.Machine.State

Methods

hashWithSalt :: Int -> StateSet -> Int

hash :: StateSet -> Int

emptySet :: StateSet

singletonSet :: StateNum -> StateSet

listToSet :: [StateNum] -> StateSet

setToList :: StateSet -> [StateNum]

nullSet :: StateSet -> Bool

insertSet :: StateNum -> StateSet -> StateSet

intersectSet :: StateSet -> StateSet -> StateSet

diffSet :: StateSet -> StateSet -> StateSet

unionSet :: StateSet -> StateSet -> StateSet

lengthSet :: StateSet -> Int

memberSet :: StateNum -> StateSet -> Bool

data StateMap a

Instances

Functor StateMap

Defined in Language.Lexer.Tlex.Machine.State

Methods

fmap :: (a -> b) -> StateMap a -> StateMap b

(<$) :: a -> StateMap b -> StateMap a

Eq a => Eq (StateMap a)

Defined in Language.Lexer.Tlex.Machine.State

Methods

(==) :: StateMap a -> StateMap a -> Bool

(/=) :: StateMap a -> StateMap a -> Bool

Show a => Show (StateMap a)

Defined in Language.Lexer.Tlex.Machine.State

Methods

showsPrec :: Int -> StateMap a -> ShowS

show :: StateMap a -> String

showList :: [StateMap a] -> ShowS

emptyMap :: StateMap a

insertOrUpdateMap :: StateNum -> a -> (a -> a) -> StateMap a -> StateMap a

insertMap :: StateNum -> a -> StateMap a -> StateMap a

lookupMap :: StateNum -> StateMap a -> Maybe a

assocsMap :: StateMap a -> [(StateNum, a)]

data StateArray a

Instances

Functor StateArray

Defined in Language.Lexer.Tlex.Machine.State

Methods

fmap :: (a -> b) -> StateArray a -> StateArray b

(<$) :: a -> StateArray b -> StateArray a

Foldable StateArray

Defined in Language.Lexer.Tlex.Machine.State

Methods

fold :: Monoid m => StateArray m -> m

foldMap :: Monoid m => (a -> m) -> StateArray a -> m

foldMap' :: Monoid m => (a -> m) -> StateArray a -> m

foldr :: (a -> b -> b) -> b -> StateArray a -> b

foldr' :: (a -> b -> b) -> b -> StateArray a -> b

foldl :: (b -> a -> b) -> b -> StateArray a -> b

foldl' :: (b -> a -> b) -> b -> StateArray a -> b

foldr1 :: (a -> a -> a) -> StateArray a -> a

foldl1 :: (a -> a -> a) -> StateArray a -> a

toList :: StateArray a -> [a]

null :: StateArray a -> Bool

length :: StateArray a -> Int

elem :: Eq a => a -> StateArray a -> Bool

maximum :: Ord a => StateArray a -> a

minimum :: Ord a => StateArray a -> a

sum :: Num a => StateArray a -> a

product :: Num a => StateArray a -> a

Eq a => Eq (StateArray a)

Defined in Language.Lexer.Tlex.Machine.State

Methods

(==) :: StateArray a -> StateArray a -> Bool

(/=) :: StateArray a -> StateArray a -> Bool

Show a => Show (StateArray a)

Defined in Language.Lexer.Tlex.Machine.State

Methods

showsPrec :: Int -> StateArray a -> ShowS

show :: StateArray a -> String

showList :: [StateArray a] -> ShowS

totalStateMapToArray :: StateNum -> StateMap a -> StateArray a

mapArrayWithIx :: (StateNum -> a -> a) -> StateArray a -> StateArray a

indexArray :: StateArray a -> StateNum -> a

arrayAssocs :: StateArray a -> [(StateNum, a)]

data StateGraph

stateArrayToGraph :: StateArray [StateNum] -> StateGraph

liftGraphOp :: (Graph -> Graph) -> StateGraph -> StateGraph

indexGraph :: StateGraph -> StateNum -> [StateNum]