| Copyright | (c) Erich Gut |
|---|---|
| License | BSD3 |
| Maintainer | zerich.gut@gmail.com |
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
OAlg.Structure.Fibred.Proposition
Description
propositions on Fibred structures.
Synopsis
- prpFbr :: Fibred f => XFbr f -> Statement
- type XFbr = X
- prpFbrOrt :: FibredOriented f => XFbrOrt f -> Statement
- type XFbrOrt = X
- xFbrOrnt :: X p -> XFbr (Orientation p)
- xFbrOrtOrnt :: X p -> XFbrOrt (Orientation p)
- xStalkOrnt :: X p -> XStalk (Orientation p)
- data XStalk x = XStalk (X (Root x)) (Root x -> X x)
- xRoot :: XStalk x -> X (Root x)
- xSheafRootMax :: Fibred f => XStalk f -> N -> Root f -> X (Sheaf f)
- xSheafRoot :: Additive a => XStalk a -> N -> Root a -> X (Sheaf a)
- xSheafMax :: Fibred f => XStalk f -> N -> X (Sheaf f)
- xSheaf :: Additive a => XStalk a -> N -> X (Sheaf a)
- xoFbr :: XOrtOrientation f -> XFbr f
- xoFbrOrt :: XOrtOrientation f -> XFbrOrt f
Fibred
Fibre Oriented
prpFbrOrt :: FibredOriented f => XFbrOrt f -> Statement Source #
validity for FibredOriented structures.
random variable type for validating FibredOriented structures.
X
Orientation
xFbrOrnt :: X p -> XFbr (Orientation p) Source #
random variable for the Fibred structure of Orientation p
xFbrOrtOrnt :: X p -> XFbrOrt (Orientation p) Source #
random variable for the FibredOriented structure of Orientation p
xStalkOrnt :: X p -> XStalk (Orientation p) Source #
random variable of XStalk on Orientation p
Stalk
xSheafRoot :: Additive a => XStalk a -> N -> Root a -> X (Sheaf a) Source #
random variable of sheafs, all based on the given root and with the given length.
xSheafMax :: Fibred f => XStalk f -> N -> X (Sheaf f) Source #
random variable of sheafs, based on the underlying random variable of roots, with
a length of either 0 - for empty roots - or with the given length.
xSheaf :: Additive a => XStalk a -> N -> X (Sheaf a) Source #
random variable of sheafs with the given length.
Fibred Oriented
xoFbr :: XOrtOrientation f -> XFbr f Source #
the associated random variable for validating Fibred structures.
xoFbrOrt :: XOrtOrientation f -> XFbrOrt f Source #
the associated random variable for validation FibredOriented structures.