connections-0.0.3: Partial orders, Galois connections, and lattices.

Index

!~Data.Prd, Numeric.Prelude
$Numeric.Prelude
$!Numeric.Prelude
$>Numeric.Prelude
&Numeric.Prelude
&&Numeric.Prelude
&&&Data.Connection
*Numeric.Prelude
*>Numeric.Prelude
+Numeric.Prelude
- 
1 (Function)Numeric.Prelude
2 (Type/Class)Data.Semigroup.Meet, Data.Semilattice
.Numeric.Prelude
/Numeric.Prelude
/=Numeric.Prelude
/~Data.Prd, Numeric.Prelude
:%Numeric.Prelude
<Data.Prd, Numeric.Prelude
<$Numeric.Prelude
<$>Numeric.Prelude
<*Numeric.Prelude
<**>Numeric.Prelude
<*>Numeric.Prelude
<<Numeric.Prelude
<=Data.Prd, Numeric.Prelude
<>Numeric.Prelude
<|>Numeric.Prelude
=<<Numeric.Prelude
==Numeric.Prelude
=~Data.Prd, Numeric.Prelude
>Data.Prd, Numeric.Prelude
>=Data.Prd, Numeric.Prelude
>>Numeric.Prelude
>>=Numeric.Prelude
?~Data.Prd, Numeric.Prelude
aboveData.Connection.Round
absNumeric.Prelude
absorbativeData.Semilattice.Property
absorbative'Data.Semilattice.Property
acosData.Float, Numeric.Prelude
acoshData.Float, Numeric.Prelude
addWithData.Connection.Round
AlternativeNumeric.Prelude
ananNumeric.Prelude
annihilative_joinData.Semilattice.Property
annihilative_meetData.Semilattice.Property
antisymmetricData.Prd.Property
ApplicativeNumeric.Prelude
asinData.Float, Numeric.Prelude
asinhData.Float, Numeric.Prelude
associative_glbData.Semilattice.Property
associative_joinData.Semilattice.Property
associative_join_onData.Semilattice.Property
associative_meetData.Semilattice.Property
associative_meet_onData.Semilattice.Property
asumNumeric.Prelude
asymmetricData.Prd.Property
atanData.Float, Numeric.Prelude
atan2Data.Float, Numeric.Prelude
atanhData.Float, Numeric.Prelude
belowData.Connection.Round
BifunctorNumeric.Prelude
bimapNumeric.Prelude
binordData.Connection
BoolNumeric.Prelude
boolNumeric.Prelude
BottomData.Semilattice.Top
bottomData.Semigroup.Join, Data.Semilattice
BoundData.Prd
boundData.Connection
BoundedData.Semilattice.Top
boundedData.Semilattice.Top
bounded'Data.Semilattice.Top
BoundedJoinSemilatticeData.Semilattice
BoundedLatticeData.Semilattice
BoundedLatticeLawData.Semilattice
BoundedMeetSemilatticeData.Semilattice
cancelData.Connection.Ratio
cbrtData.Float, Numeric.Prelude
ceilData.Float, Numeric.Prelude
ceil16Data.Connection.Round, Numeric.Prelude
ceil32Data.Connection.Round, Numeric.Prelude
chain_22Data.Prd.Property
chain_31Data.Prd.Property
CharNumeric.Prelude
choiceData.Connection
choice'Data.Connection
closedData.Connection.Property
closed'Data.Connection.Property
codistributiveData.Semilattice.Property
commutative_glbData.Semilattice.Property
commutative_glb'Data.Semilattice.Property
commutative_joinData.Semilattice.Property
commutative_join_onData.Semilattice.Property
commutative_meetData.Semilattice.Property
commutative_meet_onData.Semilattice.Property
compareData.Prd, Numeric.Prelude
comparingNumeric.Prelude
Conn 
1 (Type/Class)Data.Connection
2 (Data Constructor)Data.Connection
connectionData.Connection.Property
connexData.Prd.Property
ConnIntegerData.Connection.Int, Numeric.Prelude
connlData.Connection
connrData.Connection
consistentData.Prd.Property
constNumeric.Prelude
copysignData.Float
cosData.Float, Numeric.Prelude
coshData.Float, Numeric.Prelude
counitData.Connection
counitlData.Connection
counitrData.Connection
crossData.Semilattice
cross1Data.Semilattice
curryNumeric.Prelude
c_acosData.Float
c_acoshData.Float
c_asinData.Float
c_asinhData.Float
c_atanData.Float
c_atan2Data.Float
c_atanhData.Float
c_cbrtData.Float
c_ceilData.Float
c_copysignData.Float
c_cosData.Float
c_coshData.Float
c_erfData.Float
c_erfcData.Float
c_expData.Float
c_fabsData.Float
c_finiteData.Float
c_floorData.Float
c_fmodData.Float
c_frexpData.Float
c_gammaData.Float
c_hypotData.Float
c_ilogbData.Float
c_isinfData.Float
c_isnanData.Float
c_j0Data.Float
c_j1Data.Float
c_ldexpData.Float
c_lgammaData.Float
c_logData.Float
c_log10Data.Float
c_logbData.Float
c_modfData.Float
c_nextafterData.Float
c_powData.Float
c_remainderData.Float
c_rintData.Float
c_roundData.Float
c_scalbData.Float
c_significandData.Float
c_sinData.Float
c_sinhData.Float
c_sqrtData.Float
c_tanData.Float
c_tanhData.Float
c_truncData.Float
c_y0Data.Float
c_y1Data.Float
c_ynData.Float
DefData.Prd.Nan
defnanData.Prd.Nan
defnan'Data.Prd.Nan
distributiveData.Semilattice.Property
distributive_joinData.Semilattice.Property
distributive_meetData.Semilattice.Property
divWithData.Connection.Round
divWith'Data.Connection.Round
DoubleData.Float, Numeric.Prelude
doubleInt64Data.Float
doubleWord64Data.Float
Down 
1 (Data Constructor)Data.Prd
2 (Type/Class)Data.Prd
dualData.Connection
EitherNumeric.Prelude
eitherNumeric.Prelude
emptyNumeric.Prelude
epsilonData.Float
epsilonfData.Float
EQNumeric.Prelude
EqNumeric.Prelude
eqData.Float
eqfData.Float
erfData.Float
erfcData.Float
evalData.Semilattice
eval1Data.Semilattice
evalWithData.Semilattice
evalWith1Data.Semilattice
evenBitData.Float
evenBitfData.Float
expData.Float, Numeric.Prelude
expMaskfData.Float
extendData.Prd
extend'Data.Prd
ExtendedData.Semilattice.Top
extendedData.Semilattice.Top
extended'Data.Semilattice.Top
f32i08Data.Connection.Float
f32i16Data.Connection.Float
f32i32Data.Connection.Float
f32u32Data.Float
f64i08Data.Connection.Float
f64i16Data.Connection.Float
f64i32Data.Connection.Float
f64i64Data.Connection.Float
fabsData.Float
FalseNumeric.Prelude
FieldNumeric.Prelude
FinData.Semilattice.Top
finData.Semilattice.Top
finite 
1 (Function)Data.Prd
2 (Function)Data.Float
finite'Data.Prd
first 
1 (Function)Numeric.Prelude
2 (Function)Data.Connection
first'Data.Connection
fixedData.Prd
fldordData.Prd.Nan
flipNumeric.Prelude
FloatData.Float, Numeric.Prelude
floatInt32Data.Float
floatWord32Data.Float
floorData.Float, Numeric.Prelude
floor16Data.Connection.Round, Numeric.Prelude
floor32Data.Connection.Round, Numeric.Prelude
fmapNumeric.Prelude
fmaWithData.Connection.Round
fmodData.Float, Numeric.Prelude
foldNumeric.Prelude
FoldableNumeric.Prelude
foldl'Numeric.Prelude
foldMapNumeric.Prelude
foldr'Numeric.Prelude
forNumeric.Prelude
forkedData.Connection
forMNumeric.Prelude
forM_Numeric.Prelude
for_Numeric.Prelude
frexpData.Float
fromIntegerData.Connection.Int, Numeric.Prelude
fromMaybeNumeric.Prelude
fromRationalData.Connection.Ratio, Numeric.Prelude
fstNumeric.Prelude
FunctorNumeric.Prelude
gammaData.Float
glbData.Semilattice
glbWithData.Semilattice
greplicateNumeric.Prelude
GroupNumeric.Prelude
GTNumeric.Prelude
guardNumeric.Prelude
halfData.Connection.Round
hypotData.Float
i08i16Data.Connection.Int
i08i32Data.Connection.Int
i08i64Data.Connection.Int
i08intData.Connection.Int
i08w08Data.Connection.Int
i08w08'Data.Connection.Int
i16i32Data.Connection.Int
i16i64Data.Connection.Int
i16intData.Connection.Int
i16w16Data.Connection.Int
i16w16'Data.Connection.Int
i32f32Data.Connection.Float
i32i64Data.Connection.Int
i32intData.Connection.Int
i32w32Data.Connection.Int
i32w32'Data.Connection.Int
i64f64Data.Connection.Float
i64intData.Connection.Int
i64w64Data.Connection.Int
i64w64'Data.Connection.Int
idNumeric.Prelude
idempotent_counitData.Connection.Property
idempotent_joinData.Semilattice.Property
idempotent_join_onData.Semilattice.Property
idempotent_meetData.Semilattice.Property
idempotent_meet_onData.Semilattice.Property
idempotent_unitData.Connection.Property
ifThenElseNumeric.Prelude
ilogbData.Float
IntNumeric.Prelude
Int16Numeric.Prelude
Int32Numeric.Prelude
int32FloatData.Float
Int64Numeric.Prelude
int64DoubleData.Float
Int8Numeric.Prelude
IntegerNumeric.Prelude
intnatData.Connection.Int
intxxxData.Connection.Int, Numeric.Prelude
invNumeric.Prelude
irreflexive_ltData.Prd.Property
isBottomData.Semilattice.Top
isDefData.Prd.Nan
isFinData.Semilattice.Top
isInfData.Prd.Nan
isinfData.Float
isnanData.Float
isTopData.Semilattice.Top
ixxwxxData.Connection.Int
j0Data.Float
j1Data.Float
Join 
1 (Type/Class)Data.Semigroup.Join, Data.Semilattice
2 (Data Constructor)Data.Semigroup.Join, Data.Semilattice
joinData.Semilattice
join1Data.Semilattice
joinedData.Connection
joinGeqData.Semigroup.Join
joinLeqData.Semigroup.Join
joinN5Data.Semilattice.N5
joinNanData.Prd.Nan
JoinSemilatticeData.Semigroup.Join, Data.Semilattice
joinWithData.Semilattice
joinWith1Data.Semilattice
JustNumeric.Prelude
justData.Connection
kernelData.Connection.Property
kernel'Data.Connection.Property
LatticeData.Semilattice
LatticeLawData.Semilattice
ldexpData.Float, Numeric.Prelude
LeftNumeric.Prelude
leftData.Connection
left'Data.Connection
lgammaData.Float
liftA2Numeric.Prelude
liftA3Numeric.Prelude
liftAllData.Prd.Nan
liftBottomData.Semilattice.Top
liftBottom'Data.Semilattice.Top
liftBoundedData.Semilattice.Top
LiftedData.Semilattice.Top
liftedData.Semilattice.Top
liftExtendedData.Semilattice.Top
liftNanData.Prd.Nan
liftTopData.Semilattice.Top
liftTop'Data.Semilattice.Top
listData.Connection
logData.Float, Numeric.Prelude
log10Data.Float
logbData.Float
LoopNumeric.Prelude
LowerBoundedLatticeData.Semilattice
LoweredData.Semilattice.Top
lsbMaskData.Float
lsbMaskfData.Float
LTNumeric.Prelude
lubData.Semilattice
lubWithData.Semilattice
MagmaNumeric.Prelude
majority_glbData.Semilattice.Property
manyNumeric.Prelude
mapMNumeric.Prelude
mapM_Numeric.Prelude
mapNanData.Prd.Nan
mappendNumeric.Prelude
maxData.Prd, Numeric.Prelude
MaximalData.Prd
maximalData.Prd
MaxMin 
1 (Type/Class)Data.Semilattice.MaxMin
2 (Data Constructor)Data.Semilattice.MaxMin
maxNormData.Float
maxNormfData.Float
maxOddData.Float
maxOddfData.Float
MaybeNumeric.Prelude
maybeNumeric.Prelude
maybelData.Connection
mayberData.Connection
mconcatNumeric.Prelude
Meet 
1 (Type/Class)Data.Semigroup.Meet, Data.Semilattice
2 (Data Constructor)Data.Semigroup.Meet, Data.Semilattice
meetData.Semilattice
meet1Data.Semilattice
meetGeqData.Semigroup.Meet
meetLeqData.Semigroup.Meet
meetN5Data.Semilattice.N5
MeetSemilatticeData.Semigroup.Meet, Data.Semilattice
meetWithData.Semilattice
meetWith1Data.Semilattice
memptyNumeric.Prelude
minData.Prd, Numeric.Prelude
MinimalData.Prd
minimalData.Prd
minNormData.Float
minNormfData.Float
minSubData.Float
minSubfData.Float
ModeData.Connection.Round
modfData.Float
MonadNumeric.Prelude
MonadPlusNumeric.Prelude
MonoidNumeric.Prelude
monotonelData.Connection.Property
monotonerData.Connection.Property
monotone_joinData.Semilattice.Property
monotone_meetData.Semilattice.Property
morphism_distributiveData.Semilattice.Property
morphism_joinData.Semilattice.Property
morphism_join'Data.Semilattice.Property
morphism_join_onData.Semilattice.Property
morphism_join_on'Data.Semilattice.Property
morphism_meetData.Semilattice.Property
morphism_meet'Data.Semilattice.Property
morphism_meet_onData.Semilattice.Property
morphism_meet_on'Data.Semilattice.Property
mplusNumeric.Prelude
mreplicateNumeric.Prelude
msbMaskData.Float
msbMaskfData.Float
msumNumeric.Prelude
mulWithData.Connection.Round
mzeroNumeric.Prelude
N5 
1 (Type/Class)Data.Semilattice.N5
2 (Data Constructor)Data.Semilattice.N5
n5Data.Semilattice.N5
n5'Data.Semilattice.N5
n5lData.Semilattice.N5
n5rData.Semilattice.N5
Nan 
1 (Type/Class)Data.Prd.Nan
2 (Data Constructor)Data.Prd.Nan
nanData.Prd.Nan
nan'Data.Prd.Nan
natintData.Connection.Int
NaturalNumeric.Prelude
negateNumeric.Prelude
negWithData.Connection.Round
neutral_joinData.Semilattice.Property
neutral_join_onData.Semilattice.Property
neutral_meetData.Semilattice.Property
neutral_meet_onData.Semilattice.Property
nextafterData.Float
ninfNumeric.Prelude
notNumeric.Prelude
NothingNumeric.Prelude
onNumeric.Prelude
oneNumeric.Prelude
OrdData.Prd
ordbinData.Connection
OrderingNumeric.Prelude
otherwiseNumeric.Prelude
pabsData.Prd
pcompareData.Prd, Numeric.Prelude
pcompareEqData.Prd
pcompareJoinData.Semigroup.Join
pcompareMeetData.Semigroup.Meet
pcompareOrdData.Prd
pcomparingData.Connection
peqData.Prd
pgeData.Prd
pgtData.Prd
piNumeric.Prelude
pinfNumeric.Prelude
pleData.Prd
pltData.Prd
pmaxData.Prd
pminData.Prd
pneData.Prd
powData.Float, Numeric.Prelude
PrdData.Prd, Numeric.Prelude
productNumeric.Prelude
projectivelData.Connection.Property
projectiverData.Connection.Property
pureNumeric.Prelude
QuasigroupNumeric.Prelude
ratf32Data.Connection.Ratio
ratf64Data.Connection.Ratio
rati08Data.Connection.Ratio
rati16Data.Connection.Ratio
rati32Data.Connection.Ratio
rati64Data.Connection.Ratio
ratintData.Connection.Ratio
RatioNumeric.Prelude
ratnatData.Connection.Ratio
ratw08Data.Connection.Ratio
ratw16Data.Connection.Ratio
ratw32Data.Connection.Ratio
ratw64Data.Connection.Ratio
ratxxxData.Connection.Ratio, Numeric.Prelude
recipNumeric.Prelude
reduceData.Connection.Ratio
reflexive_eqData.Prd.Property
reflexive_leData.Prd.Property
remainderData.Float
remWithData.Connection.Round
returnNumeric.Prelude
RightNumeric.Prelude
rightData.Connection
right'Data.Connection
RingNumeric.Prelude
rintData.Float
RNZData.Connection.Round
roundData.Float, Numeric.Prelude
round16Data.Connection.Round, Numeric.Prelude
round32Data.Connection.Round, Numeric.Prelude
RTNData.Connection.Round
RTPData.Connection.Round
RTZData.Connection.Round
scalbData.Float
sconcatNumeric.Prelude
second 
1 (Function)Numeric.Prelude
2 (Function)Data.Connection
second'Data.Connection
semiconnexData.Prd.Property
SemifieldNumeric.Prelude
SemigroupNumeric.Prelude
SemiringNumeric.Prelude
seqNumeric.Prelude
sequenceNumeric.Prelude
sequenceANumeric.Prelude
shiftData.Float
shiftdData.Connection.Ratio
shiftfData.Float
ShowNumeric.Prelude
showNumeric.Prelude
showListNumeric.Prelude
ShowSNumeric.Prelude
showsPrecNumeric.Prelude
showStringNumeric.Prelude
sigMaskData.Float
sigMaskfData.Float
signData.Prd
signBitData.Float
signBitfData.Float
signed32Data.Float
signed64Data.Float
significandData.Float
signumNumeric.Prelude
sinData.Float, Numeric.Prelude
sinhData.Float, Numeric.Prelude
sndNumeric.Prelude
someNumeric.Prelude
splitData.Float
splitfData.Float
sqrtData.Float, Numeric.Prelude
stimesNumeric.Prelude
strongData.Connection
strong'Data.Connection
subWithData.Connection.Round
sumNumeric.Prelude
symmetricData.Prd.Property
tanData.Float, Numeric.Prelude
tanhData.Float, Numeric.Prelude
tiedData.Connection.Round
toBottomData.Semilattice.Top
Top 
1 (Type/Class)Data.Semilattice.Top
2 (Data Constructor)Data.Semilattice.Top
topData.Semigroup.Meet, Data.Semilattice
toppedData.Semilattice.Top
toTopData.Semilattice.Top
transitive_eqData.Prd.Property
transitive_leData.Prd.Property
transitive_ltData.Prd.Property
TraversableNumeric.Prelude
traverseNumeric.Prelude
traverse_Numeric.Prelude
trichotomousData.Prd.Property
Trip 
1 (Type/Class)Data.Connection
2 (Data Constructor)Data.Connection
TripInt16Data.Connection.Round
TripInt32Data.Connection.Round
triplData.Connection
triprData.Connection
TripRatioData.Connection.Ratio, Numeric.Prelude
TrueNumeric.Prelude
truncData.Float, Numeric.Prelude
trunc16Data.Connection.Round, Numeric.Prelude
trunc32Data.Connection.Round, Numeric.Prelude
u32f32Data.Float
Ulp32 
1 (Type/Class)Data.Float
2 (Data Constructor)Data.Float
ulp32NanData.Float
ulpsData.Float
ulps'Data.Float
ulpsfData.Float
ulpsf'Data.Float
uncurryNumeric.Prelude
unitData.Connection
unitlData.Connection
unitrData.Connection
unJoinData.Semigroup.Join, Data.Semilattice
unMaxMinData.Semilattice.MaxMin
unMeetData.Semigroup.Meet, Data.Semilattice
unN5Data.Semilattice.N5
unsigned32Data.Float
unsigned64Data.Float
untilData.Prd
unUlp32Data.Float
UpperBoundedLatticeData.Semilattice
voidNumeric.Prelude
w08i08Data.Connection.Word
w08natData.Connection.Word
w08w16Data.Connection.Word
w08w32Data.Connection.Word
w08w64Data.Connection.Word
w16i16Data.Connection.Word
w16natData.Connection.Word
w16w32Data.Connection.Word
w16w64Data.Connection.Word
w32i32Data.Connection.Word
w32natData.Connection.Word
w32w64Data.Connection.Word
w64i64Data.Connection.Word
w64natData.Connection.Word
whenNumeric.Prelude
whileData.Prd
withinData.Float
withinfData.Float
WordNumeric.Prelude
Word16Numeric.Prelude
Word32Numeric.Prelude
word32FloatData.Float
Word64Numeric.Prelude
word64DoubleData.Float
Word8Numeric.Prelude
xxxi16Data.Connection.Round
xxxi32Data.Connection.Round
y0Data.Float
y1Data.Float
ynData.Float
zeroNumeric.Prelude
^Numeric.Prelude
^^Numeric.Prelude
||Numeric.Prelude
|||Data.Connection
~~Data.Prd, Numeric.Prelude
Data.Semigroup.Meet, Data.Semilattice
Data.Semigroup.Join, Data.Semilattice