ideas-1.1: Feedback services for intelligent tutoring systems

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

Ideas.Encoding.LinkManager

Description

Manages links to information

Documentation

data LinkManager Source

Constructors

LinkManager 

Fields

urlForResource :: String -> String
 
urlForRequest :: String
 
isStatic :: Bool
 
urlForIndex :: String
 
urlForExercises :: String
 
urlForServices :: String
 
urlForService :: Service -> String
 
urlForExercise :: forall a. Exercise a -> String
 
urlForStrategy :: forall a. Exercise a -> String
 
urlForRules :: forall a. Exercise a -> String
 
urlForExamples :: forall a. Exercise a -> String
 
urlForDerivations :: forall a. Exercise a -> String
 
urlForRule :: forall a. Exercise a -> Rule (Context a) -> String
 
urlForRandomExample :: forall a. Exercise a -> Difficulty -> String
 
urlForState :: forall a. State a -> String
 
urlForFirsts :: forall a. State a -> String
 
urlForApplications :: forall a. State a -> String
 
urlForDerivation :: forall a. State a -> String
 

dynamicLinks :: String -> LinkManagerSource

stateToXML :: State a -> XMLBuilderSource

staticLinks :: LinkManagerSource

linksUp :: Int -> LinkManager -> LinkManagerSource

pathLevel :: FilePath -> IntSource

(</>) :: String -> FilePath -> FilePathSource

linkToIndex :: LinkManager -> HTMLBuilder -> HTMLBuilderSource

linkToExercises :: LinkManager -> HTMLBuilder -> HTMLBuilderSource

linkToServices :: LinkManager -> HTMLBuilder -> HTMLBuilderSource

linkToService :: LinkManager -> Service -> HTMLBuilder -> HTMLBuilderSource

linkToExercise :: LinkManager -> Exercise a -> HTMLBuilder -> HTMLBuilderSource

linkToStrategy :: LinkManager -> Exercise a -> HTMLBuilder -> HTMLBuilderSource

linkToRules :: LinkManager -> Exercise a -> HTMLBuilder -> HTMLBuilderSource

linkToExamples :: LinkManager -> Exercise a -> HTMLBuilder -> HTMLBuilderSource

linkToDerivations :: LinkManager -> Exercise a -> HTMLBuilder -> HTMLBuilderSource

linkToRule :: LinkManager -> Exercise a -> Rule (Context a) -> HTMLBuilder -> HTMLBuilderSource

linkToRandomExample :: LinkManager -> Exercise a -> Difficulty -> HTMLBuilder -> HTMLBuilderSource

linkToState :: LinkManager -> State a -> HTMLBuilder -> HTMLBuilderSource

linkToFirsts :: LinkManager -> State a -> HTMLBuilder -> HTMLBuilderSource

linkToApplications :: LinkManager -> State a -> HTMLBuilder -> HTMLBuilderSource

linkToDerivation :: LinkManager -> State a -> HTMLBuilder -> HTMLBuilderSource