ideas-1.8: Feedback services for intelligent tutoring systems

Maintainer	[email protected]
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
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
urlForConstraints :: 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

makeLinkManager :: String -> String -> LinkManager Source #

stateToXML :: State a -> XMLBuilder 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 #

escapeInURL :: String -> String Source #