{-# LANGUAGE DeriveFunctor #-}
{-# LANGUAGE DeriveGeneric #-}
module Distribution.Client.Types.PackageLocation (
PackageLocation (..),
UnresolvedPkgLoc,
ResolvedPkgLoc,
UnresolvedSourcePackage,
) where
import Distribution.Client.Compat.Prelude
import Prelude ()
import Network.URI (URI)
import Distribution.Types.PackageId (PackageId)
import Distribution.Client.Types.Repo
import Distribution.Client.Types.SourceRepo (SourceRepoMaybe)
import Distribution.Solver.Types.SourcePackage (SourcePackage)
type UnresolvedPkgLoc = PackageLocation (Maybe FilePath)
type ResolvedPkgLoc = PackageLocation FilePath
data PackageLocation local =
LocalUnpackedPackage FilePath
| LocalTarballPackage FilePath
| RemoteTarballPackage URI local
| RepoTarballPackage Repo PackageId local
| RemoteSourceRepoPackage SourceRepoMaybe local
deriving (Int -> PackageLocation local -> ShowS
forall local. Show local => Int -> PackageLocation local -> ShowS
forall local. Show local => [PackageLocation local] -> ShowS
forall local. Show local => PackageLocation local -> FilePath
forall a.
(Int -> a -> ShowS) -> (a -> FilePath) -> ([a] -> ShowS) -> Show a
showList :: [PackageLocation local] -> ShowS
$cshowList :: forall local. Show local => [PackageLocation local] -> ShowS
show :: PackageLocation local -> FilePath
$cshow :: forall local. Show local => PackageLocation local -> FilePath
showsPrec :: Int -> PackageLocation local -> ShowS
$cshowsPrec :: forall local. Show local => Int -> PackageLocation local -> ShowS
Show, forall a b. a -> PackageLocation b -> PackageLocation a
forall a b. (a -> b) -> PackageLocation a -> PackageLocation b
forall (f :: * -> *).
(forall a b. (a -> b) -> f a -> f b)
-> (forall a b. a -> f b -> f a) -> Functor f
<$ :: forall a b. a -> PackageLocation b -> PackageLocation a
$c<$ :: forall a b. a -> PackageLocation b -> PackageLocation a
fmap :: forall a b. (a -> b) -> PackageLocation a -> PackageLocation b
$cfmap :: forall a b. (a -> b) -> PackageLocation a -> PackageLocation b
Functor, PackageLocation local -> PackageLocation local -> Bool
forall local.
Eq local =>
PackageLocation local -> PackageLocation local -> Bool
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: PackageLocation local -> PackageLocation local -> Bool
$c/= :: forall local.
Eq local =>
PackageLocation local -> PackageLocation local -> Bool
== :: PackageLocation local -> PackageLocation local -> Bool
$c== :: forall local.
Eq local =>
PackageLocation local -> PackageLocation local -> Bool
Eq, PackageLocation local -> PackageLocation local -> Ordering
forall a.
Eq a
-> (a -> a -> Ordering)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> a)
-> (a -> a -> a)
-> Ord a
forall {local}. Ord local => Eq (PackageLocation local)
forall local.
Ord local =>
PackageLocation local -> PackageLocation local -> Bool
forall local.
Ord local =>
PackageLocation local -> PackageLocation local -> Ordering
forall local.
Ord local =>
PackageLocation local
-> PackageLocation local -> PackageLocation local
min :: PackageLocation local
-> PackageLocation local -> PackageLocation local
$cmin :: forall local.
Ord local =>
PackageLocation local
-> PackageLocation local -> PackageLocation local
max :: PackageLocation local
-> PackageLocation local -> PackageLocation local
$cmax :: forall local.
Ord local =>
PackageLocation local
-> PackageLocation local -> PackageLocation local
>= :: PackageLocation local -> PackageLocation local -> Bool
$c>= :: forall local.
Ord local =>
PackageLocation local -> PackageLocation local -> Bool
> :: PackageLocation local -> PackageLocation local -> Bool
$c> :: forall local.
Ord local =>
PackageLocation local -> PackageLocation local -> Bool
<= :: PackageLocation local -> PackageLocation local -> Bool
$c<= :: forall local.
Ord local =>
PackageLocation local -> PackageLocation local -> Bool
< :: PackageLocation local -> PackageLocation local -> Bool
$c< :: forall local.
Ord local =>
PackageLocation local -> PackageLocation local -> Bool
compare :: PackageLocation local -> PackageLocation local -> Ordering
$ccompare :: forall local.
Ord local =>
PackageLocation local -> PackageLocation local -> Ordering
Ord, forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
forall local x.
Rep (PackageLocation local) x -> PackageLocation local
forall local x.
PackageLocation local -> Rep (PackageLocation local) x
$cto :: forall local x.
Rep (PackageLocation local) x -> PackageLocation local
$cfrom :: forall local x.
PackageLocation local -> Rep (PackageLocation local) x
Generic, Typeable)
instance Binary local => Binary (PackageLocation local)
instance Structured local => Structured (PackageLocation local)
type UnresolvedSourcePackage = SourcePackage UnresolvedPkgLoc