phino-0.0.0: Command-Line Manipulator of 𝜑-Calculus Expressions
Safe HaskellSafe-Inferred
LanguageHaskell2010

XMIR

Documentation

expressionToXMIR :: Expression -> XmirContext -> IO Document Source #

printXMIR :: Document -> String Source #

toName :: String -> Name Source #

parseXMIR :: String -> Either String Document Source #

parseXMIRThrows :: String -> IO Document Source #

xmirToPhi :: Document -> IO Expression Source #

xmirAtoms :: Document -> IO Atoms Source #

renameAtoms :: [(Text, Text)] -> XmirContext -> XmirContext Source #

type Atoms = Map Text String Source #

defaultXmirContext :: XmirContext Source #

escapeXML :: String -> String Source #

escapeXMLText :: String -> String Source #

gitRevision :: String Source #

xmirTime :: UTCTime -> String Source #

data XmirContext Source #

Constructors

XmirContext Bool Bool Bool (Expression -> String) Atoms