Medium.Controlled.ContextFreeGrammar

Documentation

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

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 control prim = T control (Tag key prim)

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

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