laop-0.1.0.0: An inductive matrix definition library à la LAoP

Index

-|- 
1 (Function)LAoP.Relation
2 (Function)LAoP.Matrix.Type
3 (Function)LAoP.Matrix.Nat
=== 
1 (Function)LAoP.Relation
2 (Function)LAoP.Matrix.Type
3 (Function)LAoP.Matrix.Nat
>< 
1 (Function)LAoP.Relation
2 (Function)LAoP.Matrix.Type
3 (Function)LAoP.Matrix.Nat
abideJS 
1 (Function)LAoP.Matrix.Type
2 (Function)LAoP.Matrix.Nat
abideSJ 
1 (Function)LAoP.Matrix.Type
2 (Function)LAoP.Matrix.Nat
abstractionLAoP.Relation
antiSymmetricLAoP.Relation
bang 
1 (Function)LAoP.Relation
2 (Function)LAoP.Matrix.Type
3 (Function)LAoP.Matrix.Nat
belongsLAoP.Relation
bijectionLAoP.Relation
bindDLAoP.Dist
bindMLAoP.Matrix.Type
BooleanLAoP.Relation
chooseLAoP.Dist
coerceNatLAoP.Utils
coerceNat2LAoP.Utils
coerceNat3LAoP.Utils
col 
1 (Function)LAoP.Matrix.Type
2 (Function)LAoP.Matrix.Nat
columns 
1 (Function)LAoP.Matrix.Type
2 (Function)LAoP.Matrix.Nat
comp 
1 (Function)LAoP.Relation
2 (Function)LAoP.Matrix.Type
3 (Function)LAoP.Matrix.Nat
cond 
1 (Function)LAoP.Relation
2 (Function)LAoP.Matrix.Type
3 (Function)LAoP.Matrix.Nat
connectedLAoP.Relation
constant 
1 (Function)LAoP.Matrix.Type
2 (Function)LAoP.Matrix.Nat
convLAoP.Relation
coreflexiveLAoP.Relation
CountLAoP.Relation, LAoP.Matrix.Type, LAoP.Matrix.Nat
Countable 
1 (Type/Class)LAoP.Relation
2 (Type/Class)LAoP.Matrix.Type
3 (Type/Class)LAoP.Matrix.Nat
4 (Type/Class)LAoP.Dist
CountableDimensions 
1 (Type/Class)LAoP.Relation
2 (Type/Class)LAoP.Matrix.Type
3 (Type/Class)LAoP.Matrix.Nat
CountableDimensionsN 
1 (Type/Class)LAoP.Relation
2 (Type/Class)LAoP.Matrix.Type
3 (Type/Class)LAoP.Matrix.Nat
4 (Type/Class)LAoP.Dist
CountableN 
1 (Type/Class)LAoP.Relation
2 (Type/Class)LAoP.Matrix.Type
3 (Type/Class)LAoP.Matrix.Nat
4 (Type/Class)LAoP.Dist
CountableNzLAoP.Matrix.Nat
DLAoP.Dist
difunctionalLAoP.Relation
DistLAoP.Dist
divisionFLAoP.Relation
divLLAoP.Relation
divRLAoP.Relation
divSLAoP.Relation
domainLAoP.Relation
eitherRLAoP.Relation
empty 
1 (Function)LAoP.Relation
2 (Function)LAoP.Matrix.Type
3 (Function)LAoP.Matrix.Nat
entireLAoP.Relation
equalizerLAoP.Relation
equivalenceLAoP.Relation
fmapDLAoP.Dist
fmapMLAoP.Matrix.Type
fromF 
1 (Function)LAoP.Relation
2 (Function)LAoP.Matrix.Type
3 (Function)LAoP.Matrix.Nat
fromF' 
1 (Function)LAoP.Relation
2 (Function)LAoP.Matrix.Type
3 (Function)LAoP.Matrix.Nat
FromListsLAoP.Relation, LAoP.Matrix.Type, LAoP.Matrix.Nat
fromLists 
1 (Function)LAoP.Relation
2 (Function)LAoP.Matrix.Type
3 (Function)LAoP.Matrix.Nat
FromListsN 
1 (Type/Class)LAoP.Relation
2 (Type/Class)LAoP.Matrix.Type
3 (Type/Class)LAoP.Matrix.Nat
4 (Type/Class)LAoP.Dist
FromListsNzLAoP.Matrix.Nat
FromNatLAoP.Relation, LAoP.Matrix.Type, LAoP.Matrix.Nat
functionLAoP.Relation
guardLAoP.Relation
i1 
1 (Function)LAoP.Relation
2 (Function)LAoP.Matrix.Type
3 (Function)LAoP.Matrix.Nat
i2 
1 (Function)LAoP.Relation
2 (Function)LAoP.Matrix.Type
3 (Function)LAoP.Matrix.Nat
identity 
1 (Function)LAoP.Relation
2 (Function)LAoP.Matrix.Type
3 (Function)LAoP.Matrix.Nat
iffLAoP.Relation
imgLAoP.Relation
impliesLAoP.Relation
injectionLAoP.Relation
injectiveLAoP.Relation
intersectionLAoP.Relation
irreflexiveLAoP.Relation
junc 
1 (Function)LAoP.Relation
2 (Function)LAoP.Matrix.Type
3 (Function)LAoP.Matrix.Nat
kerLAoP.Relation
khatri 
1 (Function)LAoP.Matrix.Type
2 (Function)LAoP.Matrix.Nat
kp1 
1 (Function)LAoP.Matrix.Type
2 (Function)LAoP.Matrix.Nat
kp2 
1 (Function)LAoP.Matrix.Type
2 (Function)LAoP.Matrix.Nat
Liftable 
1 (Type/Class)LAoP.Relation
2 (Type/Class)LAoP.Matrix.Type
3 (Type/Class)LAoP.Matrix.Nat
4 (Type/Class)LAoP.Dist
linearLAoP.Dist
linearOrderLAoP.Relation
M 
1 (Data Constructor)LAoP.Matrix.Type
2 (Data Constructor)LAoP.Matrix.Nat
Matrix 
1 (Type/Class)LAoP.Matrix.Type
2 (Type/Class)LAoP.Matrix.Nat
matrixBuilder 
1 (Function)LAoP.Matrix.Type
2 (Function)LAoP.Matrix.Nat
multDLAoP.Dist
multMLAoP.Matrix.Type
natLAoP.Utils
NaturalLAoP.Utils
negExpLAoP.Dist
normalLAoP.Dist
NormalizeLAoP.Relation, LAoP.Matrix.Type, LAoP.Matrix.Nat
OneLAoP.Matrix.Type
one 
1 (Function)LAoP.Relation
2 (Function)LAoP.Matrix.Type
3 (Function)LAoP.Matrix.Nat
ones 
1 (Function)LAoP.Relation
2 (Function)LAoP.Matrix.Type
3 (Function)LAoP.Matrix.Nat
overriddenByLAoP.Relation
p1 
1 (Function)LAoP.Relation
2 (Function)LAoP.Matrix.Type
3 (Function)LAoP.Matrix.Nat
p2 
1 (Function)LAoP.Relation
2 (Function)LAoP.Matrix.Type
3 (Function)LAoP.Matrix.Nat
partialEquivalenceLAoP.Relation
partialOrderLAoP.Relation
pointLAoP.Relation
pointApLAoP.Relation
pointApBoolLAoP.Relation
PowersetLAoP.Utils
predRLAoP.Relation
preorderLAoP.Relation
pretty 
1 (Function)LAoP.Relation
2 (Function)LAoP.Matrix.Type
3 (Function)LAoP.Matrix.Nat
prettyDistLAoP.Dist
prettyPrint 
1 (Function)LAoP.Relation
2 (Function)LAoP.Matrix.Type
3 (Function)LAoP.Matrix.Nat
prettyPrintDistLAoP.Dist
ProbLAoP.Dist
PSLAoP.Utils
ptLAoP.Relation
RLAoP.Relation
rangeLAoP.Relation
reflexiveLAoP.Relation
RelationLAoP.Relation
relationBuilderLAoP.Relation
representationLAoP.Relation
returnDLAoP.Dist
returnMLAoP.Matrix.Type
row 
1 (Function)LAoP.Matrix.Type
2 (Function)LAoP.Matrix.Nat
rows 
1 (Function)LAoP.Matrix.Type
2 (Function)LAoP.Matrix.Nat
selectLAoP.Matrix.Nat
selectDLAoP.Dist
selectMLAoP.Matrix.Type
shapeLAoP.Dist
shrunkByLAoP.Relation
simpleLAoP.Relation
split 
1 (Function)LAoP.Relation
2 (Function)LAoP.Matrix.Type
3 (Function)LAoP.Matrix.Nat
splitRLAoP.Relation
sseLAoP.Relation
surjectionLAoP.Relation
surjectiveLAoP.Relation
symmetricLAoP.Relation
toBoolLAoP.Relation
toList 
1 (Function)LAoP.Relation
2 (Function)LAoP.Matrix.Type
3 (Function)LAoP.Matrix.Nat
toLists 
1 (Function)LAoP.Relation
2 (Function)LAoP.Matrix.Type
3 (Function)LAoP.Matrix.Nat
toRel 
1 (Function)LAoP.Relation
2 (Function)LAoP.Matrix.Type
toValuesLAoP.Dist
tr 
1 (Function)LAoP.Matrix.Type
2 (Function)LAoP.Matrix.Nat
transLAoP.Relation
transitiveLAoP.Relation
Trivial 
1 (Type/Class)LAoP.Relation
2 (Type/Class)LAoP.Matrix.Type
TrivialE 
1 (Type/Class)LAoP.Relation
2 (Type/Class)LAoP.Matrix.Type
3 (Type/Class)LAoP.Matrix.Nat
4 (Type/Class)LAoP.Dist
TrivialP 
1 (Type/Class)LAoP.Relation
2 (Type/Class)LAoP.Matrix.Type
3 (Type/Class)LAoP.Matrix.Nat
4 (Type/Class)LAoP.Dist
TrivialP2LAoP.Relation
uniformLAoP.Dist
unionLAoP.Relation
unitDLAoP.Dist
unitMLAoP.Matrix.Type
untransLAoP.Relation
ZeroLAoP.Matrix.Type
zeros 
1 (Function)LAoP.Relation
2 (Function)LAoP.Matrix.Type
3 (Function)LAoP.Matrix.Nat
||| 
1 (Function)LAoP.Relation
2 (Function)LAoP.Matrix.Type
3 (Function)LAoP.Matrix.Nat