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 CommunityName

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

Constructors

CommunityName

Fields

• unCommunityName :: String

  Unwrap the value

Instances

Eq CommunityName

Defined in Distribution.ArchHs.Types

Methods

(==) :: CommunityName -> CommunityName -> Bool

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

Ord CommunityName

Defined in Distribution.ArchHs.Types

Methods

compare :: CommunityName -> CommunityName -> Ordering

(<) :: CommunityName -> CommunityName -> Bool

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

(>) :: CommunityName -> CommunityName -> Bool

(>=) :: CommunityName -> CommunityName -> Bool

max :: CommunityName -> CommunityName -> CommunityName

min :: CommunityName -> CommunityName -> CommunityName

Read CommunityName

Defined in Distribution.ArchHs.Types

Methods

readsPrec :: Int -> ReadS CommunityName

readList :: ReadS [CommunityName]

readPrec :: ReadPrec CommunityName

readListPrec :: ReadPrec [CommunityName]

Show CommunityName

Defined in Distribution.ArchHs.Types

Methods

showsPrec :: Int -> CommunityName -> ShowS

show :: CommunityName -> String

showList :: [CommunityName] -> ShowS

Generic CommunityName

Defined in Distribution.ArchHs.Types

Associated Types

type Rep CommunityName :: Type -> Type

Methods

from :: CommunityName -> Rep CommunityName x

to :: Rep CommunityName x -> CommunityName

NFData CommunityName

Defined in Distribution.ArchHs.Types

Methods

rnf :: CommunityName -> ()

HasMyName CommunityName

Defined in Distribution.ArchHs.Name

Methods

toHackageRep :: CommunityName -> MyName 'HackageRep

toCommunityRep :: CommunityName -> MyName 'CommunityRep

type Rep CommunityName

Defined in Distribution.ArchHs.Types

type Rep CommunityName = D1 ('MetaData "CommunityName" "Distribution.ArchHs.Types" "arch-hs-0.2.0.0-inplace" 'True) (C1 ('MetaCons "CommunityName" 'PrefixI 'True) (S1 ('MetaSel ('Just "unCommunityName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))

type CommunityVersion = String

Version of packages in archlinux community repo

type CommunityDB = Map CommunityName CommunityVersion

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

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

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.2.0.0-inplace" '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 "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

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

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.2.0.0-inplace" '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

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.2.0.0-inplace" '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

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.2.0.0-inplace" '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