ideas-1.5: Feedback services for intelligent tutoring systems

Maintainerbastiaan.heeren@ou.nl
Stabilityprovisional
Portabilityportable (depends on ghc)
Safe HaskellNone
LanguageHaskell98

Ideas.Service.DomainReasoner

Description

 

Documentation

data DomainReasoner Source

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

tDomainReasoner :: Type a DomainReasoner Source

newDomainReasoner :: IsId a => a -> DomainReasoner Source

exercisesSorted :: DomainReasoner -> [Some Exercise] Source

servicesSorted :: DomainReasoner -> [Service] Source

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

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

defaultScript :: DomainReasoner -> Id -> IO Script Source