-|- | |
1 (Function) | LAoP.Matrix.Internal |
2 (Function) | LAoP.Relation.Internal, LAoP.Relation |
3 (Function) | LAoP.Matrix.Type |
4 (Function) | LAoP.Matrix.Nat |
=== | |
1 (Function) | LAoP.Matrix.Internal |
2 (Function) | LAoP.Relation.Internal, LAoP.Relation |
3 (Function) | LAoP.Matrix.Type |
4 (Function) | LAoP.Matrix.Nat |
>< | |
1 (Function) | LAoP.Matrix.Internal |
2 (Function) | LAoP.Relation.Internal, LAoP.Relation |
3 (Function) | LAoP.Matrix.Type |
4 (Function) | LAoP.Matrix.Nat |
?? | LAoP.Dist.Internal |
abideJS | |
1 (Function) | LAoP.Matrix.Internal |
2 (Function) | LAoP.Matrix.Type |
3 (Function) | LAoP.Matrix.Nat |
abideSJ | |
1 (Function) | LAoP.Matrix.Internal |
2 (Function) | LAoP.Matrix.Type |
3 (Function) | LAoP.Matrix.Nat |
abstraction | LAoP.Relation.Internal, LAoP.Relation |
andM | LAoP.Matrix.Internal |
antiSymmetric | LAoP.Relation.Internal, LAoP.Relation |
bang | |
1 (Function) | LAoP.Matrix.Internal |
2 (Function) | LAoP.Relation.Internal, LAoP.Relation |
3 (Function) | LAoP.Matrix.Type |
4 (Function) | LAoP.Matrix.Nat |
belongs | LAoP.Relation.Internal, LAoP.Relation |
bijection | LAoP.Relation.Internal, LAoP.Relation |
bindD | LAoP.Dist.Internal, LAoP.Dist |
bindM | LAoP.Matrix.Type |
Boolean | LAoP.Relation.Internal, LAoP.Relation |
choose | LAoP.Dist.Internal, LAoP.Dist |
coerceNat | LAoP.Utils.Internal, LAoP.Utils |
coerceNat2 | LAoP.Utils.Internal, LAoP.Utils |
coerceNat3 | LAoP.Utils.Internal, LAoP.Utils |
col | |
1 (Function) | LAoP.Matrix.Internal |
2 (Function) | LAoP.Matrix.Type |
3 (Function) | LAoP.Matrix.Nat |
columns | |
1 (Function) | LAoP.Matrix.Internal |
2 (Function) | LAoP.Matrix.Type |
3 (Function) | LAoP.Matrix.Nat |
comp | |
1 (Function) | LAoP.Matrix.Internal |
2 (Function) | LAoP.Relation.Internal, LAoP.Relation |
3 (Function) | LAoP.Matrix.Type |
4 (Function) | LAoP.Matrix.Nat |
compRel | LAoP.Matrix.Internal |
cond | |
1 (Function) | LAoP.Matrix.Internal |
2 (Function) | LAoP.Relation.Internal, LAoP.Relation |
3 (Function) | LAoP.Matrix.Type |
4 (Function) | LAoP.Matrix.Nat |
connected | LAoP.Relation.Internal, LAoP.Relation |
constant | |
1 (Function) | LAoP.Matrix.Internal |
2 (Function) | LAoP.Matrix.Type |
3 (Function) | LAoP.Matrix.Nat |
conv | LAoP.Relation.Internal, LAoP.Relation |
coreflexive | LAoP.Relation.Internal, LAoP.Relation |
Count | LAoP.Matrix.Internal, LAoP.Relation.Internal, LAoP.Relation, LAoP.Matrix.Type, LAoP.Matrix.Nat |
Countable | |
1 (Type/Class) | LAoP.Relation.Internal, LAoP.Relation |
2 (Type/Class) | LAoP.Matrix.Type |
3 (Type/Class) | LAoP.Matrix.Nat |
4 (Type/Class) | LAoP.Dist.Internal, LAoP.Dist |
CountableDimensions | |
1 (Type/Class) | LAoP.Relation.Internal, LAoP.Relation |
2 (Type/Class) | LAoP.Matrix.Type |
3 (Type/Class) | LAoP.Matrix.Nat |
CountableDimensionsN | |
1 (Type/Class) | LAoP.Relation.Internal, LAoP.Relation |
2 (Type/Class) | LAoP.Matrix.Type |
3 (Type/Class) | LAoP.Matrix.Nat |
4 (Type/Class) | LAoP.Dist.Internal, LAoP.Dist |
CountableN | |
1 (Type/Class) | LAoP.Relation.Internal, LAoP.Relation |
2 (Type/Class) | LAoP.Matrix.Type |
3 (Type/Class) | LAoP.Matrix.Nat |
4 (Type/Class) | LAoP.Dist.Internal, LAoP.Dist |
CountableNz | LAoP.Matrix.Nat |
D | LAoP.Dist.Internal, LAoP.Dist |
difunctional | LAoP.Relation.Internal, LAoP.Relation |
Dist | LAoP.Dist.Internal, LAoP.Dist |
divisionF | LAoP.Relation.Internal, LAoP.Relation |
divL | |
1 (Function) | LAoP.Matrix.Internal |
2 (Function) | LAoP.Relation.Internal, LAoP.Relation |
divR | |
1 (Function) | LAoP.Matrix.Internal |
2 (Function) | LAoP.Relation.Internal, LAoP.Relation |
divS | |
1 (Function) | LAoP.Matrix.Internal |
2 (Function) | LAoP.Relation.Internal, LAoP.Relation |
domain | LAoP.Relation.Internal, LAoP.Relation |
eitherR | LAoP.Relation.Internal, LAoP.Relation |
Empty | LAoP.Matrix.Internal |
empty | |
1 (Function) | LAoP.Matrix.Internal |
2 (Function) | LAoP.Relation.Internal, LAoP.Relation |
3 (Function) | LAoP.Matrix.Type |
4 (Function) | LAoP.Matrix.Nat |
entire | LAoP.Relation.Internal, LAoP.Relation |
equalizer | LAoP.Relation.Internal, LAoP.Relation |
equivalence | LAoP.Relation.Internal, LAoP.Relation |
fmapD | LAoP.Dist.Internal, LAoP.Dist |
fmapM | LAoP.Matrix.Type |
fromBool | LAoP.Matrix.Internal |
fromF | |
1 (Function) | LAoP.Matrix.Internal |
2 (Function) | LAoP.Relation.Internal, LAoP.Relation |
3 (Function) | LAoP.Matrix.Type |
4 (Function) | LAoP.Matrix.Nat |
fromF' | |
1 (Function) | LAoP.Matrix.Internal |
2 (Function) | LAoP.Relation.Internal, LAoP.Relation |
3 (Function) | LAoP.Matrix.Type |
4 (Function) | LAoP.Matrix.Nat |
fromFRel | LAoP.Matrix.Internal |
fromFRel' | LAoP.Matrix.Internal |
FromLists | LAoP.Matrix.Internal, LAoP.Relation.Internal, LAoP.Relation, LAoP.Matrix.Type, LAoP.Matrix.Nat |
fromLists | |
1 (Function) | LAoP.Matrix.Internal |
2 (Function) | LAoP.Relation.Internal, LAoP.Relation |
3 (Function) | LAoP.Matrix.Type |
4 (Function) | LAoP.Matrix.Nat |
FromListsN | |
1 (Type/Class) | LAoP.Relation.Internal, LAoP.Relation |
2 (Type/Class) | LAoP.Matrix.Type |
3 (Type/Class) | LAoP.Matrix.Nat |
4 (Type/Class) | LAoP.Dist.Internal, LAoP.Dist |
FromListsNz | LAoP.Matrix.Nat |
FromNat | LAoP.Matrix.Internal, LAoP.Relation.Internal, LAoP.Relation, LAoP.Matrix.Type, LAoP.Matrix.Nat |
function | LAoP.Relation.Internal, LAoP.Relation |
guard | LAoP.Relation.Internal, LAoP.Relation |
i1 | |
1 (Function) | LAoP.Matrix.Internal |
2 (Function) | LAoP.Relation.Internal, LAoP.Relation |
3 (Function) | LAoP.Matrix.Type |
4 (Function) | LAoP.Matrix.Nat |
i2 | |
1 (Function) | LAoP.Matrix.Internal |
2 (Function) | LAoP.Relation.Internal, LAoP.Relation |
3 (Function) | LAoP.Matrix.Type |
4 (Function) | LAoP.Matrix.Nat |
identity | |
1 (Function) | LAoP.Matrix.Internal |
2 (Function) | LAoP.Relation.Internal, LAoP.Relation |
3 (Function) | LAoP.Matrix.Type |
4 (Function) | LAoP.Matrix.Nat |
iff | LAoP.Relation.Internal, LAoP.Relation |
img | LAoP.Relation.Internal, LAoP.Relation |
implies | LAoP.Relation.Internal, LAoP.Relation |
injection | LAoP.Relation.Internal, LAoP.Relation |
injective | LAoP.Relation.Internal, LAoP.Relation |
intersection | LAoP.Relation.Internal, LAoP.Relation |
irreflexive | LAoP.Relation.Internal, LAoP.Relation |
Junc | LAoP.Matrix.Internal |
junc | |
1 (Function) | LAoP.Matrix.Internal |
2 (Function) | LAoP.Relation.Internal, LAoP.Relation |
3 (Function) | LAoP.Matrix.Type |
4 (Function) | LAoP.Matrix.Nat |
ker | LAoP.Relation.Internal, LAoP.Relation |
khatri | |
1 (Function) | LAoP.Matrix.Internal |
2 (Function) | LAoP.Matrix.Type |
3 (Function) | LAoP.Matrix.Nat |
kp1 | |
1 (Function) | LAoP.Matrix.Internal |
2 (Function) | LAoP.Matrix.Type |
3 (Function) | LAoP.Matrix.Nat |
kp2 | |
1 (Function) | LAoP.Matrix.Internal |
2 (Function) | LAoP.Matrix.Type |
3 (Function) | LAoP.Matrix.Nat |
L | LAoP.Utils.Internal, LAoP.Utils |
Liftable | |
1 (Type/Class) | LAoP.Relation.Internal, LAoP.Relation |
2 (Type/Class) | LAoP.Matrix.Type |
3 (Type/Class) | LAoP.Matrix.Nat |
4 (Type/Class) | LAoP.Dist.Internal, LAoP.Dist |
linear | LAoP.Dist.Internal, LAoP.Dist |
linearOrder | LAoP.Relation.Internal, LAoP.Relation |
List | LAoP.Utils.Internal, LAoP.Utils |
M | |
1 (Data Constructor) | LAoP.Matrix.Type |
2 (Data Constructor) | LAoP.Matrix.Nat |
Matrix | |
1 (Type/Class) | LAoP.Matrix.Internal |
2 (Type/Class) | LAoP.Matrix.Type |
3 (Type/Class) | LAoP.Matrix.Nat |
matrixBuilder | |
1 (Function) | LAoP.Matrix.Internal |
2 (Function) | LAoP.Matrix.Type |
3 (Function) | LAoP.Matrix.Nat |
multD | LAoP.Dist.Internal, LAoP.Dist |
multM | LAoP.Matrix.Type |
Nat | LAoP.Utils.Internal |
nat | LAoP.Utils.Internal, LAoP.Utils |
Natural | LAoP.Utils.Internal, LAoP.Utils |
negateM | LAoP.Matrix.Internal |
negExp | LAoP.Dist.Internal, LAoP.Dist |
normal | LAoP.Dist.Internal, LAoP.Dist |
Normalize | LAoP.Matrix.Internal, LAoP.Relation.Internal, LAoP.Relation, LAoP.Matrix.Type, LAoP.Matrix.Nat |
One | |
1 (Data Constructor) | LAoP.Matrix.Internal |
2 (Type/Class) | LAoP.Matrix.Type |
one | |
1 (Function) | LAoP.Matrix.Internal |
2 (Function) | LAoP.Relation.Internal, LAoP.Relation |
3 (Function) | LAoP.Matrix.Type |
4 (Function) | LAoP.Matrix.Nat |
ones | |
1 (Function) | LAoP.Matrix.Internal |
2 (Function) | LAoP.Relation.Internal, LAoP.Relation |
3 (Function) | LAoP.Matrix.Type |
4 (Function) | LAoP.Matrix.Nat |
orM | LAoP.Matrix.Internal |
overriddenBy | LAoP.Relation.Internal, LAoP.Relation |
p1 | |
1 (Function) | LAoP.Matrix.Internal |
2 (Function) | LAoP.Relation.Internal, LAoP.Relation |
3 (Function) | LAoP.Matrix.Type |
4 (Function) | LAoP.Matrix.Nat |
p2 | |
1 (Function) | LAoP.Matrix.Internal |
2 (Function) | LAoP.Relation.Internal, LAoP.Relation |
3 (Function) | LAoP.Matrix.Type |
4 (Function) | LAoP.Matrix.Nat |
partialEquivalence | LAoP.Relation.Internal, LAoP.Relation |
partialOrder | LAoP.Relation.Internal, LAoP.Relation |
point | LAoP.Relation.Internal, LAoP.Relation |
pointAp | LAoP.Relation.Internal, LAoP.Relation |
pointApBool | LAoP.Relation.Internal, LAoP.Relation |
predR | LAoP.Relation.Internal, LAoP.Relation |
preorder | LAoP.Relation.Internal, LAoP.Relation |
pretty | |
1 (Function) | LAoP.Matrix.Internal |
2 (Function) | LAoP.Relation.Internal, LAoP.Relation |
3 (Function) | LAoP.Matrix.Type |
4 (Function) | LAoP.Matrix.Nat |
prettyDist | LAoP.Dist.Internal, LAoP.Dist |
prettyPrint | |
1 (Function) | LAoP.Matrix.Internal |
2 (Function) | LAoP.Relation.Internal, LAoP.Relation |
3 (Function) | LAoP.Matrix.Type |
4 (Function) | LAoP.Matrix.Nat |
prettyPrintDist | LAoP.Dist.Internal, LAoP.Dist |
Prob | LAoP.Dist.Internal, LAoP.Dist |
pt | LAoP.Relation.Internal, LAoP.Relation |
R | LAoP.Relation.Internal, LAoP.Relation |
range | LAoP.Relation.Internal, LAoP.Relation |
reflexive | LAoP.Relation.Internal, LAoP.Relation |
Relation | LAoP.Relation.Internal, LAoP.Relation |
relationBuilder | LAoP.Relation.Internal, LAoP.Relation |
representation | LAoP.Relation.Internal, LAoP.Relation |
returnD | LAoP.Dist.Internal, LAoP.Dist |
returnM | LAoP.Matrix.Type |
row | |
1 (Function) | LAoP.Matrix.Internal |
2 (Function) | LAoP.Matrix.Type |
3 (Function) | LAoP.Matrix.Nat |
rows | |
1 (Function) | LAoP.Matrix.Internal |
2 (Function) | LAoP.Matrix.Type |
3 (Function) | LAoP.Matrix.Nat |
select | |
1 (Function) | LAoP.Matrix.Internal |
2 (Function) | LAoP.Matrix.Nat |
selectD | LAoP.Dist.Internal, LAoP.Dist |
selectM | LAoP.Matrix.Type |
shape | LAoP.Dist.Internal, LAoP.Dist |
shrunkBy | LAoP.Relation.Internal, LAoP.Relation |
simple | LAoP.Relation.Internal, LAoP.Relation |
Split | LAoP.Matrix.Internal |
split | |
1 (Function) | LAoP.Matrix.Internal |
2 (Function) | LAoP.Relation.Internal, LAoP.Relation |
3 (Function) | LAoP.Matrix.Type |
4 (Function) | LAoP.Matrix.Nat |
splitR | LAoP.Relation.Internal, LAoP.Relation |
sse | LAoP.Relation.Internal, LAoP.Relation |
subM | LAoP.Matrix.Internal |
surjection | LAoP.Relation.Internal, LAoP.Relation |
surjective | LAoP.Relation.Internal, LAoP.Relation |
symmetric | LAoP.Relation.Internal, LAoP.Relation |
toBool | |
1 (Function) | LAoP.Matrix.Internal |
2 (Function) | LAoP.Relation.Internal, LAoP.Relation |
toList | |
1 (Function) | LAoP.Matrix.Internal |
2 (Function) | LAoP.Relation.Internal, LAoP.Relation |
3 (Function) | LAoP.Matrix.Type |
4 (Function) | LAoP.Matrix.Nat |
toLists | |
1 (Function) | LAoP.Matrix.Internal |
2 (Function) | LAoP.Relation.Internal, LAoP.Relation |
3 (Function) | LAoP.Matrix.Type |
4 (Function) | LAoP.Matrix.Nat |
toRel | |
1 (Function) | LAoP.Matrix.Internal |
2 (Function) | LAoP.Relation.Internal, LAoP.Relation |
3 (Function) | LAoP.Matrix.Type |
toValues | LAoP.Dist.Internal, LAoP.Dist |
tr | |
1 (Function) | LAoP.Matrix.Internal |
2 (Function) | LAoP.Matrix.Type |
3 (Function) | LAoP.Matrix.Nat |
trans | LAoP.Relation.Internal, LAoP.Relation |
transitive | LAoP.Relation.Internal, LAoP.Relation |
Trivial | |
1 (Type/Class) | LAoP.Relation.Internal, LAoP.Relation |
2 (Type/Class) | LAoP.Matrix.Type |
TrivialE | |
1 (Type/Class) | LAoP.Relation.Internal, LAoP.Relation |
2 (Type/Class) | LAoP.Matrix.Type |
3 (Type/Class) | LAoP.Matrix.Nat |
4 (Type/Class) | LAoP.Dist.Internal, LAoP.Dist |
TrivialP | |
1 (Type/Class) | LAoP.Relation.Internal, LAoP.Relation |
2 (Type/Class) | LAoP.Matrix.Type |
3 (Type/Class) | LAoP.Matrix.Nat |
4 (Type/Class) | LAoP.Dist.Internal, LAoP.Dist |
TrivialP2 | LAoP.Relation.Internal, LAoP.Relation |
uniform | LAoP.Dist.Internal, LAoP.Dist |
union | LAoP.Relation.Internal, LAoP.Relation |
unitD | LAoP.Dist.Internal, LAoP.Dist |
unitM | LAoP.Matrix.Type |
untrans | LAoP.Relation.Internal, LAoP.Relation |
Zero | LAoP.Matrix.Type |
zeros | |
1 (Function) | LAoP.Matrix.Internal |
2 (Function) | LAoP.Relation.Internal, LAoP.Relation |
3 (Function) | LAoP.Matrix.Type |
4 (Function) | LAoP.Matrix.Nat |
||| | |
1 (Function) | LAoP.Matrix.Internal |
2 (Function) | LAoP.Relation.Internal, LAoP.Relation |
3 (Function) | LAoP.Matrix.Type |
4 (Function) | LAoP.Matrix.Nat |