Safe Haskell | None |
---|---|
Language | Haskell2010 |
- resolveDependencies :: PackageSet Dependency -> [Dependency] -> DepM [[Dependency]]
- buildSequence :: [Dependency] -> [[Dependency]]
- satisfies :: Ord a => Constraint a -> a -> Bool
- data Dependency = Dependency {}
- newtype PackageSet a = PackageSet (Map String (Set a))
- newtype Version = Version [Integer]
- type DepM = Either ResolveError
- data ResolveError
- data Constraint a
- = LessThanEq a
- | GreaterThanEq a
- | Eq a
- | Bounded (Constraint a) (Constraint a)
- | None
Functions
resolveDependencies :: PackageSet Dependency -> [Dependency] -> DepM [[Dependency]] Source #
Heuristics:
- Always use a newer version when possible
- Obey constraints
- Specify an error for circular dependencies
- Specify an error for overconstrained builds
- Specify an error if a package is not present
This doesn't do any package resolution beyond versioning.
buildSequence :: [Dependency] -> [[Dependency]] Source #
Types
data Dependency Source #
newtype PackageSet a Source #
PackageSet (Map String (Set a)) |
Foldable PackageSet Source # | |
Eq a => Eq (PackageSet a) Source # | |
Ord a => Ord (PackageSet a) Source # | |
Generic (PackageSet a) Source # | |
Binary a => Binary (PackageSet a) Source # | |
type Rep (PackageSet a) Source # | |
type DepM = Either ResolveError Source #
data ResolveError Source #
An error that can occur during package resolution.
data Constraint a Source #
LessThanEq a | |
GreaterThanEq a | |
Eq a | |
Bounded (Constraint a) (Constraint a) | |
None |
Functor Constraint Source # | |
Eq a => Eq (Constraint a) Source # | |
Ord a => Ord (Constraint a) Source # | |
Show a => Show (Constraint a) Source # | |
Generic (Constraint a) Source # | |
Semigroup (Constraint a) Source # | |
Monoid (Constraint a) Source # | |
Pretty a => Pretty (Constraint a) Source # | |
NFData a => NFData (Constraint a) Source # | |
Recursive (Constraint a) Source # | |
Corecursive (Constraint a) Source # | |
type Rep (Constraint a) Source # | |
type Base (Constraint a) Source # | |