Language.Clafer.IG.ClaferModel

Synopsis

• data ClaferModel = ClaferModel {
  • c_topLevel :: [Clafer]
  }
• data Clafer = Clafer {
  • c_id :: Id
  • c_value :: Maybe Value
  • c_children :: [Clafer]
  }
• data Id = Id {
  • i_name :: String
  • i_ordinal :: Int
  }
• data Value
  • = AliasValue {
    • c_alias :: Id
    }
  • | IntValue {
    • v_value :: Int
    }
  • | StringValue {
    • v_str :: String
    }
• c_name :: Clafer -> String
• buildClaferModel :: Solution -> ClaferModel
• traverseModel :: ClaferModel -> [Clafer]

Documentation