module Language.ATS.Package.Dhall ( checkPkg
                                  ) where

import           Data.Bool                 (bool)
import qualified Data.Text.Lazy            as TL
import           Dhall                     hiding (bool)
import           Language.ATS.Package.Type

checkPkg :: FilePath -> Bool -> IO ATSDependency
checkPkg path details = do
    x <- input auto (TL.pack ('.' : '/' : path))
    let f = bool id detailed details
    f (pure (x :: ATSDependency))