Data.Dependency

Functions

resolveDependencies :: PackageSet Dependency -> [[Dependency]] -> Maybe [[Dependency]]

Heuristics:

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.

This doesn't do any package resolution beyond versioning.

isPresent :: PackageSet Version -> Dependency -> Bool

buildSequence :: [Dependency] -> [[Dependency]]

asGraph :: [Dependency] -> (Graph, Vertex -> Dependency)

Types

data Dependency

Constructors

Dependency

Fields

• _libName :: String
• _libConstraint :: Constraint Version
• _libDependencies :: [String]

Instances

Eq Dependency

Methods

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

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

Ord Dependency

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

Methods

showsPrec :: Int -> Dependency -> ShowS

show :: Dependency -> String

showList :: [Dependency] -> ShowS

Generic Dependency

Associated Types

type Rep Dependency :: * -> *

Methods

from :: Dependency -> Rep Dependency x

to :: Rep Dependency x -> Dependency

NFData Dependency

Methods

rnf :: Dependency -> ()

type Rep Dependency

type Rep Dependency

newtype PackageSet a

Constructors

PackageSet (Map String (Set a))

Instances

Eq a => Eq (PackageSet a)

Methods

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

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

Ord a => Ord (PackageSet a)

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)

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)

Methods

put :: PackageSet a -> Put

get :: Get (PackageSet a)

putList :: [PackageSet a] -> Put

type Rep (PackageSet a)

type Rep (PackageSet a) = D1 * (MetaData "PackageSet" "Data.Dependency.Type" "dependency-0.1.0.2-IIQQUWyd9V58VEtyGr9AbS" True) (C1 * (MetaCons "PackageSet" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Map String (Set a)))))

newtype Version

Constructors

Version [Integer]

Instances

Eq Version

Methods

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

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

Ord Version

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

Methods

showsPrec :: Int -> Version -> ShowS

show :: Version -> String

showList :: [Version] -> ShowS

Generic Version

Associated Types

type Rep Version :: * -> *

Methods

from :: Version -> Rep Version x

to :: Rep Version x -> Version

Binary Version

Methods

put :: Version -> Put

get :: Get Version

putList :: [Version] -> Put

NFData Version

Methods

rnf :: Version -> ()

type Rep Version

type Rep Version = D1 * (MetaData "Version" "Data.Dependency.Type" "dependency-0.1.0.2-IIQQUWyd9V58VEtyGr9AbS" True) (C1 * (MetaCons "Version" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [Integer])))