Safe Haskell	Safe-Inferred
Language	Haskell2010

Language.Hakaru.Symbolic

Documentation

data Real Source

Instances

type MPL Real = Rational

data Prob Source

data Measure a Source

data Dist a Source

data Exact Source

class IntComp repr where Source

Methods

int :: Integer -> repr Integer Source

Instances

IntComp Maple

class BoolComp repr where Source

Methods

bool :: Bool -> repr Bool Source

Instances

BoolComp Maple

class RealComp repr where Source

Methods

real :: Rational -> repr Real Source

exp :: repr Real -> repr Real -> repr Real Source

sqrt, sin, cos :: repr Real -> repr Real Source

Instances

RealComp Maple

class SymbComp repr where Source

Methods

add, mul, minus :: repr a -> repr a -> repr a Source

pow :: repr Real -> repr Integer -> repr Real Source

scale :: repr Integer -> repr Real -> repr Real Source

Instances

SymbComp Maple

class MeasMonad repr where Source

Methods

bind :: repr (Measure a) -> (repr a -> repr (Measure b)) -> repr (Measure b) Source

ret :: repr a -> repr (Measure a) Source

Instances

MeasMonad Maple

class Distrib repr where Source

Methods

uniform, normal :: repr Real -> repr Real -> repr (Dist Real) Source

uniformD :: repr Integer -> repr Integer -> repr (Dist Integer) Source

Instances

Distrib Maple

class Conditioning repr where Source

Methods

conditioned, unconditioned :: repr (Dist a) -> repr (Measure a) Source

Instances

Conditioning Maple

data Pos Source

Constructors

Front
Back

type VarCounter = Int Source

newtype Maple a Source

Constructors

Maple
Fields unMaple :: Pos -> VarCounter -> String

Instances

Conditioning Maple
Distrib Maple
MeasMonad Maple
SymbComp Maple
RealComp Maple
BoolComp Maple
IntComp Maple

type family MPL a Source

Instances

type MPL Bool = Bool
type MPL Integer = Integer
type MPL Real = Rational

pure :: Show (MPL a) => MPL a -> Maple a Source

liftA1 :: (String -> String) -> Maple a -> Maple a Source

liftA2 :: (String -> String -> String) -> Maple a -> Maple a -> Maple a Source

liftA1M :: (String -> String) -> Maple a -> Maple (Measure a) Source

liftA2aba :: (String -> String -> String) -> Maple a -> Maple b -> Maple a Source

liftA2baa :: (String -> String -> String) -> Maple b -> Maple a -> Maple a Source

mkPr :: String -> String -> String Source

d2m :: Maple (Dist a) -> Maple (Measure a) Source

infixPr :: String -> String -> String -> String Source

reify :: forall a. Read a => Pos -> VarCounter -> Maple a -> a Source

name :: String -> VarCounter -> String Source

var :: String -> VarCounter -> Maple a Source

binder :: (String -> String -> Maybe String) -> (String -> String -> VarCounter -> Maybe String) -> String -> Maple a -> Maple a -> Maple (Dist a) Source

view :: Maple a -> String Source

lift :: Maple Integer -> Maple Real Source

exp1 :: Maple (Measure Real) Source

exp4 :: Maple (Measure Real) Source

exp3 :: Maple (Measure Real) Source

exp2 :: Maple (Measure Real) Source

test :: String Source

test4 :: String Source

test3 :: String Source

test2 :: String Source