ideas-1.2: Feedback services for intelligent tutoring systems

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

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

exercisesSorted :: DomainReasoner -> [Some Exercise]Source

servicesSorted :: DomainReasoner -> [Service]Source

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

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

defaultScript :: DomainReasoner -> Id -> IO ScriptSource