Safe Haskell | Safe-Inferred |
---|
this module contains the defs of common data types and type classes
- data Range = Range !Int !Int
- range :: Int -> Int -> Range
- minRange :: (a, b) -> a
- maxRange :: (a, b) -> b
- type Letter = (Char, Int)
- class PosEpsilon a where
- posEpsilon :: a -> Bool
- class IsEpsilon a where
- class IsPhi a where
- class Simplifiable a where
- simplify :: a -> a
- my_hash :: Int -> Char -> Int
- my_lookup :: Int -> Char -> IntMap [Int] -> [Int]
- data GFlag
- class IsGreedy a where
- nub2 :: [(Int, a)] -> [(Int, a)]
- nub3 :: [(Int, a, Int)] -> [(Int, a, Int)]
- preBinder :: Int
- preBinder_ :: Int
- subBinder :: Int
- mainBinder :: Int
Documentation
(sub)words represent by range type Range = (Int,Int)
class PosEpsilon a whereSource
test for 'epsilon in a' epsilon-possession
posEpsilon :: a -> BoolSource
test for epsilon == a
class Simplifiable a whereSource
Simplifiable RE | |
Simplifiable Pat | mainly interested in simplifying epsilon, p --> p could be made more optimal, e.g. (epsilon, epsilon) --> epsilon |