Text.Unicoder

Load unicoder configurations and oerform unicoder transformations on text and strings.

Unicoder replaces simple macros with configured strings, e.g.

\E.x. \A.y. x \-> y
\l.x,y. x \of x \of y

becomes

∃x ∀y x → y
λx,y. x ∘ x ∘ y

For more information, see the documentation.

Unicoder Algorithm

unicodize :: Config -> Text -> Text

Perform the unicoder transformation on a Text value.

unicodizeLazy :: Config -> Text -> Text

Perform the unicoder transformation on a lazy Text value.

unicodizeStr :: Config -> String -> String

Perform the unicoder transformation on a String value.

Configuration

data Config

Aggregate all settings needed to unicodize.

loadConfig :: FilePath -> IO (Maybe Config)

Parse the contents of the passed file as unicoder Config

parseConfig :: FilePath -> Text -> Maybe Config

Parse a config file, possibly failing.