Language.Hakaru.Summary

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

Documentation

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

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

data MapleException

Constructors

MapleInterpreterException 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