gasp-1.4.0.0: A framework of algebraic classes

Index

!*^Algebra.Classes
%Algebra.Morphism.Ratio
*Algebra.Classes
**Algebra.Classes
*<Algebra.Classes
*^Algebra.Classes
+Algebra.Classes
-Algebra.Classes
.Algebra.Category
/Algebra.Classes
:%Algebra.Morphism.Ratio
:/Algebra.Linear
:▵Algebra.Category.BlockMatrix
:▿Algebra.Category.BlockMatrix
<+>Algebra.Linear
=.=Algebra.Classes
AbelianAdditiveAlgebra.Classes
acosAlgebra.Classes
acoshAlgebra.Classes
AdditiveAlgebra.Classes
Affine 
1 (Type/Class)Algebra.Morphism.Affine
2 (Data Constructor)Algebra.Morphism.Affine
AlgebraicAlgebra.Classes
AlgebraicallyClosedAlgebra.Classes
App 
1 (Type/Class)Algebra.Classes
2 (Data Constructor)Algebra.Classes
arbitrary2'Algebra.Category.Objects
asinAlgebra.Classes
asinhAlgebra.Classes
assoc 
1 (Function)Algebra.CategoryRecords
2 (Function)Algebra.Category
assoc_ 
1 (Function)Algebra.CategoryRecords
2 (Function)Algebra.Category
atanAlgebra.Classes
atanhAlgebra.Classes
AutonomousAlgebra.Category
BiCartesianAlgebra.Category
bitraverseAlgebra.Morphism.LinComb
BraidedAlgebra.Category
BraidedRec 
1 (Type/Class)Algebra.CategoryRecords
2 (Data Constructor)Algebra.CategoryRecords
braidedRecAlgebra.Category
CartesianAlgebra.Category
cartesianAssocAlgebra.Category
cartesianAssoc_Algebra.Category
cartesianCrossAlgebra.Category
CartesianRec 
1 (Type/Class)Algebra.CategoryRecords
2 (Data Constructor)Algebra.CategoryRecords
cartesianRecAlgebra.Category
cartesianSwapAlgebra.Category
cartesianUnitorAlgebra.Category
cartesianUnitor_Algebra.Category
CategoryAlgebra.Category
CategoryRec 
1 (Type/Class)Algebra.CategoryRecords
2 (Data Constructor)Algebra.CategoryRecords
CoCartesianAlgebra.Category
coCartesianExlAlgebra.Category
coCartesianExrAlgebra.Category
CompAlgebra.Types
CompactAlgebra.Category
CompClosed 
1 (Type/Class)Algebra.Types
2 (Data Constructor)Algebra.Types
Con'Algebra.Category.Objects
constantAlgebra.Morphism.Affine
cosAlgebra.Classes
coshAlgebra.Classes
CReprAlgebra.Types
crossProductMatrixAlgebra.Linear
DaggerAlgebra.Category
daggerAlgebra.Category
DecidableZeroAlgebra.Classes
DiagAlgebra.Category.BlockMatrix
diagonalAlgebra.Linear
dis 
1 (Function)Algebra.CategoryRecords
2 (Function)Algebra.Category
divAlgebra.Classes
DivisionAlgebra.Classes
divModAlgebra.Classes
divZeroErrorAlgebra.Morphism.Ratio
DualAlgebra.Types, Algebra.Types
DualConAlgebra.Category.Objects
DualKindAlgebra.Types
DualObjAlgebra.Category.Objects
DualTypeAlgebra.Types
dup 
1 (Function)Algebra.CategoryRecords
2 (Function)Algebra.Category
EmptyLAlgebra.Category.BlockMatrix
EmptyRAlgebra.Category.BlockMatrix
Endo 
1 (Type/Class)Algebra.Category.Endo
2 (Data Constructor)Algebra.Category.Endo
Euclid 
1 (Type/Class)Algebra.Linear
2 (Data Constructor)Algebra.Linear
EuclideanDomainAlgebra.Classes
eval 
1 (Function)Algebra.Morphism.LinComb
2 (Function)Algebra.Morphism.Affine
exl 
1 (Function)Algebra.CategoryRecords
2 (Function)Algebra.Category
Exp 
1 (Type/Class)Algebra.Morphism.Exponential
2 (Data Constructor)Algebra.Morphism.Exponential
expAlgebra.Classes
expm1Algebra.Classes
exr 
1 (Function)Algebra.CategoryRecords
2 (Function)Algebra.Category
FieldAlgebra.Classes
findSplitAlgebra.Category.BlockMatrix
findSplit'Algebra.Category.BlockMatrix
FiniteAlgebra.Types
finiteFstsndAlgebra.Types
finiteLeftRightAlgebra.Types
Flat 
1 (Type/Class)Algebra.Linear
2 (Data Constructor)Algebra.Linear
flatMatAlgebra.Linear
forallMorphismAlgebra.Category.Objects
forallMorphism'Algebra.Category.Laws
forallSumTypeAlgebra.Category.Objects
forallTypeAlgebra.Category.Objects
fromCompAlgebra.Types
fromDualTypeAlgebra.Types
fromEuclidAlgebra.Linear
fromExpAlgebra.Morphism.Exponential
fromFlatAlgebra.Linear
fromFunctorDualAlgebra.Types
fromIdAlgebra.Types
fromIntegerAlgebra.Classes
fromIntegerDefaultAlgebra.Classes
fromLinCombAlgebra.Morphism.LinComb
fromListAlgebra.Morphism.LinComb
fromLogAlgebra.Morphism.Exponential
fromMatAlgebra.Linear
fromOpAlgebra.Category.Op
fromPointwiseAlgebra.Morphism.Pointwise
fromProductAlgebra.Classes
fromRationalAlgebra.Classes
fromRelAlgebra.Linear
fromSumAlgebra.Classes
fromVAlgebra.Linear
fromZeroAlgebra.Types
FunctorDualAlgebra.Types
FunctorInj1Algebra.Types
FunctorInj2Algebra.Types
FunctorOneAlgebra.Types
FunctorProdAlgebra.Types
gcdAlgebra.Classes
genMorphAlgebra.Category.Laws
genMorph'Algebra.Category.Laws
genMorphismAlgebra.Category.BlockMatrix
GenObjAlgebra.Category.Laws
genObjAlgebra.Category.Laws
getTestableAlgebra.Category.Laws
getTestable'Algebra.Category.Laws
GroupAlgebra.Classes
Id 
1 (Type/Class)Algebra.Types
2 (Data Constructor)Algebra.Types
id 
1 (Function)Algebra.CategoryRecords
2 (Function)Algebra.Category
ifThenElseAlgebra.Classes
imaginaryUnitAlgebra.Classes
indicateAlgebra.Category.Relation
inhabitantsAlgebra.Types
Inj1Algebra.Types
Inj2Algebra.Types
inlAlgebra.Category
innerAlgebra.Linear
InnerProdSpaceAlgebra.Linear
inrAlgebra.Category
IntegralAlgebra.Classes
isArbitrary1Algebra.Category.Objects
isCoArbitraryAlgebra.Category.Objects
isConstantAlgebra.Morphism.Affine
IsVecAlgebra.Linear
isZeroAlgebra.Classes
jamAlgebra.Category
laws_abelian_additiveAlgebra.Classes
laws_abelian_groupAlgebra.Classes
laws_additiveAlgebra.Classes
laws_bicartesianAlgebra.Category.Laws
laws_braidedAlgebra.Category.Laws
laws_cartesianAlgebra.Category.Laws
laws_cartesian_extraAlgebra.Category.Laws
laws_categoryAlgebra.Category.Laws
laws_cocartesianAlgebra.Category.Laws
laws_comm_monoidAlgebra.Classes
laws_groupAlgebra.Classes
laws_moduleAlgebra.Classes
laws_monoidAlgebra.Classes
laws_monoidalAlgebra.Category.Laws
laws_multiplicativeAlgebra.Classes
laws_ringAlgebra.Classes
laws_symmetricAlgebra.Category.Laws
laws_testEqualAlgebra.Classes
law_assocAlgebra.Classes
law_assoc_invAlgebra.Category.Laws
law_braided_hexagon1Algebra.Category.Laws
law_braided_hexagon2Algebra.Category.Laws
law_braided_triangleAlgebra.Category.Laws
law_commutativeAlgebra.Classes
law_comp_assocAlgebra.Category.Laws
law_comp_idAlgebra.Category.Laws
law_decidable_zeroAlgebra.Classes
law_dup_commutAlgebra.Category.Laws
law_exp_posAlgebra.Classes
law_fromIntegerAlgebra.Classes
law_id_compAlgebra.Category.Laws
law_left_idAlgebra.Classes
law_module_mulAlgebra.Classes
law_module_oneAlgebra.Classes
law_module_sumAlgebra.Classes
law_module_sum_leftAlgebra.Classes
law_module_zeroAlgebra.Classes
law_monoidal_pentagonAlgebra.Category.Laws
law_monoidal_triangleAlgebra.Category.Laws
law_multAlgebra.Classes
law_negate_minusAlgebra.Classes
law_parallel_compositionAlgebra.Category.Laws
law_projectionsAlgebra.Category.Laws
law_reflAlgebra.Classes
law_right_idAlgebra.Classes
law_swap_invAlgebra.Category.Laws
law_swap_involAlgebra.Category.Laws
law_timesAlgebra.Classes
law_unitorL_invAlgebra.Category.Laws
law_unitorR_invAlgebra.Category.Laws
lcmAlgebra.Classes
LinComb 
1 (Type/Class)Algebra.Morphism.LinComb
2 (Data Constructor)Algebra.Morphism.LinComb
Log 
1 (Type/Class)Algebra.Morphism.Exponential
2 (Data Constructor)Algebra.Morphism.Exponential
logAlgebra.Classes
log1mexpAlgebra.Classes
log1pAlgebra.Classes
log1pexpAlgebra.Classes
logBaseAlgebra.Classes
MAlgebra.Category.BlockMatrix
mapVars 
1 (Function)Algebra.Morphism.LinComb
2 (Function)Algebra.Morphism.Affine
Mat 
1 (Type/Class)Algebra.Linear
2 (Data Constructor)Algebra.Linear
Mat2x2 
1 (Type/Class)Algebra.Linear
2 (Data Constructor)Algebra.Linear
Mat3x3 
1 (Type/Class)Algebra.Linear
2 (Data Constructor)Algebra.Linear
matFlatAlgebra.Linear
matMulAlgebra.Linear
matVecMulAlgebra.Linear
modAlgebra.Classes
ModuleAlgebra.Classes
MonoidalAlgebra.Category
MonoidalRec 
1 (Type/Class)Algebra.CategoryRecords
2 (Data Constructor)Algebra.CategoryRecords
monoidalRecAlgebra.Category
MReprAlgebra.Types
multAlgebra.Classes
multDefaultAlgebra.Classes
MultiplicativeAlgebra.Classes
mulVarsMonotonicAlgebra.Morphism.LinComb
nameLawAlgebra.Classes
NatTrans 
1 (Type/Class)Algebra.Category.NatTrans
2 (Data Constructor)Algebra.Category.NatTrans
NaturalAlgebra.Classes
negateAlgebra.Classes
newAlgebra.Category
normAlgebra.Linear
normaliseAlgebra.Morphism.LinComb
normalize 
1 (Function)Algebra.Classes
2 (Function)Algebra.Linear
O2Algebra.Category
O3Algebra.Category
O4Algebra.Category
ObjAlgebra.Category
objdualAlgebra.Category.Objects
objdual'Algebra.Category.Objects
objFstSndAlgebra.Category.Objects
objfstsndAlgebra.Category.Objects
objoneAlgebra.Category.Objects
objprodAlgebra.Category.Objects
OneAlgebra.Types, Algebra.Types
oneAlgebra.Classes
one1ClosedAlgebra.Types
OneCon1Algebra.Category.Objects
Op 
1 (Type/Class)Algebra.Category.Op
2 (Data Constructor)Algebra.Category.Op
opTestableAlgebra.Category.Laws
outerAlgebra.Linear
outerWithAlgebra.Linear
overflowErrorAlgebra.Morphism.Ratio
PairAlgebra.Types
piAlgebra.Classes
plus1ClosedAlgebra.Types
PlusConAlgebra.Category.Objects
PlusCon1Algebra.Category.Objects
Pointwise 
1 (Type/Class)Algebra.Morphism.Pointwise
2 (Data Constructor)Algebra.Morphism.Pointwise
positiveExponentDefaultAlgebra.Classes
PreRingAlgebra.Classes
prodFstAlgebra.Types
ProdKindAlgebra.Types
ProdObjAlgebra.Category.Objects
prodSndAlgebra.Types
Product 
1 (Type/Class)Algebra.Classes
2 (Data Constructor)Algebra.Classes
productAlgebra.Classes
prop_block_matrixAlgebra.Category.BlockMatrix
prop_linear_with_functor_lawsAlgebra.Linear
pureMatAlgebra.Linear
quotAlgebra.Classes
quotRemAlgebra.Classes
RatioAlgebra.Morphism.Ratio
RationalAlgebra.Morphism.Ratio
ratioPrecAlgebra.Morphism.Ratio
ratioPrec1Algebra.Morphism.Ratio
ratioZeroDenominatorErrorAlgebra.Morphism.Ratio
recipAlgebra.Classes
reduceAlgebra.Morphism.Ratio
reifyVecAlgebra.Linear
Rel 
1 (Type/Class)Algebra.Category.Relation
2 (Data Constructor)Algebra.Category.Relation
remAlgebra.Classes
ReprAlgebra.Types
reprConAlgebra.Category.Objects
reprCon1Algebra.Category.Objects
reprCon1CompAlgebra.Category.Objects
RingAlgebra.Classes
ROneAlgebra.Types
rootAlgebra.Classes
rootOfUnityAlgebra.Classes
RootsAlgebra.Classes
rotation2dAlgebra.Linear
rotation3dAlgebra.Linear
rotationFromToAlgebra.Linear
RPlusAlgebra.Types
RTimesAlgebra.Types
runTestsAlgebra.Linear
RZeroAlgebra.Types
ScalableAlgebra.Classes
Scalable'Algebra.Classes
ScalarAlgebra.Classes
SemiModuleAlgebra.Classes
SemiRingAlgebra.Classes
showCompClosedAlgebra.Types
sinAlgebra.Classes
sinhAlgebra.Classes
sizedArbReprAlgebra.Category.Objects
sizedArbSumAlgebra.Category.Objects
solveAlgebra.Morphism.Affine
Some1 
1 (Type/Class)Algebra.Category.Objects
2 (Data Constructor)Algebra.Category.Objects
splitVarAlgebra.Morphism.Affine
SqMatAlgebra.Linear
sqNormAlgebra.Linear
sqrtAlgebra.Classes
stdAssociateAlgebra.Classes
stdUnitAlgebra.Classes
subst 
1 (Function)Algebra.Morphism.LinComb
2 (Function)Algebra.Morphism.Affine
subtractAlgebra.Classes
Sum 
1 (Type/Class)Algebra.Classes
2 (Data Constructor)Algebra.Classes
sumAlgebra.Classes
SumKindAlgebra.Types
swap 
1 (Function)Algebra.CategoryRecords
2 (Function)Algebra.Category
swap_ 
1 (Function)Algebra.CategoryRecords
2 (Function)Algebra.Category
SymmetricAlgebra.Category
tanAlgebra.Classes
tanhAlgebra.Classes
TestableCat 
1 (Type/Class)Algebra.Category.Laws
2 (Data Constructor)Algebra.Category.Laws
testableCatAlgebra.Category.Laws
TestEqualAlgebra.Classes
testZeroAlgebra.Category.BlockMatrix
timesAlgebra.Classes
times1ClosedAlgebra.Types
TimesConAlgebra.Category.Objects
TimesCon1Algebra.Category.Objects
timesDefaultAlgebra.Classes
toIntegerAlgebra.Classes
toListAlgebra.Morphism.LinComb
TranscendentalAlgebra.Classes
transpose 
1 (Function)Algebra.Linear
2 (Function)Algebra.Category.BlockMatrix
traverseVars 
1 (Function)Algebra.Morphism.LinComb
2 (Function)Algebra.Morphism.Affine
TrivialAlgebra.Category.Objects
TTAlgebra.Category.Laws
turnAlgebra.Category
turn'Algebra.Category
typeSizeAlgebra.Types
UnConAlgebra.Category.Objects
underflowErrorAlgebra.Morphism.Ratio
UnitAlgebra.Types
unitObjAlgebra.Category.Laws
unitorL 
1 (Function)Algebra.CategoryRecords
2 (Function)Algebra.Category
unitorL_ 
1 (Function)Algebra.CategoryRecords
2 (Function)Algebra.Category
unitorR 
1 (Function)Algebra.CategoryRecords
2 (Function)Algebra.Category
unitorR_ 
1 (Function)Algebra.CategoryRecords
2 (Function)Algebra.Category
unsafeFromListAlgebra.Morphism.LinComb
VAlgebra.Linear
V0Algebra.Linear
V1' 
1 (Type/Class)Algebra.Linear
2 (Data Constructor)Algebra.Linear
V2 
1 (Type/Class)Algebra.Linear
2 (Data Constructor)Algebra.Linear
V2' 
1 (Type/Class)Algebra.Linear
2 (Data Constructor)Algebra.Linear
V3 
1 (Type/Class)Algebra.Linear
2 (Data Constructor)Algebra.Linear
V3' 
1 (Type/Class)Algebra.Linear
2 (Data Constructor)Algebra.Linear
var 
1 (Function)Algebra.Morphism.LinComb
2 (Function)Algebra.Morphism.Affine
vectorCutAlgebra.Linear
VectorRAlgebra.Linear
VectorSpaceAlgebra.Linear
vectorSplitAlgebra.Linear
VNext 
1 (Type/Class)Algebra.Linear
2 (Data Constructor)Algebra.Linear
vnextInitAlgebra.Linear
vnextLastAlgebra.Linear
VZeroAlgebra.Linear
Zero 
1 (Type/Class)Algebra.Types
2 (Data Constructor)Algebra.Category.BlockMatrix
zeroAlgebra.Classes
zero1ClosedAlgebra.Types
ZeroCon1Algebra.Category.Objects
^Algebra.Classes
^+Algebra.Classes
^/Algebra.Classes
^?Algebra.Classes
·Algebra.Linear
× 
1 (Function)Algebra.Category.Laws
2 (Function)Algebra.Linear
π1Algebra.Types
π2Algebra.Types
∘ 
1 (Function)Algebra.CategoryRecords
2 (Type/Class)Algebra.Types
3 (Function)Algebra.Category
⊕Algebra.Types, Algebra.Types
⊗ 
1 (Function)Algebra.CategoryRecords
2 (Type/Class)Algebra.Types, Algebra.Types
3 (Function)Algebra.Category
⊙Algebra.Linear
▵ 
1 (Function)Algebra.CategoryRecords
2 (Function)Algebra.Category
▿Algebra.Category