Safe Haskell	None
Language	Haskell2010

UVMHS.Core.Data.Bitty

Contents

Orphan instances

Documentation

shiftL_shim :: Bits a => a -> ℕ64 -> a Source #

shiftR_shim :: Bits a => a -> ℕ64 -> a Source #

bsize_shim :: FiniteBits a => P a -> ℕ64 Source #

Orphan instances

BitAnd ℕ16 Source #
Instance details Methods (⟑) :: ℕ16 -> ℕ16 -> ℕ16 Source #
BitAnd ℕ32 Source #
Instance details Methods (⟑) :: ℕ32 -> ℕ32 -> ℕ32 Source #
BitAnd ℕ64 Source #
Instance details Methods (⟑) :: ℕ64 -> ℕ64 -> ℕ64 Source #
BitAnd ℕ8 Source #
Instance details Methods (⟑) :: ℕ8 -> ℕ8 -> ℕ8 Source #
BitAnd ℤ16 Source #
Instance details Methods (⟑) :: ℤ16 -> ℤ16 -> ℤ16 Source #
BitAnd ℤ32 Source #
Instance details Methods (⟑) :: ℤ32 -> ℤ32 -> ℤ32 Source #
BitAnd ℤ64 Source #
Instance details Methods (⟑) :: ℤ64 -> ℤ64 -> ℤ64 Source #
BitAnd ℤ8 Source #
Instance details Methods (⟑) :: ℤ8 -> ℤ8 -> ℤ8 Source #
BitAnd 𝔹 Source #
Instance details Methods (⟑) :: 𝔹 -> 𝔹 -> 𝔹 Source #
BitComp ℕ16 Source #
Instance details Methods comp :: ℕ16 -> ℕ16 Source #
BitComp ℕ32 Source #
Instance details Methods comp :: ℕ32 -> ℕ32 Source #
BitComp ℕ64 Source #
Instance details Methods comp :: ℕ64 -> ℕ64 Source #
BitComp ℕ8 Source #
Instance details Methods comp :: ℕ8 -> ℕ8 Source #
BitComp ℤ16 Source #
Instance details Methods comp :: ℤ16 -> ℤ16 Source #
BitComp ℤ32 Source #
Instance details Methods comp :: ℤ32 -> ℤ32 Source #
BitComp ℤ64 Source #
Instance details Methods comp :: ℤ64 -> ℤ64 Source #
BitComp ℤ8 Source #
Instance details Methods comp :: ℤ8 -> ℤ8 Source #
BitComp 𝔹 Source #
Instance details Methods comp :: 𝔹 -> 𝔹 Source #
BitOne ℕ16 Source #
Instance details Methods bone :: ℕ16 Source #
BitOne ℕ32 Source #
Instance details Methods bone :: ℕ32 Source #
BitOne ℕ64 Source #
Instance details Methods bone :: ℕ64 Source #
BitOne ℕ8 Source #
Instance details Methods bone :: ℕ8 Source #
BitOne ℤ16 Source #
Instance details Methods bone :: ℤ16 Source #
BitOne ℤ32 Source #
Instance details Methods bone :: ℤ32 Source #
BitOne ℤ64 Source #
Instance details Methods bone :: ℤ64 Source #
BitOne ℤ8 Source #
Instance details Methods bone :: ℤ8 Source #
BitOne 𝔹 Source #
Instance details Methods bone :: 𝔹 Source #
BitOr ℕ16 Source #
Instance details Methods (⟇) :: ℕ16 -> ℕ16 -> ℕ16 Source #
BitOr ℕ32 Source #
Instance details Methods (⟇) :: ℕ32 -> ℕ32 -> ℕ32 Source #
BitOr ℕ64 Source #
Instance details Methods (⟇) :: ℕ64 -> ℕ64 -> ℕ64 Source #
BitOr ℕ8 Source #
Instance details Methods (⟇) :: ℕ8 -> ℕ8 -> ℕ8 Source #
BitOr ℤ16 Source #
Instance details Methods (⟇) :: ℤ16 -> ℤ16 -> ℤ16 Source #
BitOr ℤ32 Source #
Instance details Methods (⟇) :: ℤ32 -> ℤ32 -> ℤ32 Source #
BitOr ℤ64 Source #
Instance details Methods (⟇) :: ℤ64 -> ℤ64 -> ℤ64 Source #
BitOr ℤ8 Source #
Instance details Methods (⟇) :: ℤ8 -> ℤ8 -> ℤ8 Source #
BitOr 𝔹 Source #
Instance details Methods (⟇) :: 𝔹 -> 𝔹 -> 𝔹 Source #
BitShiftL ℕ16 Source #
Instance details Methods (⋘) :: ℕ16 -> ℕ64 -> ℕ16 Source #
BitShiftL ℕ32 Source #
Instance details Methods (⋘) :: ℕ32 -> ℕ64 -> ℕ32 Source #
BitShiftL ℕ64 Source #
Instance details Methods (⋘) :: ℕ64 -> ℕ64 -> ℕ64 Source #
BitShiftL ℕ8 Source #
Instance details Methods (⋘) :: ℕ8 -> ℕ64 -> ℕ8 Source #
BitShiftL ℤ16 Source #
Instance details Methods (⋘) :: ℤ16 -> ℕ64 -> ℤ16 Source #
BitShiftL ℤ32 Source #
Instance details Methods (⋘) :: ℤ32 -> ℕ64 -> ℤ32 Source #
BitShiftL ℤ64 Source #
Instance details Methods (⋘) :: ℤ64 -> ℕ64 -> ℤ64 Source #
BitShiftL ℤ8 Source #
Instance details Methods (⋘) :: ℤ8 -> ℕ64 -> ℤ8 Source #
BitShiftL 𝔹 Source #
Instance details Methods (⋘) :: 𝔹 -> ℕ64 -> 𝔹 Source #
BitShiftR ℕ16 Source #
Instance details Methods (⋙) :: ℕ16 -> ℕ64 -> ℕ16 Source #
BitShiftR ℕ32 Source #
Instance details Methods (⋙) :: ℕ32 -> ℕ64 -> ℕ32 Source #
BitShiftR ℕ64 Source #
Instance details Methods (⋙) :: ℕ64 -> ℕ64 -> ℕ64 Source #
BitShiftR ℕ8 Source #
Instance details Methods (⋙) :: ℕ8 -> ℕ64 -> ℕ8 Source #
BitShiftR ℤ16 Source #
Instance details Methods (⋙) :: ℤ16 -> ℕ64 -> ℤ16 Source #
BitShiftR ℤ32 Source #
Instance details Methods (⋙) :: ℤ32 -> ℕ64 -> ℤ32 Source #
BitShiftR ℤ64 Source #
Instance details Methods (⋙) :: ℤ64 -> ℕ64 -> ℤ64 Source #
BitShiftR ℤ8 Source #
Instance details Methods (⋙) :: ℤ8 -> ℕ64 -> ℤ8 Source #
BitShiftR 𝔹 Source #
Instance details Methods (⋙) :: 𝔹 -> ℕ64 -> 𝔹 Source #
BitXor ℕ16 Source #
Instance details Methods (⊻) :: ℕ16 -> ℕ16 -> ℕ16 Source #
BitXor ℕ32 Source #
Instance details Methods (⊻) :: ℕ32 -> ℕ32 -> ℕ32 Source #
BitXor ℕ64 Source #
Instance details Methods (⊻) :: ℕ64 -> ℕ64 -> ℕ64 Source #
BitXor ℕ8 Source #
Instance details Methods (⊻) :: ℕ8 -> ℕ8 -> ℕ8 Source #
BitXor ℤ16 Source #
Instance details Methods (⊻) :: ℤ16 -> ℤ16 -> ℤ16 Source #
BitXor ℤ32 Source #
Instance details Methods (⊻) :: ℤ32 -> ℤ32 -> ℤ32 Source #
BitXor ℤ64 Source #
Instance details Methods (⊻) :: ℤ64 -> ℤ64 -> ℤ64 Source #
BitXor ℤ8 Source #
Instance details Methods (⊻) :: ℤ8 -> ℤ8 -> ℤ8 Source #
BitXor 𝔹 Source #
Instance details Methods (⊻) :: 𝔹 -> 𝔹 -> 𝔹 Source #
BitZero ℕ16 Source #
Instance details Methods bzero :: ℕ16 Source #
BitZero ℕ32 Source #
Instance details Methods bzero :: ℕ32 Source #
BitZero ℕ64 Source #
Instance details Methods bzero :: ℕ64 Source #
BitZero ℕ8 Source #
Instance details Methods bzero :: ℕ8 Source #
BitZero ℤ16 Source #
Instance details Methods bzero :: ℤ16 Source #
BitZero ℤ32 Source #
Instance details Methods bzero :: ℤ32 Source #
BitZero ℤ64 Source #
Instance details Methods bzero :: ℤ64 Source #
BitZero ℤ8 Source #
Instance details Methods bzero :: ℤ8 Source #
BitZero 𝔹 Source #
Instance details Methods bzero :: 𝔹 Source #
Bitty ℕ16 Source #
Instance details
Bitty ℕ32 Source #
Instance details
Bitty ℕ64 Source #
Instance details
Bitty ℕ8 Source #
Instance details
Bitty ℤ16 Source #
Instance details
Bitty ℤ32 Source #
Instance details
Bitty ℤ64 Source #
Instance details
Bitty ℤ8 Source #
Instance details
Bitty 𝔹 Source #
Instance details
BitSize ℕ16 Source #
Instance details Methods bsize :: P ℕ16 -> ℕ64 Source #
BitSize ℕ32 Source #
Instance details Methods bsize :: P ℕ32 -> ℕ64 Source #
BitSize ℕ64 Source #
Instance details Methods bsize :: P ℕ64 -> ℕ64 Source #
BitSize ℕ8 Source #
Instance details Methods bsize :: P ℕ8 -> ℕ64 Source #
BitSize ℤ16 Source #
Instance details Methods bsize :: P ℤ16 -> ℕ64 Source #
BitSize ℤ32 Source #
Instance details Methods bsize :: P ℤ32 -> ℕ64 Source #
BitSize ℤ64 Source #
Instance details Methods bsize :: P ℤ64 -> ℕ64 Source #
BitSize ℤ8 Source #
Instance details Methods bsize :: P ℤ8 -> ℕ64 Source #
BitSize 𝔹 Source #
Instance details Methods bsize :: P 𝔹 -> ℕ64 Source #