hakaru-0.7.0: A probabilistic programming language
CopyrightCopyright (c) 2017 the Hakaru team
LicenseBSD3
Maintainerwren@community.haskell.org
Stabilityexperimental
PortabilityGHC-only
Safe HaskellNone
LanguageHaskell2010

Language.Hakaru.Summary

Description

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

Documentation

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

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

data MapleException Source #

Constructors

MapleInterpreterException String String 

Instances

Instances details
Show MapleException Source # 
Instance details

Defined in Language.Hakaru.Maple

Methods

showsPrec :: Int -> MapleException -> ShowS #

show :: MapleException -> String #

showList :: [MapleException] -> ShowS #

Exception MapleException Source # 
Instance details

Defined in Language.Hakaru.Maple

Methods

toException :: MapleException -> SomeException #

fromException :: SomeException -> Maybe MapleException #

displayException :: MapleException -> String #