connections-0.0.2.1: Partial orders & Galois connections.

Index

&&&Data.Connection
/\Data.Prd.Lattice
/~Data.Prd
<~Data.Prd
=~Data.Prd
>~Data.Prd
?~Data.Prd
abs'Data.Connection.Float, Data.Float
aNanData.Float
antisymmetricData.Prd.Property
asymmetricData.Prd.Property
binordData.Connection
BoundData.Prd
boundData.Connection
ceiling'Data.Connection
chain_22Data.Prd.Property
chain_31Data.Prd.Property
choiceData.Connection
choice'Data.Connection
closedData.Connection.Property
closed'Data.Connection.Property
Conn 
1 (Type/Class)Data.Connection
2 (Data Constructor)Data.Connection
connectionData.Connection.Property
connexData.Prd.Property
connlData.Connection
connrData.Connection
coreflexiveData.Prd.Property
counitData.Connection
counitlData.Connection
counitrData.Connection
DefData.Prd.Nan
defData.Prd.Nan
definedData.Prd.Nan
denormalizedData.Float
Down 
1 (Data Constructor)Data.Prd
2 (Type/Class)Data.Prd
dualData.Connection
eitherNanData.Prd.Nan
epsilonData.Float
eqData.Prd
eq'Data.Float
evenBitData.Float
expMaskData.Float
f32i64Data.Connection.Float, Data.Float
f32u32Data.Connection.Float, Data.Float
f64i64Data.Connection.Float, Data.Float
filterData.Connection.Yoneda
finiteData.Float
firstData.Connection
first'Data.Connection
fixedData.Prd
FloatData.Float
floatInt32Data.Connection.Float, Data.Float
floatOrderingData.Prd.Nan
floatWord32Data.Connection.Float, Data.Float
float_word8Data.Connection.Float, Data.Float
floor'Data.Connection
forkedData.Connection
fromSubsetData.Prd.Lattice
geData.Prd
getOrderedData.Prd
gtData.Prd
i08i16Data.Connection.Int
i08i32Data.Connection.Int
i08i64Data.Connection.Int
i08w08Data.Connection.Int
i08w08'Data.Connection.Int
i16i32Data.Connection.Int
i16i64Data.Connection.Int
i16w16Data.Connection.Int
i16w16'Data.Connection.Int
i32i64Data.Connection.Int
i32w32Data.Connection.Int
i32w32'Data.Connection.Int
i64f32Data.Connection.Float, Data.Float
i64f64Data.Connection.Float, Data.Float
i64w64Data.Connection.Int
i64w64'Data.Connection.Int
idealData.Connection.Yoneda
idempotent_counitData.Connection.Property
idempotent_unitData.Connection.Property
indeterminateData.Prd
infiniteData.Float
int32FloatData.Connection.Float, Data.Float
intnatData.Connection.Int
irreflexive_ltData.Prd.Property
isInfData.Prd.Nan
isNanData.Float
Join 
1 (Type/Class)Data.Prd.Lattice
2 (Data Constructor)Data.Prd.Lattice
joinData.Prd.Lattice
join1Data.Prd.Lattice
joinedData.Connection
joinLeqData.Prd.Lattice
justData.Connection
kernelData.Connection.Property
kernel'Data.Connection.Property
LatticeData.Prd.Lattice
leData.Prd
leftData.Connection
left'Data.Connection
liftAllData.Prd.Nan
liftNanData.Prd.Nan
liftNan'Data.Prd.Nan
listData.Connection
lowerData.Connection.Yoneda
lsbMaskData.Float
ltData.Prd
mapNanData.Prd.Nan
MaximalData.Prd
maximalData.Prd
maxNormData.Float
maxOddData.Float
maybelData.Connection
maybeNanData.Prd.Nan
mayberData.Connection
medianData.Prd.Lattice
Meet 
1 (Type/Class)Data.Prd.Lattice
2 (Data Constructor)Data.Prd.Lattice
meetData.Prd.Lattice
meet1Data.Prd.Lattice
meetLeqData.Prd.Lattice
MinimalData.Prd
minimalData.Prd
minNormData.Float
minSubData.Float
monotoneData.Connection.Property
monotone'Data.Connection.Property
msbMaskData.Float
Nan 
1 (Type/Class)Data.Prd.Nan
2 (Data Constructor)Data.Prd.Nan
nanData.Prd.Nan
nanEitherData.Prd.Nan
nanfltData.Prd.Nan
nanMaybeData.Prd.Nan
neData.Prd
negativeData.Prd
nInfData.Float
ninfData.Float
nzeroData.Float
ordbinData.Connection
Ordered 
1 (Type/Class)Data.Prd
2 (Data Constructor)Data.Prd
pcompareData.Prd
pcompareOrdData.Prd
pcomparePrdData.Prd
pcomparingData.Connection
peqData.Prd
pgeData.Prd
pgtData.Prd
pInfData.Float
pinfData.Float
pjoinData.Prd
pleData.Prd
pltData.Prd
pmaxData.Prd
pmeetData.Prd
pminData.Prd
pneData.Prd
positiveData.Prd
PrdData.Prd
projective_lData.Connection.Property
projective_rData.Connection.Property
reflexive_eqData.Prd.Property
reflexive_leData.Prd.Property
RepData.Connection.Yoneda
rightData.Connection
right'Data.Connection
secondData.Connection
second'Data.Connection
semiconnexData.Prd.Property
shiftData.Connection.Float, Data.Float
sigMaskData.Float
signData.Prd
signBitData.Float
signed32Data.Connection.Float, Data.Float
splitData.Float
strongData.Connection
strong'Data.Connection
symmetricData.Prd.Property
transitive_eqData.Prd.Property
transitive_leData.Prd.Property
transitive_ltData.Prd.Property
trichotomousData.Prd.Property
Trip 
1 (Type/Class)Data.Connection
2 (Data Constructor)Data.Connection
triplData.Connection
triprData.Connection
u32f32Data.Connection.Float, Data.Float
u32w64Data.Connection.Float, Data.Float
Ulp32 
1 (Type/Class)Data.Connection.Float, Data.Float
2 (Data Constructor)Data.Connection.Float, Data.Float
ulp32NanData.Connection.Float, Data.Float
ulpDeltaData.Float
ulpDelta'Data.Float
ulpDistanceData.Float
ulpsData.Float
unitData.Connection
unitlData.Connection
unitrData.Connection
unJoinData.Prd.Lattice
unMeetData.Prd.Lattice
unsigned32Data.Connection.Float, Data.Float
untilData.Prd
unUlp32Data.Connection.Float, Data.Float
upperData.Connection.Yoneda
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
whileData.Prd
withinData.Float
word32FloatData.Connection.Float, Data.Float
YonedaData.Connection.Yoneda
zeroData.Prd
\/Data.Prd.Lattice
|||Data.Connection
~~Data.Prd