Safe Haskell	None
Language	Haskell2010

Agda.Interaction.Options.IORefs

Description

Some IORefs to access option values in pure code

Synopsis

Documentation

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

Constructors

UnicodeOk
AsciiOnly