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

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

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

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

NFData ArchLinuxName

Defined in Distribution.ArchHs.Types

Methods

rnf :: ArchLinuxName -> ()

HasMyName ArchLinuxName

Defined in Distribution.ArchHs.Name

Methods

toHackageRep :: ArchLinuxName -> MyName 'HackageRep

toArchLinuxRep :: ArchLinuxName -> MyName 'ArchLinuxRep

type Rep ArchLinuxName

Defined in Distribution.ArchHs.Types

type Rep ArchLinuxName = D1 ('MetaData "ArchLinuxName" "Distribution.ArchHs.Types" "arch-hs-0.10.2.0-LKn4gSNgHJ15zLl1P72JCB" '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

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

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

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

NFData SystemDependency

Defined in Distribution.ArchHs.Types

Methods

rnf :: SystemDependency -> ()

type Rep SystemDependency

Defined in Distribution.ArchHs.Types

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

type ArchLinuxVersion = String

Version of packages in archlinux community repo

type CommunityDB = Map ArchLinuxName ArchLinuxVersion

Representation of cummunity.db

type HackageEnv = Reader HackageDB

Reader effect of HackageDB

type CommunityEnv = Reader CommunityDB

Reader effect of CommunityDB

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

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

Show DependencyType

Defined in Distribution.ArchHs.Types

Methods

showsPrec :: Int -> DependencyType -> ShowS

show :: DependencyType -> String

showList :: [DependencyType] -> ShowS

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

NFData DependencyType

Defined in Distribution.ArchHs.Types

Methods

rnf :: DependencyType -> ()

type Rep DependencyType

Defined in Distribution.ArchHs.Types

type Rep DependencyType = D1 ('MetaData "DependencyType" "Distribution.ArchHs.Types" "arch-hs-0.10.2.0-LKn4gSNgHJ15zLl1P72JCB" '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

ByCommunity

ByAur

Instances

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

Show DependencyProvider

Defined in Distribution.ArchHs.Types

Methods

showsPrec :: Int -> DependencyProvider -> ShowS

show :: DependencyProvider -> String

showList :: [DependencyProvider] -> ShowS

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

NFData DependencyProvider

Defined in Distribution.ArchHs.Types

Methods

rnf :: DependencyProvider -> ()

type Rep DependencyProvider

Defined in Distribution.ArchHs.Types

type Rep DependencyProvider = D1 ('MetaData "DependencyProvider" "Distribution.ArchHs.Types" "arch-hs-0.10.2.0-LKn4gSNgHJ15zLl1P72JCB" 'False) (C1 ('MetaCons "ByCommunity" '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

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

Show SolvedPackage

Defined in Distribution.ArchHs.Types

Methods

showsPrec :: Int -> SolvedPackage -> ShowS

show :: SolvedPackage -> String

showList :: [SolvedPackage] -> ShowS

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

NFData SolvedPackage

Defined in Distribution.ArchHs.Types

Methods

rnf :: SolvedPackage -> ()

type Rep SolvedPackage

Defined in Distribution.ArchHs.Types

type Rep SolvedPackage = D1 ('MetaData "SolvedPackage" "Distribution.ArchHs.Types" "arch-hs-0.10.2.0-LKn4gSNgHJ15zLl1P72JCB" '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

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

Show SolvedDependency

Defined in Distribution.ArchHs.Types

Methods

showsPrec :: Int -> SolvedDependency -> ShowS

show :: SolvedDependency -> String

showList :: [SolvedDependency] -> ShowS

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

NFData SolvedDependency

Defined in Distribution.ArchHs.Types

Methods

rnf :: SolvedDependency -> ()

type Rep SolvedDependency

Defined in Distribution.ArchHs.Types

type Rep SolvedDependency = D1 ('MetaData "SolvedDependency" "Distribution.ArchHs.Types" "arch-hs-0.10.2.0-LKn4gSNgHJ15zLl1P72JCB" '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