Module CMeta

Summary of exported operations:

mkExpBox
                  :: Bool -> BoxLabel

mkTopBox
                  :: [String] -> BoxLabel

mkLocBox
                  :: [String] -> BoxLabel

mkifTBox
                  :: BoxLabel

mkifFBox
                  :: BoxLabel

mkGuardTBox
                  :: BoxLabel

mkGuardFBox
                  :: BoxLabel

metaCreate
                  :: String -> CMeta -> IO ()

mkCMeta
                  :: [(Int,((Int,Int),(Int,Int)),BoxLabel)] -> CMeta

idBox
                  :: (Int,((Int,Int),(Int,Int)),BoxLabel) -> Int

position
                  :: (Int,((Int,Int),(Int,Int)),BoxLabel) -> ((Int,Int),(Int,Int))

label
                  :: (Int,((Int,Int),(Int,Int)),BoxLabel) -> BoxLabel

boxes
                  :: CMeta -> [(Int,((Int,Int),(Int,Int)),BoxLabel)]

readMeta'
                  :: String -> IO CMeta

metaName
                  :: String -> String -> String

getBoxes
                  :: CMeta -> [(Int,((Int,Int),(Int,Int)),BoxLabel)]

isExp
                  :: (Int,((Int,Int),(Int,Int)),BoxLabel) -> Bool

isAlt
                  :: (Int,((Int,Int),(Int,Int)),BoxLabel) -> Bool

isBin
                  :: (Int,((Int,Int),(Int,Int)),BoxLabel) -> Bool

isCond
                  :: BoxLabel -> Bool

Exported datatypes:

CMeta

Constructors:

CpcPos

Type synonym: CpcPos = (Int,Int)

BoxEntry

Type synonym: BoxEntry = (Int,(CpcPos,CpcPos),BoxLabel)

BoxLabel

Constructors:

ExpBox :: Bool -> BoxLabel
TopLevelBox :: [String] -> BoxLabel
LocalBox :: [String] -> BoxLabel
BinBox :: CondBox -> Bool -> BoxLabel

CondBox

Constructors:

Exported operations:

mkExpBox :: Bool -> BoxLabel

Further infos:

solution complete, i.e., able to compute all solutions

mkTopBox :: [String] -> BoxLabel

Further infos:

solution complete, i.e., able to compute all solutions

mkLocBox :: [String] -> BoxLabel

Further infos:

solution complete, i.e., able to compute all solutions

mkifTBox :: BoxLabel

Further infos:

solution complete, i.e., able to compute all solutions

mkifFBox :: BoxLabel

Further infos:

solution complete, i.e., able to compute all solutions

mkGuardTBox :: BoxLabel

Further infos:

solution complete, i.e., able to compute all solutions

mkGuardFBox :: BoxLabel

Further infos:

solution complete, i.e., able to compute all solutions

metaCreate :: String -> CMeta -> IO ()

mkCMeta :: [(Int,((Int,Int),(Int,Int)),BoxLabel)] -> CMeta

Further infos:

solution complete, i.e., able to compute all solutions

idBox :: (Int,((Int,Int),(Int,Int)),BoxLabel) -> Int

Further infos:

solution complete, i.e., able to compute all solutions

position :: (Int,((Int,Int),(Int,Int)),BoxLabel) -> ((Int,Int),(Int,Int))

Further infos:

solution complete, i.e., able to compute all solutions

label :: (Int,((Int,Int),(Int,Int)),BoxLabel) -> BoxLabel

Further infos:

solution complete, i.e., able to compute all solutions

boxes :: CMeta -> [(Int,((Int,Int),(Int,Int)),BoxLabel)]

Further infos:

solution complete, i.e., able to compute all solutions

readMeta' :: String -> IO CMeta

metaName :: String -> String -> String

getBoxes :: CMeta -> [(Int,((Int,Int),(Int,Int)),BoxLabel)]

Further infos:

solution complete, i.e., able to compute all solutions

isExp :: (Int,((Int,Int),(Int,Int)),BoxLabel) -> Bool

isAlt :: (Int,((Int,Int),(Int,Int)),BoxLabel) -> Bool

isBin :: (Int,((Int,Int),(Int,Int)),BoxLabel) -> Bool

isCond :: BoxLabel -> Bool