Language.Clafer.IG.Solution

Synopsis

• data Solution = Solution {
  • s_sigs :: [Sig]
  • s_fields :: [Field]
  }
• data Sig = Sig {
  • s_label :: String
  • s_id :: Int
  • s_parentId :: Maybe Int
  • s_atoms :: [Atom]
  }
• data Atom = Atom {
  • a_label :: String
  }
• data Field = Field {
  • f_label :: String
  • f_id :: Int
  • f_parentId :: Int
  • f_tuples :: [Tuple]
  }
• data Tuple = Tuple {
  • t_from :: Atom
  • t_fromType :: Int
  • t_to :: Atom
  • t_toType :: Int
  }
• parseSolution :: String -> Solution

Documentation