Loading [Contrib]/a11y/accessibility-menu.js

ideas-1.8: 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.OpenMathSupport

Contents

Conversion functions to/from OpenMath

Description

Synopsis

toOpenMath :: Monad m => Exercise a -> a -> m OMOBJ
fromOpenMath :: MonadPlus m => Exercise a -> OMOBJ -> m a
noMixedFractions :: OMOBJ -> OMOBJ
toOMOBJ :: IsTerm a => a -> OMOBJ
fromOMOBJ :: (MonadPlus m, IsTerm a) => OMOBJ -> m a

Conversion functions to/from OpenMath

toOpenMath :: Monad m => Exercise a -> a -> m OMOBJ Source #

fromOpenMath :: MonadPlus m => Exercise a -> OMOBJ -> m a Source #

noMixedFractions :: OMOBJ -> OMOBJ Source #

toOMOBJ :: IsTerm a => a -> OMOBJ Source #

fromOMOBJ :: (MonadPlus m, IsTerm a) => OMOBJ -> m a Source #

You can find any exported type, constructor, class, function or pattern defined in this package by (approximate) name.

Key	Shortcut
s	Open this search box
esc	Close this search box
↓,ctrl + j	Move down in search results
↑,ctrl + k	Move up in search results
↵	Go to active search result