Agda.Interaction.Options.IORefs

Some IORefs to access option values in pure code

Documentation

data UnicodeOrAscii

In Pretty and String we want to know whether we are allowed to insert unicode characters or not.

Constructors

UnicodeOk

AsciiOnly

unicodeOrAscii :: IORef UnicodeOrAscii