Language.Hakaru.Simplify

Description

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

Documentation

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

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

Constructors

Instances

Show MapleException Source #
Methods showsPrec :: Int -> MapleException -> ShowS # show :: MapleException -> String # showList :: [MapleException] -> ShowS #
Exception MapleException Source #
Methods toException :: MapleException -> SomeException # fromException :: SomeException -> Maybe MapleException # displayException :: MapleException -> String #