bin-0.1: Bin: binary natural numbers.

Index

.&.Data.Wrd
.|.Data.Wrd
absurdData.Bin.Pos
andPData.Bin
AtEndData.BinP.PosP
B0Data.BinP, Data.Bin
B1Data.BinP, Data.Bin
BEData.BinP, Data.Bin
BinData.Bin
Bin0Data.Type.Bin
bin0Data.Bin
Bin1Data.Type.Bin
bin1Data.Bin
Bin2Data.Type.Bin
bin2Data.Bin
Bin3Data.Type.Bin
bin3Data.Bin
Bin4Data.Type.Bin
bin4Data.Bin
Bin5Data.Type.Bin
bin5Data.Bin
Bin6Data.Type.Bin
bin6Data.Bin
Bin7Data.Type.Bin
bin7Data.Bin
Bin8Data.Type.Bin
bin8Data.Bin
Bin9Data.Type.Bin
bin9Data.Bin
BinPData.BinP, Data.Bin
BinP1Data.Type.BinP
binP1Data.BinP
BinP2Data.Type.BinP
binP2Data.BinP
BinP3Data.Type.BinP
binP3Data.BinP
BinP4Data.Type.BinP
binP4Data.BinP
BinP5Data.Type.BinP
binP5Data.BinP
BinP6Data.Type.BinP
binP6Data.BinP
BinP7Data.Type.BinP
binP7Data.BinP
BinP8Data.Type.BinP
binP8Data.BinP
BinP9Data.Type.BinP
binP9Data.BinP
boring 
1 (Function)Data.BinP.PosP
2 (Function)Data.Bin.Pos
BPData.Bin
BZData.Bin
cata 
1 (Function)Data.BinP
2 (Function)Data.Bin
clearBitData.Wrd
clearBitPData.Bin
complementData.Wrd
complement2Data.Wrd
complementBitData.Wrd
complementBitPData.Bin
eqBinData.Type.Bin
eqBinPData.Type.BinP
explicitShow 
1 (Function)Data.BinP
2 (Function)Data.Bin
3 (Function)Data.Wrd
4 (Function)Data.BinP.PosP
5 (Function)Data.Bin.Pos
explicitShow'Data.BinP.PosP
explicitShowsPrec 
1 (Function)Data.BinP
2 (Function)Data.Bin
3 (Function)Data.Wrd
4 (Function)Data.BinP.PosP
5 (Function)Data.Bin.Pos
explicitShowsPrec'Data.BinP.PosP
FromGHC 
1 (Type/Class)Data.Type.BinP
2 (Type/Class)Data.Type.Bin
FromNatData.Type.Bin
fromNatData.Bin
fromNatural 
1 (Function)Data.BinP
2 (Function)Data.Bin
HereData.BinP.PosP
induction 
1 (Function)Data.Type.BinP
2 (Function)Data.Type.Bin
Mult2Data.Type.Bin
mult2Data.Bin
Mult2Plus1Data.Type.Bin
mult2Plus1Data.Bin
Plus 
1 (Type/Class)Data.Type.BinP
2 (Type/Class)Data.Type.Bin
pop 
1 (Function)Data.BinP.PosP
2 (Function)Data.Bin.Pos
popCountData.Wrd
Pos 
1 (Type/Class)Data.Bin.Pos
2 (Data Constructor)Data.Bin.Pos
PosP 
1 (Type/Class)Data.BinP.PosP, Data.Bin.Pos
2 (Data Constructor)Data.BinP.PosP
PosP'Data.BinP.PosP
PredData.Type.Bin
predMaybeData.BinP
predPData.Bin
reflect 
1 (Function)Data.Type.BinP
2 (Function)Data.Type.Bin
reflectToNum 
1 (Function)Data.Type.BinP
2 (Function)Data.Type.Bin
reify 
1 (Function)Data.Type.BinP
2 (Function)Data.Type.Bin
rotateLData.Wrd
rotateL1Data.Wrd
rotateRData.Wrd
rotateR1Data.Wrd
SB0Data.Type.BinP, Data.Type.Bin
SB1Data.Type.BinP, Data.Type.Bin
SBEData.Type.BinP, Data.Type.Bin
SBinData.Type.Bin
sbinData.Type.Bin
SBinIData.Type.Bin
SBinPData.Type.BinP, Data.Type.Bin
sbinpData.Type.BinP, Data.Type.Bin
SBinPIData.Type.BinP, Data.Type.Bin
sbinpToBinPData.Type.BinP, Data.Type.Bin
sbinpToNaturalData.Type.BinP, Data.Type.Bin
sbinToBinData.Type.Bin
sbinToNaturalData.Type.Bin
SBPData.Type.Bin
SBZData.Type.Bin
setBitData.Wrd
shiftLData.Wrd
shiftL1Data.Wrd
shiftRData.Wrd
shiftR1Data.Wrd
Succ 
1 (Type/Class)Data.Type.BinP
2 (Type/Class)Data.Type.Bin
Succ'Data.Type.Bin
Succ''Data.Type.Bin
testBitData.Wrd
There0Data.BinP.PosP
There1Data.BinP.PosP
ToGHC 
1 (Type/Class)Data.Type.BinP
2 (Type/Class)Data.Type.Bin
ToNat 
1 (Type/Class)Data.Type.BinP
2 (Type/Class)Data.Type.Bin
toNat 
1 (Function)Data.BinP
2 (Function)Data.Bin
toNatural 
1 (Function)Data.BinP
2 (Function)Data.Bin
3 (Function)Data.Wrd
4 (Function)Data.BinP.PosP
5 (Function)Data.Bin.Pos
toNatural'Data.BinP.PosP
top 
1 (Function)Data.BinP.PosP
2 (Function)Data.Bin.Pos
universe 
1 (Function)Data.Wrd
2 (Function)Data.BinP.PosP
3 (Function)Data.Bin.Pos
universe'Data.BinP.PosP
unPosPData.BinP.PosP
W0Data.Wrd
W1Data.Wrd
WEData.Wrd
weakenRight1 
1 (Function)Data.BinP.PosP
2 (Function)Data.Bin.Pos
weakenRight1'Data.BinP.PosP
withSBinData.Type.Bin
withSBinPData.Type.BinP, Data.Type.Bin
withSucc 
1 (Function)Data.Type.BinP
2 (Function)Data.Type.Bin
WrdData.Wrd
xorData.Wrd
xorPData.Bin