Safe Haskell | None |
---|
from internal representation to XML, and back
- tox :: Proof -> Document ()
- toplevel :: XmlContent a => a -> Element ()
- data Xml_As_String a = Xml_As_String a
- mai :: forall a. (Typeable a, XmlContent a, ToExotic a) => String -> Domain -> a -> CParser Matrix_Int
- externalize :: [Identifier] -> Rule (Term Identifier Identifier) -> Rule (Term Identifier (Marked Identifier))
- unP :: Identifier -> Identifier
Documentation
toplevel :: XmlContent a => a -> Element ()Source
data Xml_As_String a Source
for some types, e.g. Integer , do not use XmlContent instance for element type but show them (as string). reason: the XmlContent module contains an instance for integer that produces value="42"/ and there is no way to turn this off.
Typeable1 Xml_As_String | |
(Typeable a, Show a, Read a) => XmlContent (Xml_As_String a) | |
ToExotic a => ToExotic (Xml_As_String a) |
mai :: forall a. (Typeable a, XmlContent a, ToExotic a) => String -> Domain -> a -> CParser Matrix_IntSource
FIXME this is broken because the keys could be Identifier or Marked Identifier
externalize :: [Identifier] -> Rule (Term Identifier Identifier) -> Rule (Term Identifier (Marked Identifier))Source
unP :: Identifier -> IdentifierSource
super ugly risky: name mangling