Synnefo » snf-ganeti

-- | A definition for ADTs with simple fields.

type SimpleObject = [SimpleConstructor]

-- * Helper functions

-- | Ensure first letter is lowercase.

-- datatype and the JSON serialisation out of it. We can't use a

-- generic serialisation since we need to be compatible with Ganeti's

-- own, so we have a few quirks to work around.

          -> Q [Dec]

genOpCode name cons = do

  let tname = mkName name

-- | Generates the function pattern returning the list of fields for a

-- given constructor.

genOpConsFields (cname, fields) =

  let op_id = deCamelCase cname

      fvals = map (LitE . StringL) . sort . nub $

  in Clause [LitP (StringL op_id)] (NormalB $ ListE fvals) []

-- | Generates a list of all fields of an opcode constructor.

                -> (Dec, Dec)

genAllOpFields sname opdefs =

  let cclauses = map genOpConsFields opdefs

--

-- This builds a per-constructor match clause that contains the

-- respective constructor-serialisation code.

              -> Q (Dec, Dec)

genSaveOpCode tname sname opdefs fn = do

  cclauses <- mapM fn opdefs

  return $ DoE fstmts'

-- | Generates the loadOpCode function.

genLoadOpCode opdefs = do

  let fname = mkName "loadOpCode"

      arg1 = mkName "v"

--

-- * type

--

genLuxiOp name cons = do

  let tname = mkName name

  decl_d <- mapM (\(cname, fields) -> do

    [| JSON.showJSON $(varE fvar) |]

-- | Generates the \"save\" clause for entire LuxiOp constructor.

saveLuxiConstructor (sname, fields) = do

  let cname = mkName sname

  fnames <- mapM (newName . fieldVariable) fields