MasterPlan.Data

Documentation

data ProjectExpr

Structure of a project expression

Constructors

Sum (NonEmpty ProjectExpr)

Product (NonEmpty ProjectExpr)

Sequence (NonEmpty ProjectExpr)

Reference ProjectKey

Instances

Eq ProjectExpr

Methods

(==) :: ProjectExpr -> ProjectExpr -> Bool

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

Data ProjectExpr

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ProjectExpr -> c ProjectExpr

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ProjectExpr

toConstr :: ProjectExpr -> Constr

dataTypeOf :: ProjectExpr -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c ProjectExpr)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ProjectExpr)

gmapT :: (forall b. Data b => b -> b) -> ProjectExpr -> ProjectExpr

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ProjectExpr -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ProjectExpr -> r

gmapQ :: (forall d. Data d => d -> u) -> ProjectExpr -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> ProjectExpr -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ProjectExpr -> m ProjectExpr

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ProjectExpr -> m ProjectExpr

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ProjectExpr -> m ProjectExpr

Show ProjectExpr

Methods

showsPrec :: Int -> ProjectExpr -> ShowS

show :: ProjectExpr -> String

showList :: [ProjectExpr] -> ShowS

data ProjectProperties

Any binding (with a name) may have associated properties

Constructors

ProjectProperties

Fields

• title :: String
• description :: Maybe String
• url :: Maybe String
• owner :: Maybe String

Instances

Eq ProjectProperties

Methods

(==) :: ProjectProperties -> ProjectProperties -> Bool

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

Data ProjectProperties

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ProjectProperties -> c ProjectProperties

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ProjectProperties

toConstr :: ProjectProperties -> Constr

dataTypeOf :: ProjectProperties -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c ProjectProperties)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ProjectProperties)

gmapT :: (forall b. Data b => b -> b) -> ProjectProperties -> ProjectProperties

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ProjectProperties -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ProjectProperties -> r

gmapQ :: (forall d. Data d => d -> u) -> ProjectProperties -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> ProjectProperties -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ProjectProperties -> m ProjectProperties

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ProjectProperties -> m ProjectProperties

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ProjectProperties -> m ProjectProperties

Show ProjectProperties

Methods

showsPrec :: Int -> ProjectProperties -> ShowS

show :: ProjectProperties -> String

showList :: [ProjectProperties] -> ShowS

newtype ProjectSystem

A project system defines the bindins (mapping from names to expressions or tasks) and properties, which can be associated to any binding

Constructors

ProjectSystem

Fields

• bindings :: Map ProjectKey Binding

Instances

Eq ProjectSystem

Methods

(==) :: ProjectSystem -> ProjectSystem -> Bool

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

Data ProjectSystem

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ProjectSystem -> c ProjectSystem

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ProjectSystem

toConstr :: ProjectSystem -> Constr

dataTypeOf :: ProjectSystem -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c ProjectSystem)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ProjectSystem)

gmapT :: (forall b. Data b => b -> b) -> ProjectSystem -> ProjectSystem

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ProjectSystem -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ProjectSystem -> r

gmapQ :: (forall d. Data d => d -> u) -> ProjectSystem -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> ProjectSystem -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ProjectSystem -> m ProjectSystem

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ProjectSystem -> m ProjectSystem

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ProjectSystem -> m ProjectSystem

Show ProjectSystem

Methods

showsPrec :: Int -> ProjectSystem -> ShowS

show :: ProjectSystem -> String

showList :: [ProjectSystem] -> ShowS

data Binding

A binding of a name can refer to an expression. If there are no associated expressions (i.e. equation) then it can have task-level properties

Constructors

BindingAtomic ProjectProperties Cost Trust Progress

BindingExpr ProjectProperties ProjectExpr

BindingPlaceholder ProjectProperties

Instances

Eq Binding

Methods

(==) :: Binding -> Binding -> Bool

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

Data Binding

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Binding -> c Binding

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Binding

toConstr :: Binding -> Constr

dataTypeOf :: Binding -> DataType

dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Binding)

dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Binding)

gmapT :: (forall b. Data b => b -> b) -> Binding -> Binding

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Binding -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Binding -> r

gmapQ :: (forall d. Data d => d -> u) -> Binding -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Binding -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Binding -> m Binding

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Binding -> m Binding

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Binding -> m Binding

Show Binding

Methods

showsPrec :: Int -> Binding -> ShowS

show :: Binding -> String

showList :: [Binding] -> ShowS

type ProjectKey = String

data ProjProperty

Constructors

PTitle

PDescription

PUrl

POwner

PCost

PTrust

PProgress

Instances

Bounded ProjProperty

Methods

minBound :: ProjProperty

maxBound :: ProjProperty

Enum ProjProperty

Methods

succ :: ProjProperty -> ProjProperty

pred :: ProjProperty -> ProjProperty

toEnum :: Int -> ProjProperty

fromEnum :: ProjProperty -> Int

enumFrom :: ProjProperty -> [ProjProperty]

enumFromThen :: ProjProperty -> ProjProperty -> [ProjProperty]

enumFromTo :: ProjProperty -> ProjProperty -> [ProjProperty]

enumFromThenTo :: ProjProperty -> ProjProperty -> ProjProperty -> [ProjProperty]

Eq ProjProperty

Methods

(==) :: ProjProperty -> ProjProperty -> Bool

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

Show ProjProperty

Methods

showsPrec :: Int -> ProjProperty -> ShowS

show :: ProjProperty -> String

showList :: [ProjProperty] -> ShowS

type Trust = Float

type Cost = Float

type Progress = Float

defaultProjectProps :: ProjectProperties

defaultCost :: Cost

defaultTrust :: Trust

defaultProgress :: Progress

defaultTaskProj :: ProjectProperties -> Binding

bindingTitle :: Binding -> String

cost :: ProjectSystem -> ProjectExpr -> Cost

Expected cost

progress :: ProjectSystem -> ProjectExpr -> Progress

trust :: ProjectSystem -> ProjectExpr -> Trust

Expected probability of succeeding

simplify :: ProjectSystem -> ProjectSystem

Simplify a project binding structure

simplifyProj :: ProjectExpr -> ProjectExpr

Simplify a project expression structure 1) transform singleton collections into it's only child 2) flatten same constructor of the collection

prioritizeSys :: ProjectSystem -> ProjectSystem

Sort projects in the system order that minimizes cost

prioritizeProj :: ProjectSystem -> ProjectExpr -> ProjectExpr

Sort project in order that minimizes cost