Language.Hakaru.Maple

Take strings from Maple and interpret them in Haskell (Hakaru), in a type-safe way.

Documentation

data MapleException

Constructors

MapleInterpreterException String String

MapleInputTypeMismatch String String

MapleUnknownCommand String

MapleAmbiguousCommand String [String]

MultipleErrors [MapleException]

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

data MapleOptions nm

Constructors

MapleOptions

Fields

• command :: nm
• debug :: Bool
• timelimit :: Int
• extraOpts :: Map String String
• context :: TransformCtx

Instances

Functor MapleOptions

Methods

fmap :: (a -> b) -> MapleOptions a -> MapleOptions b

(<$) :: a -> MapleOptions b -> MapleOptions a

Foldable MapleOptions

Methods

fold :: Monoid m => MapleOptions m -> m

foldMap :: Monoid m => (a -> m) -> MapleOptions a -> m

foldr :: (a -> b -> b) -> b -> MapleOptions a -> b

foldr' :: (a -> b -> b) -> b -> MapleOptions a -> b

foldl :: (b -> a -> b) -> b -> MapleOptions a -> b

foldl' :: (b -> a -> b) -> b -> MapleOptions a -> b

foldr1 :: (a -> a -> a) -> MapleOptions a -> a

foldl1 :: (a -> a -> a) -> MapleOptions a -> a

toList :: MapleOptions a -> [a]

null :: MapleOptions a -> Bool

length :: MapleOptions a -> Int

elem :: Eq a => a -> MapleOptions a -> Bool

maximum :: Ord a => MapleOptions a -> a

minimum :: Ord a => MapleOptions a -> a

sum :: Num a => MapleOptions a -> a

product :: Num a => MapleOptions a -> a

Traversable MapleOptions

Methods

traverse :: Applicative f => (a -> f b) -> MapleOptions a -> f (MapleOptions b)

sequenceA :: Applicative f => MapleOptions (f a) -> f (MapleOptions a)

mapM :: Monad m => (a -> m b) -> MapleOptions a -> m (MapleOptions b)

sequence :: Monad m => MapleOptions (m a) -> m (MapleOptions a)

data MapleCommand (i :: Hakaru) (o :: Hakaru) where

Maple commands operate on closed terms and take a single argument, and can be applied under functions.

Constructors

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