Safe Haskell	None
Language	Haskell98

Propellor.Types.MetaTypes

Synopsis

Documentation

data MetaType Source

Constructors

Targeting TargetOS	A target OS of a Property
WithInfo	Indicates that a Property has associated Info

Instances

Eq MetaType Source
Ord MetaType Source
Show MetaType Source
SingI MetaType WithInfo Source
SingKind MetaType (KProxy MetaType) Source
SingI MetaType (Targeting OSDebian) Source
SingI MetaType (Targeting OSBuntish) Source
SingI MetaType (Targeting OSFreeBSD) Source
data Sing MetaType where OSDebianS :: Sing MetaType (Targeting OSDebian) OSBuntishS :: Sing MetaType (Targeting OSBuntish) OSFreeBSDS :: Sing MetaType (Targeting OSFreeBSD) WithInfoS :: Sing MetaType WithInfo Source
type EqT MetaType WithInfo WithInfo = True Source
type EqT MetaType WithInfo (Targeting b) = False Source
type DemoteRep MetaType (KProxy MetaType) = MetaType Source
type EqT MetaType (Targeting a) WithInfo = False Source
type EqT MetaType (Targeting a) (Targeting b) = EqT TargetOS a b Source
type IncludesInfo (MetaTypes [MetaType] l) Source

type UnixLike = MetaTypes `[Targeting OSDebian, Targeting OSBuntish, Targeting OSFreeBSD]` Source

Any unix-like system

type Linux = MetaTypes `[Targeting OSDebian, Targeting OSBuntish]` Source

Any linux system

type DebianLike = MetaTypes `[Targeting OSDebian, Targeting OSBuntish]` Source

Debian and derivatives.

type Debian = MetaTypes `[Targeting OSDebian]` Source

type Buntish = MetaTypes `[Targeting OSBuntish]` Source

type FreeBSD = MetaTypes `[Targeting OSFreeBSD]` Source

type HasInfo = MetaTypes `[WithInfo]` Source

Used to indicate that a Property adds Info to the Host where it's used.

type MetaTypes = Sing Source

type family a + b :: ab Source

Convenience type operator to combine two MetaTypes lists.

For example:

HasInfo + Debian

Which is shorthand for this type:

MetaTypes '[WithInfo, Targeting OSDebian]

Instances

type (+) * (MetaTypes [k] a) (MetaTypes [k] b) Source

class SingI t where Source

A class used to pass singleton values implicitly.

Methods

sing :: Sing t Source

Instances

SingI Bool False Source
SingI Bool True Source
SingI MetaType WithInfo Source
SingI MetaType (Targeting OSDebian) Source
SingI MetaType (Targeting OSBuntish) Source
SingI MetaType (Targeting OSFreeBSD) Source
SingI [k] ([] k) Source
(SingI k x, SingI [k] xs) => SingI [k] ((:) k x xs) Source

type family IncludesInfo t :: Bool Source

Instances

type IncludesInfo (MetaTypes [MetaType] l) Source

type family Targets l :: [a] Source

Instances

type Targets k ([] k) = [] k Source
type Targets k ((:) k x xs) Source

type family NonTargets l :: [a] Source

Instances

type NonTargets k ([] k) = [] k Source
type NonTargets k ((:) k x xs) Source

type family NotSuperset superset subset :: CheckCombine Source

Every item in the subset must be in the superset.

The name of this was chosen to make type errors more understandable.

Instances

type NotSuperset k superset ([] k) = CanCombine Source
type NotSuperset k superset ((:) k s rest) Source

type family Combine list1 list2 :: [a] Source

Combine two MetaTypes lists, yielding a list that has targets present in both, and nontargets present in either.

Instances

type Combine a list1 list2 Source

data CheckCombine Source

Constructors

CannotCombineTargets
CanCombine

type family CheckCombinable list1 list2 :: CheckCombine Source

Checks if two MetaTypes lists can be safely combined.

This should be used anywhere Combine is used, as an additional constraint. For example:

foo :: (CheckCombinable x y ~ 'CanCombine) => x -> y -> Combine x y

Instances

type CheckCombinable k list1 ([] k) = CanCombine Source
type CheckCombinable k ([] k) list2 = CanCombine Source
type CheckCombinable k ((:) k l1 list1) ((:) k l2 list2) Source

type family a && b :: Bool Source

Instances

type False && False = False Source
type False && True = False Source
type True && False = False Source
type True && True = True Source

type family Not a :: Bool Source

Instances

type Not False = True Source
type Not True = False Source

type family EqT a b :: Bool Source

Type level equality

This is a very clumsy implmentation, but it works back to ghc 7.6.

Instances

type EqT TargetOS OSDebian OSDebian = True Source
type EqT TargetOS OSDebian OSBuntish = False Source
type EqT TargetOS OSDebian OSFreeBSD = False Source
type EqT TargetOS OSBuntish OSDebian = False Source
type EqT TargetOS OSBuntish OSBuntish = True Source
type EqT TargetOS OSBuntish OSFreeBSD = False Source
type EqT TargetOS OSFreeBSD OSDebian = False Source
type EqT TargetOS OSFreeBSD OSBuntish = False Source
type EqT TargetOS OSFreeBSD OSFreeBSD = True Source
type EqT MetaType WithInfo WithInfo = True Source
type EqT MetaType WithInfo (Targeting b) = False Source
type EqT MetaType (Targeting a) WithInfo = False Source
type EqT MetaType (Targeting a) (Targeting b) = EqT TargetOS a b Source

type family Union list1 list2 :: [a] Source

Type level union.

Instances

type Union k ([] k) list2 = list2 Source
type Union k ((:) k a rest) list2 Source