| Copyright | (c) Erich Gut |
|---|---|
| License | BSD3 |
| Maintainer | zerich.gut@gmail.com |
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
OAlg.Entity.Product.Proposition
Synopsis
- prpProduct :: Statement
- prpOrtProductNOrntSymbol :: Statement
- prpOrtProductZOrntSymbol :: Statement
- prpMltProductNOrntSymbol :: Statement
- prpMltProductZOrntSymbol :: Statement
- xStartProduct :: (Oriented a, Integral r) => XOrtSite From a -> X r -> N -> XOrtSite From (Product r a)
- xStartProductForm :: (Oriented a, Number r) => XOrtSite From a -> X r -> N -> XOrtSite From (ProductForm r a)
- xPrdSymStart :: Integral r => N -> X r -> XOrtSite From (Product r (Orientation Symbol))
- xPrdSymMlt :: Integral r => N -> X r -> XMlt (Product r (Orientation Symbol))
- xT :: XOrtSite From (Orientation Char)
- dstT :: Int -> N -> IO ()
Proposition
prpProduct :: Statement Source #
validity of Product r (Orientation Symbol)r equal to N and Z
respectively
prpOrtProductNOrntSymbol :: Statement Source #
validity of Product N (Orientation Symbol)Oriented.
prpOrtProductZOrntSymbol :: Statement Source #
validity of Product Z (Orientation Symbol)Oriented.
prpMltProductNOrntSymbol :: Statement Source #
validity of Product N (Orientation Symbol)Multiplicative.
prpMltProductZOrntSymbol :: Statement Source #
validity of Product Z (Orientation Symbol)Multiplicative.
Random Variables
xStartProduct :: (Oriented a, Integral r) => XOrtSite From a -> X r -> N -> XOrtSite From (Product r a) Source #
random variable of products generated from product forms with a maximal given depth
(:^ dose not increases the depth).
xStartProductForm :: (Oriented a, Number r) => XOrtSite From a -> X r -> N -> XOrtSite From (ProductForm r a) Source #
random variable of product forms with maximal depth d (a :^ constructor
dose not increases the depth).
xPrdSymStart :: Integral r => N -> X r -> XOrtSite From (Product r (Orientation Symbol)) Source #
the induced random variable on Orientation Symbol)
xPrdSymMlt :: Integral r => N -> X r -> XMlt (Product r (Orientation Symbol)) Source #
the induced random variable for validating Multiplicative structures.