Safe Haskell | None |
---|
- data Language = forall s n err . (Typeable n, Ord n, Show n, Pretty n, Pretty (err (AnTEC SourcePos n)), Pretty (err (AnTEC () n)), NFData n) => Language (Bundle s n err)
- data Bundle s n err = Bundle {
- bundleFragment :: Fragment n err
- bundleModules :: Map ModuleName (Module (AnTEC () n) n)
- bundleStateInit :: s
- bundleSimplifier :: Simplifier s (AnTEC () n) n
- bundleMakeNamifierT :: Env n -> Namifier s n
- bundleMakeNamifierX :: Env n -> Namifier s n
- bundleRewriteRules :: Map String (RewriteRule (AnTEC () n) n)
- data Fragment n err = Fragment {
- fragmentProfile :: Profile n
- fragmentExtension :: String
- fragmentReadName :: String -> Maybe n
- fragmentLexModule :: String -> Int -> String -> [Token (Tok n)]
- fragmentLexExp :: String -> Int -> String -> [Token (Tok n)]
- fragmentCheckModule :: forall a. Module a n -> Maybe (err a)
- fragmentCheckExp :: forall a. Exp a n -> Maybe (err a)
- languages :: [(String, Language)]
- languageOfExtension :: String -> Maybe Language
Documentation
Existential container for a language fragment, and the dictionaries we need to work with its type parameters.
Existential container for a language fragment, the simplifier for it, and the dictionaries we need to work with its type parameters.
Bundle | |
|
data Fragment n err
Carries all the information we need to work on a particular fragment of the Disciple Core language.
Fragment | |
|
Show (Fragment n err) |
languages :: [(String, Language)]Source
Supported language profiles.
One of Tetra
, Lite
, Salt
, Eval
, Flow
, Zero
.
languageOfExtension :: String -> Maybe LanguageSource
Return the language fragment definition corresponding to the given
file extension. eg dcl
gives the definition of the Lite language.