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.Oriented.Proposition

Contents

Oriented
X
- Orientation

Description

Propositions on Oriented structure.

Synopsis

prpOrt :: Oriented q => XOrt q -> Statement
type XOrt = X
prpOrt0 :: Oriented q => X q -> Statement
prpOrt1 :: Oriented q => X q -> Statement
xosOrt :: Oriented q => XOrtSite s q -> XOrt q
xosPoint :: XOrtSite s q -> X (Point q)
xoOrt :: XOrtOrientation q -> XOrt q
xOrtOrnt :: X p -> XOrt (Orientation p)

Oriented

prpOrt :: Oriented q => XOrt q -> Statement Source #

validity of the Oriented structure of q.

type XOrt = X Source #

random variable for Oriented structures.

prpOrt0 :: Oriented q => X q -> Statement Source #

validity of the functions orientation, start and end.

prpOrt1 :: Oriented q => X q -> Statement Source #

validity of the relation between orientation, start and end according to OAlg.Structure.Oriented.Definition.

X

xosOrt :: Oriented q => XOrtSite s q -> XOrt q Source #

the underlying random variable for Oriented structures.

xosPoint :: XOrtSite s q -> X (Point q) Source #

the underlying random variable of Point g.

xoOrt :: XOrtOrientation q -> XOrt q Source #

the underlying random variable for Oriented structures.

Orientation

xOrtOrnt :: X p -> XOrt (Orientation p) Source #

the induced random variable of Oriented structures for Orientation p.