Development.Guardian.Graph

Documentation

buildDomainInfo :: Domains -> Validation (NonEmpty DomainGraphError) DomainInfo

buildRawDomainGraph :: (Graph gr, Vertex gr ~ DomainName) => Domains -> gr

toDomainGraph :: Domains -> Validation (NonEmpty DomainGraphError) DomainGraph

detectPackageOverlaps :: Domains -> Validation DomainGraphError ()

newtype CatMap k v

Constructors

CatMap

Fields

• getCatMap :: Map k v

Instances

(Semigroup v, Ord k) => Monoid (CatMap k v)

Defined in Development.Guardian.Graph

Methods

mempty :: CatMap k v

mappend :: CatMap k v -> CatMap k v -> CatMap k v

mconcat :: [CatMap k v] -> CatMap k v

(Semigroup v, Ord k) => Semigroup (CatMap k v)

Defined in Development.Guardian.Graph

Methods

(<>) :: CatMap k v -> CatMap k v -> CatMap k v

sconcat :: NonEmpty (CatMap k v) -> CatMap k v

stimes :: Integral b => b -> CatMap k v -> CatMap k v

detectCycle :: (ToGraph t, Ord (ToVertex t), ToVertex t ~ DomainName) => t -> Validation DomainGraphError ()

buildPackageDic :: Domains -> PackageDic

matches :: PackageDic -> Dependency -> PackageName -> Bool

newtype LOverlayed e a

Constructors

LOverlayed

Fields

• getLOverlayed :: Graph e a

Instances

Monoid e => Monoid (LOverlayed e a)

Defined in Development.Guardian.Graph

Methods

mempty :: LOverlayed e a

mappend :: LOverlayed e a -> LOverlayed e a -> LOverlayed e a

mconcat :: [LOverlayed e a] -> LOverlayed e a

Monoid e => Semigroup (LOverlayed e a)

Defined in Development.Guardian.Graph

Methods

(<>) :: LOverlayed e a -> LOverlayed e a -> LOverlayed e a

sconcat :: NonEmpty (LOverlayed e a) -> LOverlayed e a

stimes :: Integral b => b -> LOverlayed e a -> LOverlayed e a

Generic (LOverlayed e a)

Defined in Development.Guardian.Graph

Associated Types

type Rep (LOverlayed e a) :: Type -> Type

Methods

from :: LOverlayed e a -> Rep (LOverlayed e a) x

to :: Rep (LOverlayed e a) x -> LOverlayed e a

(Show a, Show e) => Show (LOverlayed e a)

Defined in Development.Guardian.Graph

Methods

showsPrec :: Int -> LOverlayed e a -> ShowS

show :: LOverlayed e a -> String

showList :: [LOverlayed e a] -> ShowS

(Monoid e, Ord a, Eq e) => Eq (LOverlayed e a)

Defined in Development.Guardian.Graph

Methods

(==) :: LOverlayed e a -> LOverlayed e a -> Bool

(/=) :: LOverlayed e a -> LOverlayed e a -> Bool

(Monoid e, Ord a, Ord e) => Ord (LOverlayed e a)

Defined in Development.Guardian.Graph

Methods

compare :: LOverlayed e a -> LOverlayed e a -> Ordering

(<) :: LOverlayed e a -> LOverlayed e a -> Bool

(<=) :: LOverlayed e a -> LOverlayed e a -> Bool

(>) :: LOverlayed e a -> LOverlayed e a -> Bool

(>=) :: LOverlayed e a -> LOverlayed e a -> Bool

max :: LOverlayed e a -> LOverlayed e a -> LOverlayed e a

min :: LOverlayed e a -> LOverlayed e a -> LOverlayed e a

type Rep (LOverlayed e a)

Defined in Development.Guardian.Graph

type Rep (LOverlayed e a) = D1 ('MetaData "LOverlayed" "Development.Guardian.Graph" "guardian-0.4.0.0-1i0KmpldsqDJPVBdForgqe" 'True) (C1 ('MetaCons "LOverlayed" 'PrefixI 'True) (S1 ('MetaSel ('Just "getLOverlayed") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Graph e a))))

data ActualGraphs a b

Constructors

AGs

Fields

• activatedGraph :: a
• exceptionGraph :: b

Instances

Bifunctor ActualGraphs

Defined in Development.Guardian.Graph

Methods

bimap :: (a -> b) -> (c -> d) -> ActualGraphs a c -> ActualGraphs b d

first :: (a -> b) -> ActualGraphs a c -> ActualGraphs b c

second :: (b -> c) -> ActualGraphs a b -> ActualGraphs a c

Functor (ActualGraphs a)

Defined in Development.Guardian.Graph

Methods

fmap :: (a0 -> b) -> ActualGraphs a a0 -> ActualGraphs a b

(<$) :: a0 -> ActualGraphs a b -> ActualGraphs a a0

(Monoid a, Monoid b) => Monoid (ActualGraphs a b)

Defined in Development.Guardian.Graph

Methods

mempty :: ActualGraphs a b

mappend :: ActualGraphs a b -> ActualGraphs a b -> ActualGraphs a b

mconcat :: [ActualGraphs a b] -> ActualGraphs a b

(Semigroup a, Semigroup b) => Semigroup (ActualGraphs a b)

Defined in Development.Guardian.Graph

Methods

(<>) :: ActualGraphs a b -> ActualGraphs a b -> ActualGraphs a b

sconcat :: NonEmpty (ActualGraphs a b) -> ActualGraphs a b

stimes :: Integral b0 => b0 -> ActualGraphs a b -> ActualGraphs a b

Generic (ActualGraphs a b)

Defined in Development.Guardian.Graph

Associated Types

type Rep (ActualGraphs a b) :: Type -> Type

Methods

from :: ActualGraphs a b -> Rep (ActualGraphs a b) x

to :: Rep (ActualGraphs a b) x -> ActualGraphs a b

(Show a, Show b) => Show (ActualGraphs a b)

Defined in Development.Guardian.Graph

Methods

showsPrec :: Int -> ActualGraphs a b -> ShowS

show :: ActualGraphs a b -> String

showList :: [ActualGraphs a b] -> ShowS

(Eq a, Eq b) => Eq (ActualGraphs a b)

Defined in Development.Guardian.Graph

Methods

(==) :: ActualGraphs a b -> ActualGraphs a b -> Bool

(/=) :: ActualGraphs a b -> ActualGraphs a b -> Bool

(Ord a, Ord b) => Ord (ActualGraphs a b)

Defined in Development.Guardian.Graph

Methods

compare :: ActualGraphs a b -> ActualGraphs a b -> Ordering

(<) :: ActualGraphs a b -> ActualGraphs a b -> Bool

(<=) :: ActualGraphs a b -> ActualGraphs a b -> Bool

(>) :: ActualGraphs a b -> ActualGraphs a b -> Bool

(>=) :: ActualGraphs a b -> ActualGraphs a b -> Bool

max :: ActualGraphs a b -> ActualGraphs a b -> ActualGraphs a b

min :: ActualGraphs a b -> ActualGraphs a b -> ActualGraphs a b

type Rep (ActualGraphs a b)

Defined in Development.Guardian.Graph

type Rep (ActualGraphs a b) = D1 ('MetaData "ActualGraphs" "Development.Guardian.Graph" "guardian-0.4.0.0-1i0KmpldsqDJPVBdForgqe" 'False) (C1 ('MetaCons "AGs" 'PrefixI 'True) (S1 ('MetaSel ('Just "activatedGraph") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Just "exceptionGraph") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 b)))

buildActualGraphs :: PackageDic -> PackageGraph -> ActualGraphs ActualGraph (Map PackageName (Set Dependency))

validatePackageGraph :: DomainInfo -> PackageGraph -> Validation (NonEmpty PackageViolation) CheckResult

detectPackageCycle :: PackageGraph -> Validation PackageViolation ()

type ExemptDomDeps = ActualGraph

findRedundantExtraDeps :: PackageDic -> PackageGraph -> Map PackageName (Vector Dependency)

coversAllPackages :: PackageDic -> PackageGraph -> Validation PackageViolation ()

satisfiesDomainGraph :: DomainGraph -> ActualGraph -> Validation (DNonEmpty PackageViolation) ()