module Agda.Interaction.FindFile where

import Agda.Syntax.Common (Ranged)
import Agda.Syntax.Concrete.Name (TopLevelModuleName)
import Agda.TypeChecking.Monad.Base (TCM)
import Agda.Utils.FileName (AbsolutePath)

moduleName :: AbsolutePath -> TCM TopLevelModuleName
moduleName' :: AbsolutePath -> TCM (Ranged TopLevelModuleName)
checkModuleName :: TopLevelModuleName -> AbsolutePath -> Maybe TopLevelModuleName -> TCM ()