options library

Classes

Options

Options.

Enums

Dictionary

Types of dictionaries.

Typedefs

Dictionaries = Map<Dictionary, List<String>>

A dictionary. Although a map can have multiple values, it's recommended to store a single dictionary here.

Graph = Map<String, GraphEntry>

Keyboard layouts.

GraphEntry = Map<String, List<String?>>

A keyboard layout.

L33tTable = Map<String, List<String>>

L33t substitutions.

RankedDictionaries = Map<Dictionary, RankedDictionary>

Ranks of words by dictionary type.

RankedDictionary = Map<String, int>

Ranks of words.