Language.Hakaru.Simplify

Take strings from Maple and interpret them in Haskell (Hakaru)

Documentation

simplify :: forall abt a. ABT Term abt => abt '[] a -> IO (abt '[] a)

simplifyDebug :: forall abt a. ABT Term abt => Bool -> abt '[] a -> IO (abt '[] a)

data MapleException

Constructors

MapleException String String

Instances

Show MapleException

Methods

showsPrec :: Int -> MapleException -> ShowS

show :: MapleException -> String

showList :: [MapleException] -> ShowS

Exception MapleException

Methods

toException :: MapleException -> SomeException

fromException :: SomeException -> Maybe MapleException

displayException :: MapleException -> String