oalg-base-1.1.4.0: Algebraic structures on oriented entities and limits as a tool kit to solve algebraic problems.

Copyright	(c) Erich Gut
License	BSD3
Maintainer	zerich.gut@gmail.com
Safe Haskell	Safe-Inferred
Language	Haskell2010

OAlg.Structure.Algebraic.Proposition

Contents

Proposition
X
- Direction

Description

propositions on Algebraic structures.

Synopsis

prpAlg :: Algebraic a => XAlg a -> Statement
prpAlg1 :: Algebraic a => X (Scalar a) -> X (Mltp2 a) -> Statement
data XAlg a = XAlg (X (Scalar a)) (X (Mltp2 a))
xoAlg :: Algebraic a => X (Scalar a) -> XOrtSite d a -> XAlg a

Proposition

prpAlg :: Algebraic a => XAlg a -> Statement Source #

validity of the Algebraic structure of a.

prpAlg1 :: Algebraic a => X (Scalar a) -> X (Mltp2 a) -> Statement Source #

validity according to OAlg.Structure.Algebraic.Definition.

X

data XAlg a Source #

random variable to validate Algebraic structures.

Constructors

XAlg (X (Scalar a)) (X (Mltp2 a))

Instances

Instances details

Algebraic a => Validable (XAlg a) Source #
Instance details Defined in OAlg.Structure.Algebraic.Proposition Methods valid :: XAlg a -> Statement Source #

Direction

xoAlg :: Algebraic a => X (Scalar a) -> XOrtSite d a -> XAlg a Source #

the induces random variable.