Safe Haskell	None
Language	Haskell2010

Language.Lexer.Tlex.Machine.State

Documentation

data StateNum Source #

Instances

Instances details

Enum StateNum Source #
Instance details 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 Source #
Instance details Defined in Language.Lexer.Tlex.Machine.State Methods (==) :: StateNum -> StateNum -> Bool # (/=) :: StateNum -> StateNum -> Bool #
Ord StateNum Source #
Instance details 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 Source #
Instance details Defined in Language.Lexer.Tlex.Machine.State Methods showsPrec :: Int -> StateNum -> ShowS # show :: StateNum -> String # showList :: [StateNum] -> ShowS #
Ix StateNum Source #
Instance details 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 Source #
Instance details Defined in Language.Lexer.Tlex.Machine.State Methods hashWithSalt :: Int -> StateNum -> Int # hash :: StateNum -> Int #

initialStateNum :: StateNum Source #

data StateSet Source #

Instances

Instances details

Eq StateSet Source #
Instance details Defined in Language.Lexer.Tlex.Machine.State Methods (==) :: StateSet -> StateSet -> Bool # (/=) :: StateSet -> StateSet -> Bool #
Show StateSet Source #
Instance details Defined in Language.Lexer.Tlex.Machine.State Methods showsPrec :: Int -> StateSet -> ShowS # show :: StateSet -> String # showList :: [StateSet] -> ShowS #
Hashable StateSet Source #
Instance details Defined in Language.Lexer.Tlex.Machine.State Methods hashWithSalt :: Int -> StateSet -> Int # hash :: StateSet -> Int #

emptySet :: StateSet Source #

singletonSet :: StateNum -> StateSet Source #

listToSet :: [StateNum] -> StateSet Source #

setToList :: StateSet -> [StateNum] Source #

nullSet :: StateSet -> Bool Source #

insertSet :: StateNum -> StateSet -> StateSet Source #

intersectSet :: StateSet -> StateSet -> StateSet Source #

diffSet :: StateSet -> StateSet -> StateSet Source #

unionSet :: StateSet -> StateSet -> StateSet Source #

lengthSet :: StateSet -> Int Source #

memberSet :: StateNum -> StateSet -> Bool Source #

data StateMap a Source #

Instances

Instances details

Functor StateMap Source #
Instance details 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) Source #
Instance details Defined in Language.Lexer.Tlex.Machine.State Methods (==) :: StateMap a -> StateMap a -> Bool # (/=) :: StateMap a -> StateMap a -> Bool #
Show a => Show (StateMap a) Source #
Instance details Defined in Language.Lexer.Tlex.Machine.State Methods showsPrec :: Int -> StateMap a -> ShowS # show :: StateMap a -> String # showList :: [StateMap a] -> ShowS #

emptyMap :: StateMap a Source #

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

insertMap :: StateNum -> a -> StateMap a -> StateMap a Source #

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

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

data StateArray a Source #

Instances

Instances details

Functor StateArray Source #
Instance details Defined in Language.Lexer.Tlex.Machine.State Methods fmap :: (a -> b) -> StateArray a -> StateArray b # (<$) :: a -> StateArray b -> StateArray a #
Foldable StateArray Source #
Instance details 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) Source #
Instance details Defined in Language.Lexer.Tlex.Machine.State Methods (==) :: StateArray a -> StateArray a -> Bool # (/=) :: StateArray a -> StateArray a -> Bool #
Show a => Show (StateArray a) Source #
Instance details 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 Source #

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

indexArray :: StateArray a -> StateNum -> a Source #

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

data StateGraph Source #

stateArrayToGraph :: StateArray [StateNum] -> StateGraph Source #

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

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