Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
class Conditioning repr where Source
conditioned, unconditioned :: repr (Dist a) -> repr (Measure a) Source
type VarCounter = Int Source
Maple | |
|
name :: String -> VarCounter -> String Source
var :: String -> VarCounter -> Maple a Source