CurryInfo: xml-3.0.0 / XmlConv.element

element :: String -> XmlConv _ _ a -> XElemConv a
element name xa = Conv rd sh
 where
  rd childs
    | myName==name
      = case xmlReads xa (myAttrs,myElems) of
         (a,([],[])) -> (a,(attrs,elems))
   where
    (attrs,XElem myName myAttrs myElems : elems) = childs

  sh a childs
    = case xmlShows xa a ([],[]) of
        (myAttrs,myElems) -> (attrs,XElem name myAttrs myElems : elems)
   where
    (attrs,elems) = childs

no demanded arguments

deterministic operation

--- Takes an arbitrary XML converter and returns a converter representing
--- an XML element that contains the corresponding data. XML elements may be
--- used in repetitions.
---
--- @param name Tag name of the XML element
--- @param conv XML converter for the childs of the XML element
--- @return XML converter representing an XML element

<FAILING>

referentially transparent operation

no fixity defined

{(_,_) |-> {Conv}}

element

no precedence defined

{Conv}

String -> XmlConv a b c -> XmlConv Repeatable Elem c

operation might suspend on free variables

possibly non-terminating

possibly non-reducible on same data term