Copyright | Copyright (c) 2016 the Hakaru team |
---|---|
License | BSD3 |
Stability | experimental |
Portability | GHC-only |
Safe Haskell | None |
Language | Haskell2010 |
Take strings from Maple and interpret them in Haskell (Hakaru), in a type-safe way.
Synopsis
- data MapleException
- data MapleOptions nm = MapleOptions {}
- data MapleCommand (i :: Hakaru) (o :: Hakaru) where
- MapleCommand :: !(Transform '['('[], i)] o) -> MapleCommand i o
- defaultMapleOptions :: MapleOptions ()
- sendToMaple :: ABT Term abt => MapleOptions (MapleCommand i o) -> abt '[] i -> IO (abt '[] o)
- sendToMaple' :: ABT Term (abt Term) => MapleOptions String -> TypedAST (abt Term) -> IO (TypedAST (abt Term))
- maple :: String -> IO String
Documentation
data MapleException Source #
MapleInterpreterException String String | |
MapleInputTypeMismatch String String | |
MapleUnknownCommand String | |
MapleAmbiguousCommand String [String] | |
MultipleErrors [MapleException] |
Instances
Show MapleException Source # | |
Defined in Language.Hakaru.Maple showsPrec :: Int -> MapleException -> ShowS # show :: MapleException -> String # showList :: [MapleException] -> ShowS # | |
Exception MapleException Source # | |
Defined in Language.Hakaru.Maple |
data MapleOptions nm Source #
Instances
data MapleCommand (i :: Hakaru) (o :: Hakaru) where Source #
Maple commands operate on closed terms and take a single argument, and can be applied under functions.
MapleCommand :: !(Transform '['('[], i)] o) -> MapleCommand i o |
sendToMaple :: ABT Term abt => MapleOptions (MapleCommand i o) -> abt '[] i -> IO (abt '[] o) Source #