Copyright | (c) 2020 berberman |
---|---|
License | MIT |
Maintainer | berberman <1793913507@qq.com> |
Stability | experimental |
Portability | portable |
Safe Haskell | None |
Language | Haskell2010 |
Types used in this project.
Synopsis
- type PkgList = [PackageName]
- type ComponentPkgList = [(UnqualComponentName, PkgList)]
- type CommunityDB = Set String
- type HackageEnv = Reader HackageDB
- type CommunityEnv = Reader CommunityDB
- type FlagAssignments = Map PackageName FlagAssignment
- type FlagAssignmentsEnv = Reader FlagAssignments
- type DependencyRecord = State (Map PackageName [VersionRange])
- type WithMyErr = Error MyException
- data MyException
- data DependencyType
- data DependencyKind
- data DependencyProvider
- = ByCommunity
- | ByAur
- data SolvedDependency = SolvedDependency {}
- data SolvedPackage
- = ProvidedPackage { }
- | SolvedPackage { }
- depType :: Lens' SolvedDependency [DependencyType]
- depProvider :: Lens' SolvedDependency (Maybe DependencyProvider)
- depName :: Lens' SolvedDependency PackageName
- pkgProvider :: Traversal' SolvedPackage DependencyProvider
- pkgName :: Lens' SolvedPackage PackageName
- pkgDeps :: Traversal' SolvedPackage [SolvedDependency]
Documentation
type PkgList = [PackageName] Source #
A list of PackageName
type ComponentPkgList = [(UnqualComponentName, PkgList)] Source #
A list of component represented by UnqualComponentName
and its dependencies collected in a PkgList
type CommunityDB = Set String Source #
Representation of cummunity.db
type CommunityEnv = Reader CommunityDB Source #
Reader effect of CommunityDB
type FlagAssignments = Map PackageName FlagAssignment Source #
A map of packages with their FlagAssignment
type FlagAssignmentsEnv = Reader FlagAssignments Source #
Reader effect of a map, associating PackageName
with its FlagAssignment
type DependencyRecord = State (Map PackageName [VersionRange]) Source #
Unused state effect
type WithMyErr = Error MyException Source #
Error effect of MyException
data MyException Source #
Custom exception used in this project
PkgNotFound PackageName | |
VersionError PackageName Version | |
TargetExist PackageName DependencyProvider | |
CyclicError [PackageName] |
Instances
Eq MyException Source # | |
Defined in Distribution.ArchHs.Types (==) :: MyException -> MyException -> Bool # (/=) :: MyException -> MyException -> Bool # | |
Show MyException Source # | |
Defined in Distribution.ArchHs.Types showsPrec :: Int -> MyException -> ShowS # show :: MyException -> String # showList :: [MyException] -> ShowS # |
data DependencyType Source #
The type of a dependency. Who requires this?
CExe UnqualComponentName | By a executable |
CExeBuildTools UnqualComponentName | By the build tools of a executable |
CLib | By a library |
CTest UnqualComponentName | By a test suit |
CBenchmark UnqualComponentName | By a benchmark |
CLibBuildTools | By the build tools of a library |
CTestBuildTools UnqualComponentName | By the build tools of a test suit |
CBenchmarkBuildTools UnqualComponentName | By the build tools of a benchmark |
CSubLibs UnqualComponentName | By a sub-library |
CSubLibsBuildTools UnqualComponentName | By the build tools of a sub-library |
Instances
data DependencyKind Source #
Tags of data constructors of DependencyType
Exe | |
ExeBuildTools | |
Lib | |
Test | |
Benchmark | |
LibBuildTools | |
TestBuildTools | |
BenchmarkBuildTools | |
SubLibs | |
SubLibsBuildTools |
Instances
Eq DependencyKind Source # | |
Defined in Distribution.ArchHs.Types (==) :: DependencyKind -> DependencyKind -> Bool # (/=) :: DependencyKind -> DependencyKind -> Bool # |
data DependencyProvider Source #
Provider of a dependency.
Instances
Eq DependencyProvider Source # | |
Defined in Distribution.ArchHs.Types (==) :: DependencyProvider -> DependencyProvider -> Bool # (/=) :: DependencyProvider -> DependencyProvider -> Bool # | |
Show DependencyProvider Source # | |
Defined in Distribution.ArchHs.Types showsPrec :: Int -> DependencyProvider -> ShowS # show :: DependencyProvider -> String # showList :: [DependencyProvider] -> ShowS # | |
Generic DependencyProvider Source # | |
Defined in Distribution.ArchHs.Types type Rep DependencyProvider :: Type -> Type # from :: DependencyProvider -> Rep DependencyProvider x # to :: Rep DependencyProvider x -> DependencyProvider # | |
NFData DependencyProvider Source # | |
Defined in Distribution.ArchHs.Types rnf :: DependencyProvider -> () # | |
type Rep DependencyProvider Source # | |
data SolvedDependency Source #
A solved dependency, holden by SolvedPackage
SolvedDependency | |
|
Instances
data SolvedPackage Source #
A solved package collected from dgraph. This data type is not designed to be recursively,
thus the element type of _pkgDeps
is SolvedDependency
, rather than another SolvedPackage
.
ProvidedPackage | A package which has been provided by somebody, so there is no need to expand its dependencies |
| |
SolvedPackage | A package with its dependencies |
|