definition module TUIEncode import JSON, TUIDefinition, TUIDiff // encodes a tui definition in a format readable by the client encodeTUIDefinition :: !TUIDef -> JSONNode // encodes a set of updates in a format readable by the client encodeTUIUpdates :: ![TUIUpdate] -> JSONNode