Idris2Doc : Data.HashMap.Bits

Data.HashMap.Bits

(source)
Definitions
oneBits : Bits64
  Visibility: export
(.|.) : Bits64 -> Bits64 -> Bits64
  Visibility: export
  Fixity Declaration: infixl operator, level 5
(.&.) : Bits64 -> Bits64 -> Bits64
  Visibility: export
  Fixity Declaration: infixl operator, level 7
not : Bits64 -> Bits64
  Visibility: export
shiftR : Bits64 -> Bits64 -> Bits64
  Visibility: export
shiftL : Bits64 -> Bits64 -> Bits64
  Visibility: export
bit : Bits32 -> Bits64
  Visibility: export
setBit : Bits64 -> Bits32 -> Bits64
  Visibility: export
clearBit : Bits64 -> Bits32 -> Bits64
  Visibility: export
testBit : Bits64 -> Bits32 -> Bool
  Visibility: export
popCount : Bits64 -> Bits64
  Visibility: export
isScheme : Bool
  Visibility: export
unsafeIncr : Bits32 -> Bits32
  Visibility: export
unsafeCast : Cast a b => a -> b
  Visibility: export