|
.&.
|
Data.Wrd
|
|
.|.
|
Data.Wrd
|
|
absurd
|
Data.Bin.Pos
|
|
andP
|
Data.Bin
|
|
AtEnd
|
Data.BinP.PosP
|
|
B0
|
Data.BinP
,
Data.Bin
|
|
B1
|
Data.BinP
,
Data.Bin
|
|
BE
|
Data.BinP
,
Data.Bin
|
|
Bin
|
Data.Bin
|
|
Bin0
|
Data.Type.Bin
|
|
bin0
|
Data.Bin
|
|
Bin1
|
Data.Type.Bin
|
|
bin1
|
Data.Bin
|
|
Bin2
|
Data.Type.Bin
|
|
bin2
|
Data.Bin
|
|
Bin3
|
Data.Type.Bin
|
|
bin3
|
Data.Bin
|
|
Bin4
|
Data.Type.Bin
|
|
bin4
|
Data.Bin
|
|
Bin5
|
Data.Type.Bin
|
|
bin5
|
Data.Bin
|
|
Bin6
|
Data.Type.Bin
|
|
bin6
|
Data.Bin
|
|
Bin7
|
Data.Type.Bin
|
|
bin7
|
Data.Bin
|
|
Bin8
|
Data.Type.Bin
|
|
bin8
|
Data.Bin
|
|
Bin9
|
Data.Type.Bin
|
|
bin9
|
Data.Bin
|
|
BinP
|
Data.BinP
,
Data.Bin
|
|
BinP1
|
Data.Type.BinP
|
|
binP1
|
Data.BinP
|
|
BinP2
|
Data.Type.BinP
|
|
binP2
|
Data.BinP
|
|
BinP3
|
Data.Type.BinP
|
|
binP3
|
Data.BinP
|
|
BinP4
|
Data.Type.BinP
|
|
binP4
|
Data.BinP
|
|
BinP5
|
Data.Type.BinP
|
|
binP5
|
Data.BinP
|
|
BinP6
|
Data.Type.BinP
|
|
binP6
|
Data.BinP
|
|
BinP7
|
Data.Type.BinP
|
|
binP7
|
Data.BinP
|
|
BinP8
|
Data.Type.BinP
|
|
binP8
|
Data.BinP
|
|
BinP9
|
Data.Type.BinP
|
|
binP9
|
Data.BinP
|
|
boring
|
|
|
1 (Function)
|
Data.BinP.PosP
|
|
2 (Function)
|
Data.Bin.Pos
|
|
BP
|
Data.Bin
|
|
BZ
|
Data.Bin
|
|
cata
|
|
|
1 (Function)
|
Data.BinP
|
|
2 (Function)
|
Data.Bin
|
|
clearBit
|
Data.Wrd
|
|
clearBitP
|
Data.Bin
|
|
complement
|
Data.Wrd
|
|
complement2
|
Data.Wrd
|
|
complementBit
|
Data.Wrd
|
|
complementBitP
|
Data.Bin
|
|
eqBin
|
Data.Type.Bin
|
|
eqBinP
|
Data.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
|
|
FromNat
|
Data.Type.Bin
|
|
fromNat
|
Data.Bin
|
|
fromNatural
|
|
|
1 (Function)
|
Data.BinP
|
|
2 (Function)
|
Data.Bin
|
|
Here
|
Data.BinP.PosP
|
|
induction
|
|
|
1 (Function)
|
Data.Type.BinP
|
|
2 (Function)
|
Data.Type.Bin
|
|
Mult2
|
Data.Type.Bin
|
|
mult2
|
Data.Bin
|
|
Mult2Plus1
|
Data.Type.Bin
|
|
mult2Plus1
|
Data.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
|
|
popCount
|
Data.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
|
|
Pred
|
Data.Type.Bin
|
|
predMaybe
|
Data.BinP
|
|
predP
|
Data.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
|
|
rotateL
|
Data.Wrd
|
|
rotateL1
|
Data.Wrd
|
|
rotateR
|
Data.Wrd
|
|
rotateR1
|
Data.Wrd
|
|
SB0
|
Data.Type.BinP
,
Data.Type.Bin
|
|
SB1
|
Data.Type.BinP
,
Data.Type.Bin
|
|
SBE
|
Data.Type.BinP
,
Data.Type.Bin
|
|
SBin
|
Data.Type.Bin
|
|
sbin
|
Data.Type.Bin
|
|
SBinI
|
Data.Type.Bin
|
|
SBinP
|
Data.Type.BinP
,
Data.Type.Bin
|
|
sbinp
|
Data.Type.BinP
,
Data.Type.Bin
|
|
SBinPI
|
Data.Type.BinP
,
Data.Type.Bin
|
|
sbinpToBinP
|
Data.Type.BinP
,
Data.Type.Bin
|
|
sbinpToNatural
|
Data.Type.BinP
,
Data.Type.Bin
|
|
sbinToBin
|
Data.Type.Bin
|
|
sbinToNatural
|
Data.Type.Bin
|
|
SBP
|
Data.Type.Bin
|
|
SBZ
|
Data.Type.Bin
|
|
setBit
|
Data.Wrd
|
|
shiftL
|
Data.Wrd
|
|
shiftL1
|
Data.Wrd
|
|
shiftR
|
Data.Wrd
|
|
shiftR1
|
Data.Wrd
|
|
Succ
|
|
|
1 (Type/Class)
|
Data.Type.BinP
|
|
2 (Type/Class)
|
Data.Type.Bin
|
|
Succ'
|
Data.Type.Bin
|
|
Succ''
|
Data.Type.Bin
|
|
testBit
|
Data.Wrd
|
|
There0
|
Data.BinP.PosP
|
|
There1
|
Data.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
|
|
unPosP
|
Data.BinP.PosP
|
|
W0
|
Data.Wrd
|
|
W1
|
Data.Wrd
|
|
WE
|
Data.Wrd
|
|
weakenRight1
|
|
|
1 (Function)
|
Data.BinP.PosP
|
|
2 (Function)
|
Data.Bin.Pos
|
|
weakenRight1'
|
Data.BinP.PosP
|
|
withSBin
|
Data.Type.Bin
|
|
withSBinP
|
Data.Type.BinP
,
Data.Type.Bin
|
|
withSucc
|
|
|
1 (Function)
|
Data.Type.BinP
|
|
2 (Function)
|
Data.Type.Bin
|
|
Wrd
|
Data.Wrd
|
|
xor
|
Data.Wrd
|
|
xorP
|
Data.Bin
|