Implementation: Operators

• All operators are implemented as Kleisli script.

  
  
  
  

• Example: Function to merge two separate pedigree diagrams.

   (#normal-male: SPECA.#normal-male {+} SPECB.#norma-male,
    #normal-female: SPECA.#normal-female {+} SPECB.#norma-female,
    #normal-unspec: SPECA.#normal-unspec {+} SPECB.#norma-unspec,
    #afflicted-male: SPECA.#afflicted-male {+} SPECB.#afflicted-male,
    #afflicted-female: SPECA.#afflicted-female {+} SPECB.#afflicted-female,
    #afflicted-unspec: SPECA.#afflicted-unspec {+} SPECB.#afflicted-unspec,
    #pedigree:
     { (#father: p.#dad, #mother: p.#mum, #offspring:
          { c
          | \q <- SPECA.#pedigree {+} SPECB.#pedigree,
            q.#father = p.#dad, q.#mother = p.#mum,
            \c <- q.#offspring })
     | \p <- {(#dad:x.#father, #mum:x.#mother)
             | \x <- SPECA.#pedigree {+} SPECB.#pedigree}})
  

  • Take the union of respective sets of normal and afflicted individuals
  • Cannot take the union of the two pedigree fields
  • Instead, for each parental pair, we have to first find their separate sets of children (in the two pedigree files) and then take the union of these sets of children.