Safe Haskell | None |
---|---|
Language | Haskell2010 |
- data IsMain
- doCompile :: forall r. Monoid r => IsMain -> Interface -> (IsMain -> Interface -> TCM r) -> TCM r
- setInterface :: Interface -> TCM ()
- curIF :: TCM Interface
- curSig :: TCM Signature
- curMName :: TCM ModuleName
- curDefs :: TCM Definitions
- sortDefs :: Definitions -> [(QName, Definition)]
- sigMName :: Signature -> ModuleName
- compileDir :: TCM FilePath
- repl :: [String] -> String -> String
- conArityAndPars :: QName -> TCM (Nat, Nat)
- inCompilerEnv :: Interface -> TCM a -> TCM a
- topLevelModuleName :: ModuleName -> TCM ModuleName
Documentation
doCompile :: forall r. Monoid r => IsMain -> Interface -> (IsMain -> Interface -> TCM r) -> TCM r Source #
setInterface :: Interface -> TCM () Source #
curMName :: TCM ModuleName Source #
curDefs :: TCM Definitions Source #
sortDefs :: Definitions -> [(QName, Definition)] Source #
sigMName :: Signature -> ModuleName Source #
compileDir :: TCM FilePath Source #