Development.Guardian.Types

Documentation

type DomainGraph = PreorderRelation DomainName

type PackageGraph = Graph PackageName

type ActualGraph' e = Graph e DomainName

type ActualGraph = ActualGraph' (Path PackageName)

type PackageDic = Map PackageName (DomainName, Vector Dependency)

data DomainGraphError

Constructors

CyclicDomainDep (Cycle DomainName)

OverlappingPackages (Map PackageName (Set DomainName))

Instances

Exception DomainGraphError

Defined in Development.Guardian.Types

Methods

toException :: DomainGraphError -> SomeException

fromException :: SomeException -> Maybe DomainGraphError

displayException :: DomainGraphError -> String

Generic DomainGraphError

Defined in Development.Guardian.Types

Associated Types

type Rep DomainGraphError :: Type -> Type

Methods

from :: DomainGraphError -> Rep DomainGraphError x

to :: Rep DomainGraphError x -> DomainGraphError

Show DomainGraphError

Defined in Development.Guardian.Types

Methods

showsPrec :: Int -> DomainGraphError -> ShowS

show :: DomainGraphError -> String

showList :: [DomainGraphError] -> ShowS

Eq DomainGraphError

Defined in Development.Guardian.Types

Methods

(==) :: DomainGraphError -> DomainGraphError -> Bool

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

Ord DomainGraphError

Defined in Development.Guardian.Types

Methods

compare :: DomainGraphError -> DomainGraphError -> Ordering

(<) :: DomainGraphError -> DomainGraphError -> Bool

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

(>) :: DomainGraphError -> DomainGraphError -> Bool

(>=) :: DomainGraphError -> DomainGraphError -> Bool

max :: DomainGraphError -> DomainGraphError -> DomainGraphError

min :: DomainGraphError -> DomainGraphError -> DomainGraphError

type Rep DomainGraphError

Defined in Development.Guardian.Types

type Rep DomainGraphError = D1 ('MetaData "DomainGraphError" "Development.Guardian.Types" "guardian-0.4.0.0-1i0KmpldsqDJPVBdForgqe" 'False) (C1 ('MetaCons "CyclicDomainDep" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Cycle DomainName))) :+: C1 ('MetaCons "OverlappingPackages" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map PackageName (Set DomainName)))))

data CheckResult

Constructors

Ok

OkWithDiagnostics Diagnostics

Instances

Generic CheckResult

Defined in Development.Guardian.Types

Associated Types

type Rep CheckResult :: Type -> Type

Methods

from :: CheckResult -> Rep CheckResult x

to :: Rep CheckResult x -> CheckResult

Show CheckResult

Defined in Development.Guardian.Types

Methods

showsPrec :: Int -> CheckResult -> ShowS

show :: CheckResult -> String

showList :: [CheckResult] -> ShowS

Eq CheckResult

Defined in Development.Guardian.Types

Methods

(==) :: CheckResult -> CheckResult -> Bool

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

Ord CheckResult

Defined in Development.Guardian.Types

Methods

compare :: CheckResult -> CheckResult -> Ordering

(<) :: CheckResult -> CheckResult -> Bool

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

(>) :: CheckResult -> CheckResult -> Bool

(>=) :: CheckResult -> CheckResult -> Bool

max :: CheckResult -> CheckResult -> CheckResult

min :: CheckResult -> CheckResult -> CheckResult

type Rep CheckResult

Defined in Development.Guardian.Types

type Rep CheckResult = D1 ('MetaData "CheckResult" "Development.Guardian.Types" "guardian-0.4.0.0-1i0KmpldsqDJPVBdForgqe" 'False) (C1 ('MetaCons "Ok" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OkWithDiagnostics" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Diagnostics)))

isEmptyDiagnostics :: Diagnostics -> Bool

data Diagnostics

Constructors

Diagnostics

Fields

• redundantExtraDeps :: Map PackageName (Set Dependency)
• usedExceptionalRules :: Map PackageName (Set Dependency)

Instances

Generic Diagnostics

Defined in Development.Guardian.Types

Associated Types

type Rep Diagnostics :: Type -> Type

Methods

from :: Diagnostics -> Rep Diagnostics x

to :: Rep Diagnostics x -> Diagnostics

Show Diagnostics

Defined in Development.Guardian.Types

Methods

showsPrec :: Int -> Diagnostics -> ShowS

show :: Diagnostics -> String

showList :: [Diagnostics] -> ShowS

Eq Diagnostics

Defined in Development.Guardian.Types

Methods

(==) :: Diagnostics -> Diagnostics -> Bool

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

Ord Diagnostics

Defined in Development.Guardian.Types

Methods

compare :: Diagnostics -> Diagnostics -> Ordering

(<) :: Diagnostics -> Diagnostics -> Bool

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

(>) :: Diagnostics -> Diagnostics -> Bool

(>=) :: Diagnostics -> Diagnostics -> Bool

max :: Diagnostics -> Diagnostics -> Diagnostics

min :: Diagnostics -> Diagnostics -> Diagnostics

type Rep Diagnostics

Defined in Development.Guardian.Types

type Rep Diagnostics = D1 ('MetaData "Diagnostics" "Development.Guardian.Types" "guardian-0.4.0.0-1i0KmpldsqDJPVBdForgqe" 'False) (C1 ('MetaCons "Diagnostics" 'PrefixI 'True) (S1 ('MetaSel ('Just "redundantExtraDeps") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map PackageName (Set Dependency))) :*: S1 ('MetaSel ('Just "usedExceptionalRules") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map PackageName (Set Dependency)))))

data DomainInfo

Constructors

DomainInfo

Fields

• domainConfig :: Domains
• domainGraph :: DomainGraph
• packageDic :: PackageDic

Instances

Generic DomainInfo

Defined in Development.Guardian.Types

Associated Types

type Rep DomainInfo :: Type -> Type

Methods

from :: DomainInfo -> Rep DomainInfo x

to :: Rep DomainInfo x -> DomainInfo

Show DomainInfo

Defined in Development.Guardian.Types

Methods

showsPrec :: Int -> DomainInfo -> ShowS

show :: DomainInfo -> String

showList :: [DomainInfo] -> ShowS

Eq DomainInfo

Defined in Development.Guardian.Types

Methods

(==) :: DomainInfo -> DomainInfo -> Bool

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

Ord DomainInfo

Defined in Development.Guardian.Types

Methods

compare :: DomainInfo -> DomainInfo -> Ordering

(<) :: DomainInfo -> DomainInfo -> Bool

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

(>) :: DomainInfo -> DomainInfo -> Bool

(>=) :: DomainInfo -> DomainInfo -> Bool

max :: DomainInfo -> DomainInfo -> DomainInfo

min :: DomainInfo -> DomainInfo -> DomainInfo

type Rep DomainInfo

Defined in Development.Guardian.Types

type Rep DomainInfo = D1 ('MetaData "DomainInfo" "Development.Guardian.Types" "guardian-0.4.0.0-1i0KmpldsqDJPVBdForgqe" 'False) (C1 ('MetaCons "DomainInfo" 'PrefixI 'True) (S1 ('MetaSel ('Just "domainConfig") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Domains) :*: (S1 ('MetaSel ('Just "domainGraph") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DomainGraph) :*: S1 ('MetaSel ('Just "packageDic") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PackageDic))))

data PackageViolation

Constructors

DomainBoundaryViolation

Fields

• fromDom :: DomainName
• toDom :: DomainName
• introducedBy :: [(PackageName, PackageName)]

CyclicPackageDep (Cycle PackageName)

UncoveredPackages [PackageName]

Instances

Exception PackageViolation

Defined in Development.Guardian.Types

Methods

toException :: PackageViolation -> SomeException

fromException :: SomeException -> Maybe PackageViolation

displayException :: PackageViolation -> String

Generic PackageViolation

Defined in Development.Guardian.Types

Associated Types

type Rep PackageViolation :: Type -> Type

Methods

from :: PackageViolation -> Rep PackageViolation x

to :: Rep PackageViolation x -> PackageViolation

Show PackageViolation

Defined in Development.Guardian.Types

Methods

showsPrec :: Int -> PackageViolation -> ShowS

show :: PackageViolation -> String

showList :: [PackageViolation] -> ShowS

Eq PackageViolation

Defined in Development.Guardian.Types

Methods

(==) :: PackageViolation -> PackageViolation -> Bool

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

Ord PackageViolation

Defined in Development.Guardian.Types

Methods

compare :: PackageViolation -> PackageViolation -> Ordering

(<) :: PackageViolation -> PackageViolation -> Bool

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

(>) :: PackageViolation -> PackageViolation -> Bool

(>=) :: PackageViolation -> PackageViolation -> Bool

max :: PackageViolation -> PackageViolation -> PackageViolation

min :: PackageViolation -> PackageViolation -> PackageViolation

type Rep PackageViolation

Defined in Development.Guardian.Types

type Rep PackageViolation = D1 ('MetaData "PackageViolation" "Development.Guardian.Types" "guardian-0.4.0.0-1i0KmpldsqDJPVBdForgqe" 'False) (C1 ('MetaCons "DomainBoundaryViolation" 'PrefixI 'True) (S1 ('MetaSel ('Just "fromDom") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DomainName) :*: (S1 ('MetaSel ('Just "toDom") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 DomainName) :*: S1 ('MetaSel ('Just "introducedBy") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(PackageName, PackageName)]))) :+: (C1 ('MetaCons "CyclicPackageDep" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Cycle PackageName))) :+: C1 ('MetaCons "UncoveredPackages" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [PackageName]))))

newtype PackageName

Constructors

PackageName

Fields

• getPackageName :: Text

Instances

FromJSON PackageName

Defined in Development.Guardian.Types

Methods

parseJSON :: Value -> Parser PackageName

parseJSONList :: Value -> Parser [PackageName]

IsString PackageName

Defined in Development.Guardian.Types

Methods

fromString :: String -> PackageName

Generic PackageName

Defined in Development.Guardian.Types

Associated Types

type Rep PackageName :: Type -> Type

Methods

from :: PackageName -> Rep PackageName x

to :: Rep PackageName x -> PackageName

Show PackageName

Defined in Development.Guardian.Types

Methods

showsPrec :: Int -> PackageName -> ShowS

show :: PackageName -> String

showList :: [PackageName] -> ShowS

Eq PackageName

Defined in Development.Guardian.Types

Methods

(==) :: PackageName -> PackageName -> Bool

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

Ord PackageName

Defined in Development.Guardian.Types

Methods

compare :: PackageName -> PackageName -> Ordering

(<) :: PackageName -> PackageName -> Bool

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

(>) :: PackageName -> PackageName -> Bool

(>=) :: PackageName -> PackageName -> Bool

max :: PackageName -> PackageName -> PackageName

min :: PackageName -> PackageName -> PackageName

Hashable PackageName

Defined in Development.Guardian.Types

Methods

hashWithSalt :: Int -> PackageName -> Int

hash :: PackageName -> Int

type Rep PackageName

Defined in Development.Guardian.Types

type Rep PackageName = D1 ('MetaData "PackageName" "Development.Guardian.Types" "guardian-0.4.0.0-1i0KmpldsqDJPVBdForgqe" 'True) (C1 ('MetaCons "PackageName" 'PrefixI 'True) (S1 ('MetaSel ('Just "getPackageName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

newtype DomainName

Constructors

DomainName

Fields

• getDomainName :: Text

Instances

FromJSON DomainName

Defined in Development.Guardian.Types

Methods

parseJSON :: Value -> Parser DomainName

parseJSONList :: Value -> Parser [DomainName]

FromJSONKey DomainName

Defined in Development.Guardian.Types

Methods

fromJSONKey :: FromJSONKeyFunction DomainName

fromJSONKeyList :: FromJSONKeyFunction [DomainName]

IsString DomainName

Defined in Development.Guardian.Types

Methods

fromString :: String -> DomainName

Generic DomainName

Defined in Development.Guardian.Types

Associated Types

type Rep DomainName :: Type -> Type

Methods

from :: DomainName -> Rep DomainName x

to :: Rep DomainName x -> DomainName

Show DomainName

Defined in Development.Guardian.Types

Methods

showsPrec :: Int -> DomainName -> ShowS

show :: DomainName -> String

showList :: [DomainName] -> ShowS

Eq DomainName

Defined in Development.Guardian.Types

Methods

(==) :: DomainName -> DomainName -> Bool

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

Ord DomainName

Defined in Development.Guardian.Types

Methods

compare :: DomainName -> DomainName -> Ordering

(<) :: DomainName -> DomainName -> Bool

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

(>) :: DomainName -> DomainName -> Bool

(>=) :: DomainName -> DomainName -> Bool

max :: DomainName -> DomainName -> DomainName

min :: DomainName -> DomainName -> DomainName

Hashable DomainName

Defined in Development.Guardian.Types

Methods

hashWithSalt :: Int -> DomainName -> Int

hash :: DomainName -> Int

type Rep DomainName

Defined in Development.Guardian.Types

type Rep DomainName = D1 ('MetaData "DomainName" "Development.Guardian.Types" "guardian-0.4.0.0-1i0KmpldsqDJPVBdForgqe" 'True) (C1 ('MetaCons "DomainName" 'PrefixI 'True) (S1 ('MetaSel ('Just "getDomainName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

data Domain

Constructors

Domain

Fields

• dependsOn :: Maybe (Vector DomainName)
• packages :: Vector PackageDef

Instances

FromJSON Domain

Defined in Development.Guardian.Types

Methods

parseJSON :: Value -> Parser Domain

parseJSONList :: Value -> Parser [Domain]

Generic Domain

Defined in Development.Guardian.Types

Associated Types

type Rep Domain :: Type -> Type

Methods

from :: Domain -> Rep Domain x

to :: Rep Domain x -> Domain

Show Domain

Defined in Development.Guardian.Types

Methods

showsPrec :: Int -> Domain -> ShowS

show :: Domain -> String

showList :: [Domain] -> ShowS

Eq Domain

Defined in Development.Guardian.Types

Methods

(==) :: Domain -> Domain -> Bool

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

Ord Domain

Defined in Development.Guardian.Types

Methods

compare :: Domain -> Domain -> Ordering

(<) :: Domain -> Domain -> Bool

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

(>) :: Domain -> Domain -> Bool

(>=) :: Domain -> Domain -> Bool

max :: Domain -> Domain -> Domain

min :: Domain -> Domain -> Domain

type Rep Domain

Defined in Development.Guardian.Types

type Rep Domain = D1 ('MetaData "Domain" "Development.Guardian.Types" "guardian-0.4.0.0-1i0KmpldsqDJPVBdForgqe" 'False) (C1 ('MetaCons "Domain" 'PrefixI 'True) (S1 ('MetaSel ('Just "dependsOn") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (Vector DomainName))) :*: S1 ('MetaSel ('Just "packages") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Vector PackageDef))))

newtype Domains

Constructors

Domains

Fields

• domains :: HashMap DomainName Domain

Instances

FromJSON Domains

Defined in Development.Guardian.Types

Methods

parseJSON :: Value -> Parser Domains

parseJSONList :: Value -> Parser [Domains]

Generic Domains

Defined in Development.Guardian.Types

Associated Types

type Rep Domains :: Type -> Type

Methods

from :: Domains -> Rep Domains x

to :: Rep Domains x -> Domains

Show Domains

Defined in Development.Guardian.Types

Methods

showsPrec :: Int -> Domains -> ShowS

show :: Domains -> String

showList :: [Domains] -> ShowS

Eq Domains

Defined in Development.Guardian.Types

Methods

(==) :: Domains -> Domains -> Bool

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

Ord Domains

Defined in Development.Guardian.Types

Methods

compare :: Domains -> Domains -> Ordering

(<) :: Domains -> Domains -> Bool

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

(>) :: Domains -> Domains -> Bool

(>=) :: Domains -> Domains -> Bool

max :: Domains -> Domains -> Domains

min :: Domains -> Domains -> Domains

type Rep Domains

Defined in Development.Guardian.Types

type Rep Domains = D1 ('MetaData "Domains" "Development.Guardian.Types" "guardian-0.4.0.0-1i0KmpldsqDJPVBdForgqe" 'True) (C1 ('MetaCons "Domains" 'PrefixI 'True) (S1 ('MetaSel ('Just "domains") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (HashMap DomainName Domain))))

data PackageDef

Constructors

PackageDef

Fields

• packageName :: !PackageName
• extraDeps :: Vector Dependency

Instances

FromJSON PackageDef

Defined in Development.Guardian.Types

Methods

parseJSON :: Value -> Parser PackageDef

parseJSONList :: Value -> Parser [PackageDef]

Generic PackageDef

Defined in Development.Guardian.Types

Associated Types

type Rep PackageDef :: Type -> Type

Methods

from :: PackageDef -> Rep PackageDef x

to :: Rep PackageDef x -> PackageDef

Show PackageDef

Defined in Development.Guardian.Types

Methods

showsPrec :: Int -> PackageDef -> ShowS

show :: PackageDef -> String

showList :: [PackageDef] -> ShowS

Eq PackageDef

Defined in Development.Guardian.Types

Methods

(==) :: PackageDef -> PackageDef -> Bool

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

Ord PackageDef

Defined in Development.Guardian.Types

Methods

compare :: PackageDef -> PackageDef -> Ordering

(<) :: PackageDef -> PackageDef -> Bool

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

(>) :: PackageDef -> PackageDef -> Bool

(>=) :: PackageDef -> PackageDef -> Bool

max :: PackageDef -> PackageDef -> PackageDef

min :: PackageDef -> PackageDef -> PackageDef

type Rep PackageDef

Defined in Development.Guardian.Types

type Rep PackageDef = D1 ('MetaData "PackageDef" "Development.Guardian.Types" "guardian-0.4.0.0-1i0KmpldsqDJPVBdForgqe" 'False) (C1 ('MetaCons "PackageDef" 'PrefixI 'True) (S1 ('MetaSel ('Just "packageName") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PackageName) :*: S1 ('MetaSel ('Just "extraDeps") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Vector Dependency))))

data Dependency

Constructors

DomainDep !DomainName

PackageDep !PackageName

Instances

FromJSON Dependency

Defined in Development.Guardian.Types

Methods

parseJSON :: Value -> Parser Dependency

parseJSONList :: Value -> Parser [Dependency]

Generic Dependency

Defined in Development.Guardian.Types

Associated Types

type Rep Dependency :: Type -> Type

Methods

from :: Dependency -> Rep Dependency x

to :: Rep Dependency x -> Dependency

Show Dependency

Defined in Development.Guardian.Types

Methods

showsPrec :: Int -> Dependency -> ShowS

show :: Dependency -> String

showList :: [Dependency] -> ShowS

Eq Dependency

Defined in Development.Guardian.Types

Methods

(==) :: Dependency -> Dependency -> Bool

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

Ord Dependency

Defined in Development.Guardian.Types

Methods

compare :: Dependency -> Dependency -> Ordering

(<) :: Dependency -> Dependency -> Bool

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

(>) :: Dependency -> Dependency -> Bool

(>=) :: Dependency -> Dependency -> Bool

max :: Dependency -> Dependency -> Dependency

min :: Dependency -> Dependency -> Dependency

type Rep Dependency

Defined in Development.Guardian.Types

type Rep Dependency = D1 ('MetaData "Dependency" "Development.Guardian.Types" "guardian-0.4.0.0-1i0KmpldsqDJPVBdForgqe" 'False) (C1 ('MetaCons "DomainDep" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 DomainName)) :+: C1 ('MetaCons "PackageDep" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 PackageName)))

newtype Overlayed gr

Constructors

Overlayed

Fields

• getOverlayed :: gr

Instances

Graph gr => Monoid (Overlayed gr)

Defined in Development.Guardian.Types

Methods

mempty :: Overlayed gr

mappend :: Overlayed gr -> Overlayed gr -> Overlayed gr

mconcat :: [Overlayed gr] -> Overlayed gr

Graph gr => Semigroup (Overlayed gr)

Defined in Development.Guardian.Types

Methods

(<>) :: Overlayed gr -> Overlayed gr -> Overlayed gr

sconcat :: NonEmpty (Overlayed gr) -> Overlayed gr

stimes :: Integral b => b -> Overlayed gr -> Overlayed gr

Show gr => Show (Overlayed gr)

Defined in Development.Guardian.Types

Methods

showsPrec :: Int -> Overlayed gr -> ShowS

show :: Overlayed gr -> String

showList :: [Overlayed gr] -> ShowS

Eq gr => Eq (Overlayed gr)

Defined in Development.Guardian.Types

Methods

(==) :: Overlayed gr -> Overlayed gr -> Bool

(/=) :: Overlayed gr -> Overlayed gr -> Bool

Ord gr => Ord (Overlayed gr)

Defined in Development.Guardian.Types

Methods

compare :: Overlayed gr -> Overlayed gr -> Ordering

(<) :: Overlayed gr -> Overlayed gr -> Bool

(<=) :: Overlayed gr -> Overlayed gr -> Bool

(>) :: Overlayed gr -> Overlayed gr -> Bool

(>=) :: Overlayed gr -> Overlayed gr -> Bool

max :: Overlayed gr -> Overlayed gr -> Overlayed gr

min :: Overlayed gr -> Overlayed gr -> Overlayed gr