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.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 #