ideas-1.2: Feedback services for intelligent tutoring systems

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

Ideas.Main.Default

Description

Main module for feedback services

Documentation

defaultMain :: DomainReasoner -> IO ()Source

newDomainReasoner :: IsId a => a -> DomainReasonerSource

data Some f Source

Constructors

forall a . Some (f a) 

Instances

serviceList :: [Service]Source

metaServiceList :: DomainReasoner -> [Service]Source

data Service Source

Instances

module Ideas.Service.DomainReasoner