package lambda-term
-
lambda-term
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package lambda-term
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Widgets resources
val empty : tThe empty set of resources.
val get : string -> t -> stringget key resources returns the key associated to the last pattern that matches key in resources, or the empty string if no pattern matches key.
add pattern value returns the new set of resources with the binding pattern -> value at the end.
val get_bool : string -> t -> bool optionget_bool name resources reads the boolean encoded in resources.
val get_color : string -> t -> LTerm_style.color optionget_color name resources reads the color encoded in resources.
val get_style : string -> t -> LTerm_style.tget_style prefix resources reads the style encoded in resources.
val get_connection : string -> t -> LTerm_draw.connectionget_connection name resources
Parse_error(source, line, msg) is raised when a parsing error is encountered in the input.
val parse : string -> tparse str parses a string for a list of properties. str must follow the format of X resources files. i.e. comments start with a !, empty lines are ignored, and configuration lines looks-like:
key: value