Ideas.Service.DomainReasoner

Documentation

data DomainReasoner

Constructors

DR

Fields

• reasonerId :: Id
• exercises :: [Some Exercise]
• services :: [Service]
• views :: [ViewPackage]
• aliases :: [(Id, Id)]
• scripts :: [(Id, FilePath)]
• testSuite :: TestSuite
• version :: String
• fullVersion :: String

Instances

Semigroup DomainReasoner

Defined in Ideas.Service.DomainReasoner

Methods

(<>) :: DomainReasoner -> DomainReasoner -> DomainReasoner

sconcat :: NonEmpty DomainReasoner -> DomainReasoner

stimes :: Integral b => b -> DomainReasoner -> DomainReasoner

Monoid DomainReasoner

Defined in Ideas.Service.DomainReasoner

Methods

mempty :: DomainReasoner

mappend :: DomainReasoner -> DomainReasoner -> DomainReasoner

mconcat :: [DomainReasoner] -> DomainReasoner

HasId DomainReasoner

Defined in Ideas.Service.DomainReasoner

Methods

getId :: DomainReasoner -> Id

changeId :: (Id -> Id) -> DomainReasoner -> DomainReasoner

tDomainReasoner :: Type a DomainReasoner

newDomainReasoner :: IsId a => a -> DomainReasoner

exercisesSorted :: DomainReasoner -> [Some Exercise]

servicesSorted :: DomainReasoner -> [Service]

findExercise :: Monad m => DomainReasoner -> Id -> m (Some Exercise)

findService :: Monad m => DomainReasoner -> Id -> m Service

defaultScript :: DomainReasoner -> Id -> IO Script