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

OAlg.Data.Symbol

Description

symbols from A to Z. They are mainly used to validate the algebraic structure of Orientation.

Synopsis

data Symbol
- = A
- | B
- | C
- | D
- | E
- | F
- | G
- | H
- | I
- | J
- | K
- | L
- | M
- | N
- | O
- | P
- | Q
- | R
- | S
- | T
- | U
- | V
- | W
- | X
- | Y
- | Z
xSymbol :: X Symbol

Documentation

data Symbol Source #

symbols from A to Z.

Constructors

A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z

Instances

Instances details

Bounded Symbol Source #
Instance details Defined in OAlg.Data.Symbol Methods minBound :: Symbol # maxBound :: Symbol #
Enum Symbol Source #
Instance details Defined in OAlg.Data.Symbol Methods succ :: Symbol -> Symbol # pred :: Symbol -> Symbol # toEnum :: Int -> Symbol # fromEnum :: Symbol -> Int # enumFrom :: Symbol -> [Symbol] # enumFromThen :: Symbol -> Symbol -> [Symbol] # enumFromTo :: Symbol -> Symbol -> [Symbol] # enumFromThenTo :: Symbol -> Symbol -> Symbol -> [Symbol] #
Read Symbol Source #
Instance details Defined in OAlg.Data.Symbol Methods readsPrec :: Int -> ReadS Symbol # readList :: ReadS [Symbol] # readPrec :: ReadPrec Symbol # readListPrec :: ReadPrec [Symbol] #
Show Symbol Source #
Instance details Defined in OAlg.Data.Symbol Methods showsPrec :: Int -> Symbol -> ShowS # show :: Symbol -> String # showList :: [Symbol] -> ShowS #
NFData Symbol Source #
Instance details Defined in OAlg.Data.Symbol Methods rnf :: Symbol -> () #
Eq Symbol Source #
Instance details Defined in OAlg.Data.Symbol Methods (==) :: Symbol -> Symbol -> Bool # (/=) :: Symbol -> Symbol -> Bool #
Ord Symbol Source #
Instance details Defined in OAlg.Data.Symbol Methods compare :: Symbol -> Symbol -> Ordering # (<) :: Symbol -> Symbol -> Bool # (<=) :: Symbol -> Symbol -> Bool # (>) :: Symbol -> Symbol -> Bool # (>=) :: Symbol -> Symbol -> Bool # max :: Symbol -> Symbol -> Symbol # min :: Symbol -> Symbol -> Symbol #
Validable Symbol Source #
Instance details Defined in OAlg.Data.Symbol Methods valid :: Symbol -> Statement Source #
XStandard Symbol Source #
Instance details Defined in OAlg.Data.Symbol Methods xStandard :: X Symbol Source #
Entity Symbol Source #
Instance details Defined in OAlg.Entity.Definition
XStandardOrtSite 'From (SliceFactor 'To (Proxy :: Type -> Type) OS) Source #
Instance details Defined in OAlg.Entity.Slice.Definition Methods xStandardOrtSite :: XOrtSite 'From (SliceFactor 'To Proxy OS) Source #
Sliced (Proxy :: Type -> Type) OS Source #
Instance details Defined in OAlg.Entity.Slice.Definition Methods slicePoint :: Proxy OS -> Point OS Source #
XStandardOrtSiteFrom (SliceFactor 'To (Proxy :: Type -> Type) OS) Source #
Instance details Defined in OAlg.Entity.Slice.Definition

xSymbol :: X Symbol Source #

uniformly distributed random variable of Symbol.