ideas-1.3.1: Feedback services for intelligent tutoring systems

Maintainer	bastiaan.heeren@ou.nl
Stability	provisional
Portability	portable (depends on ghc)
Safe Haskell	None
Language	Haskell98

Ideas.Encoding.LinkManager

Description

Manages links to information

Documentation

data LinkManager Source

Constructors

Fields

urlForCSS :: String -> String
urlForImage :: 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
urlForTestReport :: forall a. Exercise 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
urlForMicrosteps :: forall a. State a -> String

dynamicLinks :: String -> LinkManager Source

stateToXML :: State a -> XMLBuilder Source

staticLinks :: LinkManager Source

linksUp :: Int -> LinkManager -> LinkManager Source

pathLevel :: FilePath -> Int Source

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

linkToIndex :: LinkManager -> HTMLBuilder -> HTMLBuilder Source

linkToExercises :: LinkManager -> HTMLBuilder -> HTMLBuilder Source

linkToServices :: LinkManager -> HTMLBuilder -> HTMLBuilder Source

linkToService :: LinkManager -> Service -> HTMLBuilder -> HTMLBuilder Source

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

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

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

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

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

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

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

linkToTestReport :: LinkManager -> Exercise a -> HTMLBuilder -> HTMLBuilder Source

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

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

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

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

linkToMicrosteps :: LinkManager -> State a -> HTMLBuilder -> HTMLBuilder Source