Medium.Plain.ContextFreeGrammar

Documentation

data Tag key prim

Constructors

Prim prim

Call key

CallMulti Int key

Instances

(Eq key, Eq prim) => Eq (Tag key prim)

(Ord key, Ord prim) => Ord (Tag key prim)

(Show key, Show prim) => Show (Tag key prim)

type TagMedium key prim = T (Tag key prim)

type T key prim = [(key, TagMedium key prim)]

fromMedium :: (Ord key, Ord prim) => [key] -> Int -> T prim -> T key prim

toMedium :: (Show key, Ord key, Ord prim) => T key prim -> T prim

expand :: (Show key, Ord key, Ord prim) => T key prim -> [(key, T prim)]

whileM :: Monad m => (a -> Bool) -> [StateT s m a] -> StateT s m [a]

condense :: (Ord key, Ord prim) => key -> T key prim -> (Int, T key prim)

joinTag :: Construct medium => Tag key (medium (Tag key prim)) -> medium (Tag key prim)

replaceInfix :: (Eq a, Eq b) => a -> [b] -> [b] -> [Tag a b]

isCyclic :: Eq a => [a] -> Bool

smallestCycle :: Eq a => [a] -> [a]

maximumCommonInfix :: (Ord a, Ord b) => ([a] -> b) -> [a] -> [a]

maximumCommonInfixMulti :: (Ord a, Ord b) => ([a] -> b) -> [[a]] -> [a]

commonPrefix :: Eq a => [a] -> [a] -> [a]

commonPrefixRec :: Eq a => [a] -> [a] -> [a]