{-# LANGUAGE TypeSynonymInstances
, FlexibleInstances
, FlexibleContexts
, DeriveDataTypeable
, CPP
, GADTs
, DataKinds
, OverloadedStrings
, ScopedTypeVariables
, TypeOperators
#-}
{-# OPTIONS_GHC -Wall -fwarn-tabs #-}
module Language.Hakaru.Summary
( summary
, summaryDebug
, MapleException(MapleInterpreterException)
) where
import Language.Hakaru.Syntax.ABT
import Language.Hakaru.Syntax.AST
import Language.Hakaru.Syntax.Command
import Language.Hakaru.Maple
summary
:: forall abt a
. (ABT Term abt)
=> abt '[] a -> IO (abt '[] a)
summary = sendToMaple defaultMapleOptions{command=Summarize}
summaryDebug
:: forall abt a
. (ABT Term abt)
=> Bool -> abt '[] a -> IO (abt '[] a)
summaryDebug d = sendToMaple defaultMapleOptions{command=Summarize,debug=d}
----------------------------------------------------------------
----------------------------------------------------------- fin.