| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
DDC.Build.Language
- data Language = (Typeable n, Ord n, Show n, Pretty n, Pretty (err (AnTEC SourcePos n)), Pretty (err (AnTEC () n)), NFData n, CompoundName 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 -> [Located (Token n)]
- fragmentLexExp :: String -> Int -> String -> [Located (Token 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.
Constructors
| Bundle | |
Fields
| |
data Fragment n err :: * -> (* -> *) -> * #
Carries all the information we need to work on a particular fragment of the Disciple Core language.
Constructors
| Fragment | |
Fields
| |