Data.Dependency

Functions

resolveDependencies

Arguments

:: PackageSet Dependency

Package set

-> [Dependency]

Dependencies requested

-> DepM [[Dependency]]

Phased build

Dependency resolution is guided by the following:

1. Always use a newer version when possible
2. Obey constraints
3. Specify an error for circular dependencies
4. Specify an error for overconstrained builds
5. Specify an error if a package is not present
6. Present a solution whenever one exists.

This doesn't do any package resolution beyond versioning.

Types

data Dependency

A generic dependency, consisting of a package name and version, as well as dependency names and their constraints.

Constructors

Dependency

Fields

• _libName :: String
• _libDependencies :: [(String, Constraint Version)]
• _libVersion :: Version

Instances

Eq Dependency

Defined in Data.Dependency.Type

Methods

(==) :: Dependency -> Dependency -> Bool

(/=) :: Dependency -> Dependency -> Bool

Ord Dependency

Defined in Data.Dependency.Type

Methods

compare :: Dependency -> Dependency -> Ordering

(<) :: Dependency -> Dependency -> Bool

(<=) :: Dependency -> Dependency -> Bool

(>) :: Dependency -> Dependency -> Bool

(>=) :: Dependency -> Dependency -> Bool

max :: Dependency -> Dependency -> Dependency

min :: Dependency -> Dependency -> Dependency

Show Dependency

Defined in Data.Dependency.Type

Methods

showsPrec :: Int -> Dependency -> ShowS

show :: Dependency -> String

showList :: [Dependency] -> ShowS

Generic Dependency

Defined in Data.Dependency.Type

Associated Types

type Rep Dependency :: * -> *

Methods

from :: Dependency -> Rep Dependency x

to :: Rep Dependency x -> Dependency

NFData Dependency

Defined in Data.Dependency.Type

Methods

rnf :: Dependency -> ()

type Rep Dependency

Defined in Data.Dependency.Type

type Rep Dependency = D1 (MetaData "Dependency" "Data.Dependency.Type" "dependency-1.2.0.3-JoMOpaMi9KKA3CFbO8Vscr" False) (C1 (MetaCons "Dependency" PrefixI True) (S1 (MetaSel (Just "_libName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String) :*: (S1 (MetaSel (Just "_libDependencies") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [(String, Constraint Version)]) :*: S1 (MetaSel (Just "_libVersion") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Version))))

newtype PackageSet a

A package set is simply a map between package names and a set of packages.

Constructors

PackageSet

Fields

• _packageSet :: Map String (Set a)

Instances

Foldable PackageSet

Defined in Data.Dependency.Type

Methods

fold :: Monoid m => PackageSet m -> m

foldMap :: Monoid m => (a -> m) -> PackageSet a -> m

foldr :: (a -> b -> b) -> b -> PackageSet a -> b

foldr' :: (a -> b -> b) -> b -> PackageSet a -> b

foldl :: (b -> a -> b) -> b -> PackageSet a -> b

foldl' :: (b -> a -> b) -> b -> PackageSet a -> b

foldr1 :: (a -> a -> a) -> PackageSet a -> a

foldl1 :: (a -> a -> a) -> PackageSet a -> a

toList :: PackageSet a -> [a]

null :: PackageSet a -> Bool

length :: PackageSet a -> Int

elem :: Eq a => a -> PackageSet a -> Bool

maximum :: Ord a => PackageSet a -> a

minimum :: Ord a => PackageSet a -> a

sum :: Num a => PackageSet a -> a

product :: Num a => PackageSet a -> a

Eq a => Eq (PackageSet a)

Defined in Data.Dependency.Type

Methods

(==) :: PackageSet a -> PackageSet a -> Bool

(/=) :: PackageSet a -> PackageSet a -> Bool

Ord a => Ord (PackageSet a)

Defined in Data.Dependency.Type

Methods

compare :: PackageSet a -> PackageSet a -> Ordering

(<) :: PackageSet a -> PackageSet a -> Bool

(<=) :: PackageSet a -> PackageSet a -> Bool

(>) :: PackageSet a -> PackageSet a -> Bool

(>=) :: PackageSet a -> PackageSet a -> Bool

max :: PackageSet a -> PackageSet a -> PackageSet a

min :: PackageSet a -> PackageSet a -> PackageSet a

Generic (PackageSet a)

Defined in Data.Dependency.Type

Associated Types

type Rep (PackageSet a) :: * -> *

Methods

from :: PackageSet a -> Rep (PackageSet a) x

to :: Rep (PackageSet a) x -> PackageSet a

Binary a => Binary (PackageSet a)

Defined in Data.Dependency.Type

Methods

put :: PackageSet a -> Put

get :: Get (PackageSet a)

putList :: [PackageSet a] -> Put

type Rep (PackageSet a)

Defined in Data.Dependency.Type

type Rep (PackageSet a) = D1 (MetaData "PackageSet" "Data.Dependency.Type" "dependency-1.2.0.3-JoMOpaMi9KKA3CFbO8Vscr" True) (C1 (MetaCons "PackageSet" PrefixI True) (S1 (MetaSel (Just "_packageSet") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Map String (Set a)))))

newtype Version

Constructors

Version [Natural]

Instances

Eq Version

Defined in Data.Dependency.Type

Methods

(==) :: Version -> Version -> Bool

(/=) :: Version -> Version -> Bool

Ord Version

Defined in Data.Dependency.Type

Methods

compare :: Version -> Version -> Ordering

(<) :: Version -> Version -> Bool

(<=) :: Version -> Version -> Bool

(>) :: Version -> Version -> Bool

(>=) :: Version -> Version -> Bool

max :: Version -> Version -> Version

min :: Version -> Version -> Version

Show Version

Defined in Data.Dependency.Type

Methods

showsPrec :: Int -> Version -> ShowS

show :: Version -> String

showList :: [Version] -> ShowS

Generic Version

Defined in Data.Dependency.Type

Associated Types

type Rep Version :: * -> *

Methods

from :: Version -> Rep Version x

to :: Rep Version x -> Version

Binary Version

Defined in Data.Dependency.Type

Methods

put :: Version -> Put

get :: Get Version

putList :: [Version] -> Put

NFData Version

Defined in Data.Dependency.Type

Methods

rnf :: Version -> ()

type Rep Version

Defined in Data.Dependency.Type

type Rep Version = D1 (MetaData "Version" "Data.Dependency.Type" "dependency-1.2.0.3-JoMOpaMi9KKA3CFbO8Vscr" True) (C1 (MetaCons "Version" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Natural])))

type DepM = Either ResolveError

data ResolveError

An error that can occur during package resolution.

Constructors

InternalError

NotPresent String

Conflicts [String] String

CircularDependencies String String

Instances

Eq ResolveError

Defined in Data.Dependency.Error

Methods

(==) :: ResolveError -> ResolveError -> Bool

(/=) :: ResolveError -> ResolveError -> Bool

Show ResolveError

Defined in Data.Dependency.Error

Methods

showsPrec :: Int -> ResolveError -> ShowS

show :: ResolveError -> String

showList :: [ResolveError] -> ShowS

Generic ResolveError

Defined in Data.Dependency.Error

Associated Types

type Rep ResolveError :: * -> *

Methods

from :: ResolveError -> Rep ResolveError x

to :: Rep ResolveError x -> ResolveError

Pretty ResolveError

Defined in Data.Dependency.Error

Methods

pretty :: ResolveError -> Doc

prettyList :: [ResolveError] -> Doc

NFData ResolveError

Defined in Data.Dependency.Error

Methods

rnf :: ResolveError -> ()

type Rep ResolveError

Defined in Data.Dependency.Error

type Rep ResolveError = D1 (MetaData "ResolveError" "Data.Dependency.Error" "dependency-1.2.0.3-JoMOpaMi9KKA3CFbO8Vscr" False) ((C1 (MetaCons "InternalError" PrefixI False) (U1 :: * -> *) :+: C1 (MetaCons "NotPresent" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String))) :+: (C1 (MetaCons "Conflicts" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [String]) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String)) :+: C1 (MetaCons "CircularDependencies" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 String))))

data Constraint a

Monoid/functor for representing constraints.

Constructors

LessThanEq a

GreaterThanEq a

Eq a

Bounded (Constraint a) (Constraint a)

None

Instances

Functor Constraint

Defined in Data.Dependency.Type

Methods

fmap :: (a -> b) -> Constraint a -> Constraint b

(<$) :: a -> Constraint b -> Constraint a

Eq a => Eq (Constraint a)

Defined in Data.Dependency.Type

Methods

(==) :: Constraint a -> Constraint a -> Bool

(/=) :: Constraint a -> Constraint a -> Bool

Ord a => Ord (Constraint a)

Defined in Data.Dependency.Type

Methods

compare :: Constraint a -> Constraint a -> Ordering

(<) :: Constraint a -> Constraint a -> Bool

(<=) :: Constraint a -> Constraint a -> Bool

(>) :: Constraint a -> Constraint a -> Bool

(>=) :: Constraint a -> Constraint a -> Bool

max :: Constraint a -> Constraint a -> Constraint a

min :: Constraint a -> Constraint a -> Constraint a

Show a => Show (Constraint a)

Defined in Data.Dependency.Type

Methods

showsPrec :: Int -> Constraint a -> ShowS

show :: Constraint a -> String

showList :: [Constraint a] -> ShowS

Generic (Constraint a)

Defined in Data.Dependency.Type

Associated Types

type Rep (Constraint a) :: * -> *

Methods

from :: Constraint a -> Rep (Constraint a) x

to :: Rep (Constraint a) x -> Constraint a

Semigroup (Constraint a)

Defined in Data.Dependency.Type

Methods

(<>) :: Constraint a -> Constraint a -> Constraint a

sconcat :: NonEmpty (Constraint a) -> Constraint a

stimes :: Integral b => b -> Constraint a -> Constraint a

Monoid (Constraint a)

Defined in Data.Dependency.Type

Methods

mempty :: Constraint a

mappend :: Constraint a -> Constraint a -> Constraint a

mconcat :: [Constraint a] -> Constraint a

NFData a => NFData (Constraint a)

Defined in Data.Dependency.Type

Methods

rnf :: Constraint a -> ()

type Rep (Constraint a)

Defined in Data.Dependency.Type

type Rep (Constraint a) = D1 (MetaData "Constraint" "Data.Dependency.Type" "dependency-1.2.0.3-JoMOpaMi9KKA3CFbO8Vscr" False) ((C1 (MetaCons "LessThanEq" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)) :+: C1 (MetaCons "GreaterThanEq" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a))) :+: (C1 (MetaCons "Eq" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 a)) :+: (C1 (MetaCons "Bounded" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Constraint a)) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Constraint a))) :+: C1 (MetaCons "None" PrefixI False) (U1 :: * -> *))))