{-# language OverloadedStrings #-}

module DhallLocation
  ( DhallLocation(..)
  , dhallFromGitHub
  )
  where

import Data.Version ( showVersion )

import qualified Data.Text.Lazy as LazyText
import qualified Dhall.Core

import qualified Paths_dhall_to_cabal as Paths


data DhallLocation = DhallLocation
  { preludeLocation :: Dhall.Core.Import
  , typesLocation :: Dhall.Core.Import
  }


version :: LazyText.Text
version = LazyText.pack ( showVersion Paths.version )


dhallFromGitHub :: DhallLocation
dhallFromGitHub =
  DhallLocation
    { preludeLocation =
        Dhall.Core.Import
          { Dhall.Core.importHashed =
              Dhall.Core.ImportHashed
                { Dhall.Core.hash =
                    Nothing
                , Dhall.Core.importType =
                    Dhall.Core.URL
                      "https://raw.githubusercontent.com"
                      ( Dhall.Core.File
                         ( Dhall.Core.Directory [ "dhall", version, "dhall-to-cabal", "dhall-lang" ] )
                         "prelude.dhall"
                      )
                      ""
                      Nothing
                }
          , Dhall.Core.importMode =
              Dhall.Core.Code
          }

    , typesLocation =
        Dhall.Core.Import
          { Dhall.Core.importHashed =
              Dhall.Core.ImportHashed
                { Dhall.Core.hash =
                    Nothing
                , Dhall.Core.importType =
                    Dhall.Core.URL
                      "https://raw.githubusercontent.com"
                      ( Dhall.Core.File
                         ( Dhall.Core.Directory [ "dhall", version, "dhall-to-cabal", "dhall-lang" ] )
                         "types.dhall"
                      )
                      ""
                      Nothing
                }
          , Dhall.Core.importMode =
              Dhall.Core.Code
          }
    }