Contents
Index
laop-0.1.0.1: 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
abstraction
LAoP.Relation
antiSymmetric
LAoP.Relation
bang
1 (Function)
LAoP.Relation
2 (Function)
LAoP.Matrix.Type
3 (Function)
LAoP.Matrix.Nat
belongs
LAoP.Relation
bijection
LAoP.Relation
bindD
LAoP.Dist
bindM
LAoP.Matrix.Type
Boolean
LAoP.Relation
choose
LAoP.Dist
coerceNat
LAoP.Utils
coerceNat2
LAoP.Utils
coerceNat3
LAoP.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
connected
LAoP.Relation
constant
1 (Function)
LAoP.Matrix.Type
2 (Function)
LAoP.Matrix.Nat
conv
LAoP.Relation
coreflexive
LAoP.Relation
Count
LAoP.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
CountableNz
LAoP.Matrix.Nat
D
LAoP.Dist
difunctional
LAoP.Relation
Dist
LAoP.Dist
divisionF
LAoP.Relation
divL
LAoP.Relation
divR
LAoP.Relation
divS
LAoP.Relation
domain
LAoP.Relation
eitherR
LAoP.Relation
empty
1 (Function)
LAoP.Relation
2 (Function)
LAoP.Matrix.Type
3 (Function)
LAoP.Matrix.Nat
entire
LAoP.Relation
equalizer
LAoP.Relation
equivalence
LAoP.Relation
fmapD
LAoP.Dist
fmapM
LAoP.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
FromLists
LAoP.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
FromListsNz
LAoP.Matrix.Nat
FromNat
LAoP.Relation
,
LAoP.Matrix.Type
,
LAoP.Matrix.Nat
function
LAoP.Relation
guard
LAoP.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
iff
LAoP.Relation
img
LAoP.Relation
implies
LAoP.Relation
injection
LAoP.Relation
injective
LAoP.Relation
intersection
LAoP.Relation
irreflexive
LAoP.Relation
junc
1 (Function)
LAoP.Relation
2 (Function)
LAoP.Matrix.Type
3 (Function)
LAoP.Matrix.Nat
ker
LAoP.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
linear
LAoP.Dist
linearOrder
LAoP.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
multD
LAoP.Dist
multM
LAoP.Matrix.Type
nat
LAoP.Utils
Natural
LAoP.Utils
negExp
LAoP.Dist
normal
LAoP.Dist
Normalize
LAoP.Relation
,
LAoP.Matrix.Type
,
LAoP.Matrix.Nat
One
LAoP.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
overriddenBy
LAoP.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
partialEquivalence
LAoP.Relation
partialOrder
LAoP.Relation
point
LAoP.Relation
pointAp
LAoP.Relation
pointApBool
LAoP.Relation
Powerset
LAoP.Utils
predR
LAoP.Relation
preorder
LAoP.Relation
pretty
1 (Function)
LAoP.Relation
2 (Function)
LAoP.Matrix.Type
3 (Function)
LAoP.Matrix.Nat
prettyDist
LAoP.Dist
prettyPrint
1 (Function)
LAoP.Relation
2 (Function)
LAoP.Matrix.Type
3 (Function)
LAoP.Matrix.Nat
prettyPrintDist
LAoP.Dist
Prob
LAoP.Dist
PS
LAoP.Utils
pt
LAoP.Relation
R
LAoP.Relation
range
LAoP.Relation
reflexive
LAoP.Relation
Relation
LAoP.Relation
relationBuilder
LAoP.Relation
representation
LAoP.Relation
returnD
LAoP.Dist
returnM
LAoP.Matrix.Type
row
1 (Function)
LAoP.Matrix.Type
2 (Function)
LAoP.Matrix.Nat
rows
1 (Function)
LAoP.Matrix.Type
2 (Function)
LAoP.Matrix.Nat
select
LAoP.Matrix.Nat
selectD
LAoP.Dist
selectM
LAoP.Matrix.Type
shape
LAoP.Dist
shrunkBy
LAoP.Relation
simple
LAoP.Relation
split
1 (Function)
LAoP.Relation
2 (Function)
LAoP.Matrix.Type
3 (Function)
LAoP.Matrix.Nat
splitR
LAoP.Relation
sse
LAoP.Relation
surjection
LAoP.Relation
surjective
LAoP.Relation
symmetric
LAoP.Relation
toBool
LAoP.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
toValues
LAoP.Dist
tr
1 (Function)
LAoP.Matrix.Type
2 (Function)
LAoP.Matrix.Nat
trans
LAoP.Relation
transitive
LAoP.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
TrivialP2
LAoP.Relation
uniform
LAoP.Dist
union
LAoP.Relation
unitD
LAoP.Dist
unitM
LAoP.Matrix.Type
untrans
LAoP.Relation
Zero
LAoP.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