Distribution.ArchHs.Types

Types used in this project.

Documentation

type PkgList = [PackageName]

A list of PackageName

type ComponentPkgList = [(UnqualComponentName, PkgList)]

A list of component represented by UnqualComponentName and its dependencies collected in a PkgList

newtype ArchLinuxName

Name of packages in archlinux repo, a wrapper of String.

Constructors

ArchLinuxName

Fields

• unArchLinuxName :: String

  Unwrap the value

Instances

HasMyName ArchLinuxName

Defined in Distribution.ArchHs.Name

Methods

toHackageRep :: ArchLinuxName -> MyName 'HackageRep

toArchLinuxRep :: ArchLinuxName -> MyName 'ArchLinuxRep

Generic ArchLinuxName

Defined in Distribution.ArchHs.Types

Associated Types

type Rep ArchLinuxName :: Type -> Type

Methods

from :: ArchLinuxName -> Rep ArchLinuxName x

to :: Rep ArchLinuxName x -> ArchLinuxName

Read ArchLinuxName

Defined in Distribution.ArchHs.Types

Methods

readsPrec :: Int -> ReadS ArchLinuxName

readList :: ReadS [ArchLinuxName]

readPrec :: ReadPrec ArchLinuxName

readListPrec :: ReadPrec [ArchLinuxName]

Show ArchLinuxName

Defined in Distribution.ArchHs.Types

Methods

showsPrec :: Int -> ArchLinuxName -> ShowS

show :: ArchLinuxName -> String

showList :: [ArchLinuxName] -> ShowS

NFData ArchLinuxName

Defined in Distribution.ArchHs.Types

Methods

rnf :: ArchLinuxName -> ()

Eq ArchLinuxName

Defined in Distribution.ArchHs.Types

Methods

(==) :: ArchLinuxName -> ArchLinuxName -> Bool

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

Ord ArchLinuxName

Defined in Distribution.ArchHs.Types

Methods

compare :: ArchLinuxName -> ArchLinuxName -> Ordering

(<) :: ArchLinuxName -> ArchLinuxName -> Bool

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

(>) :: ArchLinuxName -> ArchLinuxName -> Bool

(>=) :: ArchLinuxName -> ArchLinuxName -> Bool

max :: ArchLinuxName -> ArchLinuxName -> ArchLinuxName

min :: ArchLinuxName -> ArchLinuxName -> ArchLinuxName

type Rep ArchLinuxName

Defined in Distribution.ArchHs.Types

type Rep ArchLinuxName = D1 ('MetaData "ArchLinuxName" "Distribution.ArchHs.Types" "arch-hs-0.11.1.0-DkneLapkOJPCLtr84771ty" 'True) (C1 ('MetaCons "ArchLinuxName" 'PrefixI 'True) (S1 ('MetaSel ('Just "unArchLinuxName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))

newtype SystemDependency

A external dependency provided by system, which is converted from package config (.pc) or extra lib (.so).

Constructors

SystemDependency String

Instances

Generic SystemDependency

Defined in Distribution.ArchHs.Types

Associated Types

type Rep SystemDependency :: Type -> Type

Methods

from :: SystemDependency -> Rep SystemDependency x

to :: Rep SystemDependency x -> SystemDependency

Read SystemDependency

Defined in Distribution.ArchHs.Types

Methods

readsPrec :: Int -> ReadS SystemDependency

readList :: ReadS [SystemDependency]

readPrec :: ReadPrec SystemDependency

readListPrec :: ReadPrec [SystemDependency]

Show SystemDependency

Defined in Distribution.ArchHs.Types

Methods

showsPrec :: Int -> SystemDependency -> ShowS

show :: SystemDependency -> String

showList :: [SystemDependency] -> ShowS

NFData SystemDependency

Defined in Distribution.ArchHs.Types

Methods

rnf :: SystemDependency -> ()

Eq SystemDependency

Defined in Distribution.ArchHs.Types

Methods

(==) :: SystemDependency -> SystemDependency -> Bool

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

Ord SystemDependency

Defined in Distribution.ArchHs.Types

Methods

compare :: SystemDependency -> SystemDependency -> Ordering

(<) :: SystemDependency -> SystemDependency -> Bool

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

(>) :: SystemDependency -> SystemDependency -> Bool

(>=) :: SystemDependency -> SystemDependency -> Bool

max :: SystemDependency -> SystemDependency -> SystemDependency

min :: SystemDependency -> SystemDependency -> SystemDependency

type Rep SystemDependency

Defined in Distribution.ArchHs.Types

type Rep SystemDependency = D1 ('MetaData "SystemDependency" "Distribution.ArchHs.Types" "arch-hs-0.11.1.0-DkneLapkOJPCLtr84771ty" 'True) (C1 ('MetaCons "SystemDependency" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))

data PkgDependent

Arch Linux dependency type for depends, replaces, conflicts,.etc in PkgDesc

Constructors

PkgDependent

Fields

• _pdName :: ArchLinuxName
• _pdVersion :: Maybe ArchLinuxVersion

Instances

Generic PkgDependent

Defined in Distribution.ArchHs.Types

Associated Types

type Rep PkgDependent :: Type -> Type

Methods

from :: PkgDependent -> Rep PkgDependent x

to :: Rep PkgDependent x -> PkgDependent

Show PkgDependent

Defined in Distribution.ArchHs.Types

Methods

showsPrec :: Int -> PkgDependent -> ShowS

show :: PkgDependent -> String

showList :: [PkgDependent] -> ShowS

NFData PkgDependent

Defined in Distribution.ArchHs.Types

Methods

rnf :: PkgDependent -> ()

Eq PkgDependent

Defined in Distribution.ArchHs.Types

Methods

(==) :: PkgDependent -> PkgDependent -> Bool

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

Ord PkgDependent

Defined in Distribution.ArchHs.Types

Methods

compare :: PkgDependent -> PkgDependent -> Ordering

(<) :: PkgDependent -> PkgDependent -> Bool

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

(>) :: PkgDependent -> PkgDependent -> Bool

(>=) :: PkgDependent -> PkgDependent -> Bool

max :: PkgDependent -> PkgDependent -> PkgDependent

min :: PkgDependent -> PkgDependent -> PkgDependent

type Rep PkgDependent

Defined in Distribution.ArchHs.Types

type Rep PkgDependent = D1 ('MetaData "PkgDependent" "Distribution.ArchHs.Types" "arch-hs-0.11.1.0-DkneLapkOJPCLtr84771ty" 'False) (C1 ('MetaCons "PkgDependent" 'PrefixI 'True) (S1 ('MetaSel ('Just "_pdName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ArchLinuxName) :*: S1 ('MetaSel ('Just "_pdVersion") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ArchLinuxVersion))))

type PkgDependentList = [PkgDependent]

A list of PkgDependent

data PkgDesc

Package description file of a installed system package, retrieved from repo.db file.

Constructors

PkgDesc

Fields

• _name :: ArchLinuxName
• _version :: ArchLinuxVersion
• _desc :: String
• _url :: Maybe String
• _provides :: PkgDependentList
• _optDepends :: PkgDependentList
• _replaces :: PkgDependentList
• _conflicts :: PkgDependentList
• _depends :: PkgDependentList
• _makeDepends :: PkgDependentList
• _checkDepends :: PkgDependentList

Instances

Generic PkgDesc

Defined in Distribution.ArchHs.Types

Associated Types

type Rep PkgDesc :: Type -> Type

Methods

from :: PkgDesc -> Rep PkgDesc x

to :: Rep PkgDesc x -> PkgDesc

Show PkgDesc

Defined in Distribution.ArchHs.Types

Methods

showsPrec :: Int -> PkgDesc -> ShowS

show :: PkgDesc -> String

showList :: [PkgDesc] -> ShowS

NFData PkgDesc

Defined in Distribution.ArchHs.Types

Methods

rnf :: PkgDesc -> ()

Eq PkgDesc

Defined in Distribution.ArchHs.Types

Methods

(==) :: PkgDesc -> PkgDesc -> Bool

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

Ord PkgDesc

Defined in Distribution.ArchHs.Types

Methods

compare :: PkgDesc -> PkgDesc -> Ordering

(<) :: PkgDesc -> PkgDesc -> Bool

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

(>) :: PkgDesc -> PkgDesc -> Bool

(>=) :: PkgDesc -> PkgDesc -> Bool

max :: PkgDesc -> PkgDesc -> PkgDesc

min :: PkgDesc -> PkgDesc -> PkgDesc

type Rep PkgDesc

Defined in Distribution.ArchHs.Types

type Rep PkgDesc = D1 ('MetaData "PkgDesc" "Distribution.ArchHs.Types" "arch-hs-0.11.1.0-DkneLapkOJPCLtr84771ty" 'False) (C1 ('MetaCons "PkgDesc" 'PrefixI 'True) (((S1 ('MetaSel ('Just "_name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ArchLinuxName) :*: S1 ('MetaSel ('Just "_version") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ArchLinuxVersion)) :*: (S1 ('MetaSel ('Just "_desc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: (S1 ('MetaSel ('Just "_url") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe String)) :*: S1 ('MetaSel ('Just "_provides") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PkgDependentList)))) :*: ((S1 ('MetaSel ('Just "_optDepends") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PkgDependentList) :*: (S1 ('MetaSel ('Just "_replaces") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PkgDependentList) :*: S1 ('MetaSel ('Just "_conflicts") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PkgDependentList))) :*: (S1 ('MetaSel ('Just "_depends") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PkgDependentList) :*: (S1 ('MetaSel ('Just "_makeDepends") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PkgDependentList) :*: S1 ('MetaSel ('Just "_checkDepends") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PkgDependentList))))))

type ArchLinuxVersion = String

Version of packages in archlinux extra repo

type ExtraDB = Map ArchLinuxName PkgDesc

Representation of cummunity.db

type HackageEnv = Reader HackageDB

Reader effect of HackageDB

type ExtraEnv = Reader ExtraDB

Reader effect of ExtraDB

type FlagAssignmentsEnv = Reader FlagAssignments

Reader effect of a map, associating PackageName with its FlagAssignment

type KnownGHCVersion = Reader Version

Reader effect of GHC version in dependency resolution

data DependencyType

The type of a dependency. Who requires this?

Constructors

CExe UnqualComponentName

By a executable

CExeBuildTools UnqualComponentName

By the build tools of a executable

CLib

By a library

CSetup

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

Generic DependencyType

Defined in Distribution.ArchHs.Types

Associated Types

type Rep DependencyType :: Type -> Type

Methods

from :: DependencyType -> Rep DependencyType x

to :: Rep DependencyType x -> DependencyType

Show DependencyType

Defined in Distribution.ArchHs.Types

Methods

showsPrec :: Int -> DependencyType -> ShowS

show :: DependencyType -> String

showList :: [DependencyType] -> ShowS

NFData DependencyType

Defined in Distribution.ArchHs.Types

Methods

rnf :: DependencyType -> ()

Eq DependencyType

Defined in Distribution.ArchHs.Types

Methods

(==) :: DependencyType -> DependencyType -> Bool

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

Ord DependencyType

Defined in Distribution.ArchHs.Types

Methods

compare :: DependencyType -> DependencyType -> Ordering

(<) :: DependencyType -> DependencyType -> Bool

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

(>) :: DependencyType -> DependencyType -> Bool

(>=) :: DependencyType -> DependencyType -> Bool

max :: DependencyType -> DependencyType -> DependencyType

min :: DependencyType -> DependencyType -> DependencyType

type Rep DependencyType

Defined in Distribution.ArchHs.Types

type Rep DependencyType = D1 ('MetaData "DependencyType" "Distribution.ArchHs.Types" "arch-hs-0.11.1.0-DkneLapkOJPCLtr84771ty" 'False) (((C1 ('MetaCons "CExe" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UnqualComponentName)) :+: C1 ('MetaCons "CExeBuildTools" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UnqualComponentName))) :+: (C1 ('MetaCons "CLib" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CSetup" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CTest" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UnqualComponentName))))) :+: ((C1 ('MetaCons "CBenchmark" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UnqualComponentName)) :+: (C1 ('MetaCons "CLibBuildTools" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CTestBuildTools" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UnqualComponentName)))) :+: (C1 ('MetaCons "CBenchmarkBuildTools" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UnqualComponentName)) :+: (C1 ('MetaCons "CSubLibs" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UnqualComponentName)) :+: C1 ('MetaCons "CSubLibsBuildTools" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 UnqualComponentName))))))

data DependencyKind

Tags of data constructors of DependencyType

Constructors

Exe

ExeBuildTools

Lib

Setup

Test

Benchmark

LibBuildTools

TestBuildTools

BenchmarkBuildTools

SubLibs

SubLibsBuildTools

Instances

Eq DependencyKind

Defined in Distribution.ArchHs.Types

Methods

(==) :: DependencyKind -> DependencyKind -> Bool

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

data DependencyProvider

Provider of a dependency.

Constructors

ByExtra

ByAur

Instances

Generic DependencyProvider

Defined in Distribution.ArchHs.Types

Associated Types

type Rep DependencyProvider :: Type -> Type

Methods

from :: DependencyProvider -> Rep DependencyProvider x

to :: Rep DependencyProvider x -> DependencyProvider

Show DependencyProvider

Defined in Distribution.ArchHs.Types

Methods

showsPrec :: Int -> DependencyProvider -> ShowS

show :: DependencyProvider -> String

showList :: [DependencyProvider] -> ShowS

NFData DependencyProvider

Defined in Distribution.ArchHs.Types

Methods

rnf :: DependencyProvider -> ()

Eq DependencyProvider

Defined in Distribution.ArchHs.Types

Methods

(==) :: DependencyProvider -> DependencyProvider -> Bool

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

Ord DependencyProvider

Defined in Distribution.ArchHs.Types

Methods

compare :: DependencyProvider -> DependencyProvider -> Ordering

(<) :: DependencyProvider -> DependencyProvider -> Bool

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

(>) :: DependencyProvider -> DependencyProvider -> Bool

(>=) :: DependencyProvider -> DependencyProvider -> Bool

max :: DependencyProvider -> DependencyProvider -> DependencyProvider

min :: DependencyProvider -> DependencyProvider -> DependencyProvider

type Rep DependencyProvider

Defined in Distribution.ArchHs.Types

type Rep DependencyProvider = D1 ('MetaData "DependencyProvider" "Distribution.ArchHs.Types" "arch-hs-0.11.1.0-DkneLapkOJPCLtr84771ty" 'False) (C1 ('MetaCons "ByExtra" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ByAur" 'PrefixI 'False) (U1 :: Type -> Type))

data SolvedPackage

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.

Constructors

ProvidedPackage

A package which has been provided by somebody, so there is no need to expand its dependencies

Fields

• _pkgName :: PackageName

  Package name

• _pkgProvider :: DependencyProvider

  Package provider. (The name of DependencyProvider may be confusing...)

SolvedPackage

A package with its dependencies

Fields

• _pkgName :: PackageName

  Package name

• _pkgDeps :: [SolvedDependency]

  Package dependencies

Instances

Generic SolvedPackage

Defined in Distribution.ArchHs.Types

Associated Types

type Rep SolvedPackage :: Type -> Type

Methods

from :: SolvedPackage -> Rep SolvedPackage x

to :: Rep SolvedPackage x -> SolvedPackage

Show SolvedPackage

Defined in Distribution.ArchHs.Types

Methods

showsPrec :: Int -> SolvedPackage -> ShowS

show :: SolvedPackage -> String

showList :: [SolvedPackage] -> ShowS

NFData SolvedPackage

Defined in Distribution.ArchHs.Types

Methods

rnf :: SolvedPackage -> ()

Eq SolvedPackage

Defined in Distribution.ArchHs.Types

Methods

(==) :: SolvedPackage -> SolvedPackage -> Bool

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

Ord SolvedPackage

Defined in Distribution.ArchHs.Types

Methods

compare :: SolvedPackage -> SolvedPackage -> Ordering

(<) :: SolvedPackage -> SolvedPackage -> Bool

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

(>) :: SolvedPackage -> SolvedPackage -> Bool

(>=) :: SolvedPackage -> SolvedPackage -> Bool

max :: SolvedPackage -> SolvedPackage -> SolvedPackage

min :: SolvedPackage -> SolvedPackage -> SolvedPackage

type Rep SolvedPackage

Defined in Distribution.ArchHs.Types

type Rep SolvedPackage = D1 ('MetaData "SolvedPackage" "Distribution.ArchHs.Types" "arch-hs-0.11.1.0-DkneLapkOJPCLtr84771ty" 'False) (C1 ('MetaCons "ProvidedPackage" 'PrefixI 'True) (S1 ('MetaSel ('Just "_pkgName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PackageName) :*: S1 ('MetaSel ('Just "_pkgProvider") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DependencyProvider)) :+: C1 ('MetaCons "SolvedPackage" 'PrefixI 'True) (S1 ('MetaSel ('Just "_pkgName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PackageName) :*: S1 ('MetaSel ('Just "_pkgDeps") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [SolvedDependency])))

data SolvedDependency

A solved dependency, holden by SolvedPackage

Constructors

SolvedDependency

Fields

• _depProvider :: Maybe DependencyProvider

  Provider of this dependency

• _depName :: PackageName

  Name of the dependency

• _depType :: [DependencyType]

  Types of the dependency

Instances

Generic SolvedDependency

Defined in Distribution.ArchHs.Types

Associated Types

type Rep SolvedDependency :: Type -> Type

Methods

from :: SolvedDependency -> Rep SolvedDependency x

to :: Rep SolvedDependency x -> SolvedDependency

Show SolvedDependency

Defined in Distribution.ArchHs.Types

Methods

showsPrec :: Int -> SolvedDependency -> ShowS

show :: SolvedDependency -> String

showList :: [SolvedDependency] -> ShowS

NFData SolvedDependency

Defined in Distribution.ArchHs.Types

Methods

rnf :: SolvedDependency -> ()

Eq SolvedDependency

Defined in Distribution.ArchHs.Types

Methods

(==) :: SolvedDependency -> SolvedDependency -> Bool

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

Ord SolvedDependency

Defined in Distribution.ArchHs.Types

Methods

compare :: SolvedDependency -> SolvedDependency -> Ordering

(<) :: SolvedDependency -> SolvedDependency -> Bool

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

(>) :: SolvedDependency -> SolvedDependency -> Bool

(>=) :: SolvedDependency -> SolvedDependency -> Bool

max :: SolvedDependency -> SolvedDependency -> SolvedDependency

min :: SolvedDependency -> SolvedDependency -> SolvedDependency

type Rep SolvedDependency

Defined in Distribution.ArchHs.Types

type Rep SolvedDependency = D1 ('MetaData "SolvedDependency" "Distribution.ArchHs.Types" "arch-hs-0.11.1.0-DkneLapkOJPCLtr84771ty" 'False) (C1 ('MetaCons "SolvedDependency" 'PrefixI 'True) (S1 ('MetaSel ('Just "_depProvider") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe DependencyProvider)) :*: (S1 ('MetaSel ('Just "_depName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PackageName) :*: S1 ('MetaSel ('Just "_depType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [DependencyType]))))

type FlagAssignments = Map PackageName FlagAssignment

A map of packages with their FlagAssignment

depProvider :: Lens' SolvedDependency (Maybe DependencyProvider)

pkgProvider :: Traversal' SolvedPackage DependencyProvider

pkgName :: Lens' SolvedPackage PackageName

pkgDeps :: Traversal' SolvedPackage [SolvedDependency]

depName :: Lens' SolvedDependency PackageName

depType :: Lens' SolvedDependency [DependencyType]

type DependencyRecord = State (Map PackageName [VersionRange])

Unused state effect