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