ideas-1.8: Feedback services for intelligent tutoring systems

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

Ideas.Text.OpenMath.Object

Description

 

Documentation

data OMOBJ Source #

Constructors

OMI Integer 
OMF Double 
OMV String 
OMS Symbol 
OMA [OMOBJ] 
OMBIND OMOBJ [String] OMOBJ 
Instances
Eq OMOBJ Source # 
Instance details

Defined in Ideas.Text.OpenMath.Object

Methods

(==) :: OMOBJ -> OMOBJ -> Bool #

(/=) :: OMOBJ -> OMOBJ -> Bool #

Show OMOBJ Source # 
Instance details

Defined in Ideas.Text.OpenMath.Object

Methods

showsPrec :: Int -> OMOBJ -> ShowS #

show :: OMOBJ -> String #

showList :: [OMOBJ] -> ShowS #

InXML OMOBJ Source # 
Instance details

Defined in Ideas.Text.OpenMath.Object

Methods

fromXML :: Monad m => XML -> m OMOBJ Source #

listFromXML :: Monad m => XML -> m [OMOBJ] Source #

ToXML OMOBJ Source # 
Instance details

Defined in Ideas.Text.OpenMath.Object

Methods

toXML :: OMOBJ -> XML Source #

listToXML :: [OMOBJ] -> XML Source #

Uniplate OMOBJ Source # 
Instance details

Defined in Ideas.Text.OpenMath.Object

Methods

uniplate :: OMOBJ -> (Str OMOBJ, Str OMOBJ -> OMOBJ) #

descend :: (OMOBJ -> OMOBJ) -> OMOBJ -> OMOBJ #

descendM :: Monad m => (OMOBJ -> m OMOBJ) -> OMOBJ -> m OMOBJ #

getOMVs :: OMOBJ -> [String] Source #

xml2omobj :: XML -> Either String OMOBJ Source #

omobj2xml :: OMOBJ -> XML Source #