language is:module

A helper module that defines some language definitions that can be used to instantiate a token parser (see Text.Parsec.Token).

Parsec compatibility module

Defines the Language accept header with an Accept instance for use in language negotiation.

The PangoLanguage structure is used to represent a language. PangoLanguage pointers can be efficiently copied and compared with each other.

Main Copilot language export file. This is mainly a meta-module that re-exports most definitions in this library.

A simple templating system with variable substitution, function invokation, for loops and conditionals. Most callers should use compileTemplate and invoke the template with renderTemplate. E.g.:

let myTemplate = compileTemplate "Hello, $@$!"
print $ renderTemplate myTemplate mempty "World"

Defines Language, which is the required constraint on expressions that are to be represented in e-graph and on which equality saturation can be run.

Example

data Expr a = Sym String
| Const Double
| UnOp  UOp a
| BinOp BOp a a
deriving ( Eq, Ord, Functor
, Foldable, Traversable)

instance Eq1 Expr  where
...
instance Ord1 Expr where
...

instance Analysis Expr where
...

-- meaning we satisfy all other constraints and Expr is! a language
instance Language Expr

Represents a syntax highlighted language. A GtkSourceLanguage represents a programming or markup language, affecting syntax highlighting and context classes. Use [classlanguageManager] to obtain a GtkSourceLanguage instance, and [methodbuffer.set_language] to apply it to a [classbuffer].

Language extensions known to GHC

This module re-exports the Extension type along with an orphan Binary instance for it. Note that the ghc-boot package has a large set of dependencies; for this reason the Extension type itself is defined in the GHC.LanguageExtensions.Type module provided by the ghc-boot-th package, which has no dependencies outside of base. For this reason template-haskell depends upon ghc-boot-th, not ghc-boot.

A data type defining the language extensions supported by GHC.

Provides access to [classlanguage]s. GtkSourceLanguageManager is an object which processes language description files and creates and stores [classlanguage] objects, and provides API to access them. Use LanguageManager.get_default to retrieve the default instance of GtkSourceLanguageManager, and [methodlanguageManager.guess_language] to get a [classlanguage] for given file name and content type.

Data type for languages. Each LanguageT corresponds to a BCP 47 language tag.

The PangoAttrLanguage structure is used to represent attributes that are languages.