Safe Haskell	None
Language	Haskell2010

UVMHS.Core.Classes.Bitty

Documentation

class BitZero a where Source #

Methods

bzero :: a Source #

Instances

Instances details

BitZero ℕ16 Source #
Instance details Defined in UVMHS.Core.Data.Bitty Methods bzero :: ℕ16 Source #
BitZero ℕ32 Source #
Instance details Defined in UVMHS.Core.Data.Bitty Methods bzero :: ℕ32 Source #
BitZero ℕ64 Source #
Instance details Defined in UVMHS.Core.Data.Bitty Methods bzero :: ℕ64 Source #
BitZero ℕ8 Source #
Instance details Defined in UVMHS.Core.Data.Bitty Methods bzero :: ℕ8 Source #
BitZero ℤ16 Source #
Instance details Defined in UVMHS.Core.Data.Bitty Methods bzero :: ℤ16 Source #
BitZero ℤ32 Source #
Instance details Defined in UVMHS.Core.Data.Bitty Methods bzero :: ℤ32 Source #
BitZero ℤ64 Source #
Instance details Defined in UVMHS.Core.Data.Bitty Methods bzero :: ℤ64 Source #
BitZero ℤ8 Source #
Instance details Defined in UVMHS.Core.Data.Bitty Methods bzero :: ℤ8 Source #
BitZero 𝔹 Source #
Instance details Defined in UVMHS.Core.Data.Bitty Methods bzero :: 𝔹 Source #

class BitOne a where Source #

Methods

bone :: a Source #

Instances

Instances details

BitOne ℕ16 Source #
Instance details Defined in UVMHS.Core.Data.Bitty Methods bone :: ℕ16 Source #
BitOne ℕ32 Source #
Instance details Defined in UVMHS.Core.Data.Bitty Methods bone :: ℕ32 Source #
BitOne ℕ64 Source #
Instance details Defined in UVMHS.Core.Data.Bitty Methods bone :: ℕ64 Source #
BitOne ℕ8 Source #
Instance details Defined in UVMHS.Core.Data.Bitty Methods bone :: ℕ8 Source #
BitOne ℤ16 Source #
Instance details Defined in UVMHS.Core.Data.Bitty Methods bone :: ℤ16 Source #
BitOne ℤ32 Source #
Instance details Defined in UVMHS.Core.Data.Bitty Methods bone :: ℤ32 Source #
BitOne ℤ64 Source #
Instance details Defined in UVMHS.Core.Data.Bitty Methods bone :: ℤ64 Source #
BitOne ℤ8 Source #
Instance details Defined in UVMHS.Core.Data.Bitty Methods bone :: ℤ8 Source #
BitOne 𝔹 Source #
Instance details Defined in UVMHS.Core.Data.Bitty Methods bone :: 𝔹 Source #

class BitComp a where Source #

Methods

comp :: a -> a Source #

Instances

Instances details

BitComp ℕ16 Source #
Instance details Defined in UVMHS.Core.Data.Bitty Methods comp :: ℕ16 -> ℕ16 Source #
BitComp ℕ32 Source #
Instance details Defined in UVMHS.Core.Data.Bitty Methods comp :: ℕ32 -> ℕ32 Source #
BitComp ℕ64 Source #
Instance details Defined in UVMHS.Core.Data.Bitty Methods comp :: ℕ64 -> ℕ64 Source #
BitComp ℕ8 Source #
Instance details Defined in UVMHS.Core.Data.Bitty Methods comp :: ℕ8 -> ℕ8 Source #
BitComp ℤ16 Source #
Instance details Defined in UVMHS.Core.Data.Bitty Methods comp :: ℤ16 -> ℤ16 Source #
BitComp ℤ32 Source #
Instance details Defined in UVMHS.Core.Data.Bitty Methods comp :: ℤ32 -> ℤ32 Source #
BitComp ℤ64 Source #
Instance details Defined in UVMHS.Core.Data.Bitty Methods comp :: ℤ64 -> ℤ64 Source #
BitComp ℤ8 Source #
Instance details Defined in UVMHS.Core.Data.Bitty Methods comp :: ℤ8 -> ℤ8 Source #
BitComp 𝔹 Source #
Instance details Defined in UVMHS.Core.Data.Bitty Methods comp :: 𝔹 -> 𝔹 Source #

class BitAnd a where Source #

Methods

(⟑) :: a -> a -> a infixl 6 Source #

Instances

Instances details

BitAnd ℕ16 Source #
Instance details Defined in UVMHS.Core.Data.Bitty Methods (⟑) :: ℕ16 -> ℕ16 -> ℕ16 Source #
BitAnd ℕ32 Source #
Instance details Defined in UVMHS.Core.Data.Bitty Methods (⟑) :: ℕ32 -> ℕ32 -> ℕ32 Source #
BitAnd ℕ64 Source #
Instance details Defined in UVMHS.Core.Data.Bitty Methods (⟑) :: ℕ64 -> ℕ64 -> ℕ64 Source #
BitAnd ℕ8 Source #
Instance details Defined in UVMHS.Core.Data.Bitty Methods (⟑) :: ℕ8 -> ℕ8 -> ℕ8 Source #
BitAnd ℤ16 Source #
Instance details Defined in UVMHS.Core.Data.Bitty Methods (⟑) :: ℤ16 -> ℤ16 -> ℤ16 Source #
BitAnd ℤ32 Source #
Instance details Defined in UVMHS.Core.Data.Bitty Methods (⟑) :: ℤ32 -> ℤ32 -> ℤ32 Source #
BitAnd ℤ64 Source #
Instance details Defined in UVMHS.Core.Data.Bitty Methods (⟑) :: ℤ64 -> ℤ64 -> ℤ64 Source #
BitAnd ℤ8 Source #
Instance details Defined in UVMHS.Core.Data.Bitty Methods (⟑) :: ℤ8 -> ℤ8 -> ℤ8 Source #
BitAnd 𝔹 Source #
Instance details Defined in UVMHS.Core.Data.Bitty Methods (⟑) :: 𝔹 -> 𝔹 -> 𝔹 Source #

class BitOr a where Source #

Methods

(⟇) :: a -> a -> a infixl 5 Source #

Instances

Instances details

BitOr ℕ16 Source #
Instance details Defined in UVMHS.Core.Data.Bitty Methods (⟇) :: ℕ16 -> ℕ16 -> ℕ16 Source #
BitOr ℕ32 Source #
Instance details Defined in UVMHS.Core.Data.Bitty Methods (⟇) :: ℕ32 -> ℕ32 -> ℕ32 Source #
BitOr ℕ64 Source #
Instance details Defined in UVMHS.Core.Data.Bitty Methods (⟇) :: ℕ64 -> ℕ64 -> ℕ64 Source #
BitOr ℕ8 Source #
Instance details Defined in UVMHS.Core.Data.Bitty Methods (⟇) :: ℕ8 -> ℕ8 -> ℕ8 Source #
BitOr ℤ16 Source #
Instance details Defined in UVMHS.Core.Data.Bitty Methods (⟇) :: ℤ16 -> ℤ16 -> ℤ16 Source #
BitOr ℤ32 Source #
Instance details Defined in UVMHS.Core.Data.Bitty Methods (⟇) :: ℤ32 -> ℤ32 -> ℤ32 Source #
BitOr ℤ64 Source #
Instance details Defined in UVMHS.Core.Data.Bitty Methods (⟇) :: ℤ64 -> ℤ64 -> ℤ64 Source #
BitOr ℤ8 Source #
Instance details Defined in UVMHS.Core.Data.Bitty Methods (⟇) :: ℤ8 -> ℤ8 -> ℤ8 Source #
BitOr 𝔹 Source #
Instance details Defined in UVMHS.Core.Data.Bitty Methods (⟇) :: 𝔹 -> 𝔹 -> 𝔹 Source #

class BitXor a where Source #

Methods

(⊻) :: a -> a -> a infixl 5 Source #

Instances

Instances details

BitXor ℕ16 Source #
Instance details Defined in UVMHS.Core.Data.Bitty Methods (⊻) :: ℕ16 -> ℕ16 -> ℕ16 Source #
BitXor ℕ32 Source #
Instance details Defined in UVMHS.Core.Data.Bitty Methods (⊻) :: ℕ32 -> ℕ32 -> ℕ32 Source #
BitXor ℕ64 Source #
Instance details Defined in UVMHS.Core.Data.Bitty Methods (⊻) :: ℕ64 -> ℕ64 -> ℕ64 Source #
BitXor ℕ8 Source #
Instance details Defined in UVMHS.Core.Data.Bitty Methods (⊻) :: ℕ8 -> ℕ8 -> ℕ8 Source #
BitXor ℤ16 Source #
Instance details Defined in UVMHS.Core.Data.Bitty Methods (⊻) :: ℤ16 -> ℤ16 -> ℤ16 Source #
BitXor ℤ32 Source #
Instance details Defined in UVMHS.Core.Data.Bitty Methods (⊻) :: ℤ32 -> ℤ32 -> ℤ32 Source #
BitXor ℤ64 Source #
Instance details Defined in UVMHS.Core.Data.Bitty Methods (⊻) :: ℤ64 -> ℤ64 -> ℤ64 Source #
BitXor ℤ8 Source #
Instance details Defined in UVMHS.Core.Data.Bitty Methods (⊻) :: ℤ8 -> ℤ8 -> ℤ8 Source #
BitXor 𝔹 Source #
Instance details Defined in UVMHS.Core.Data.Bitty Methods (⊻) :: 𝔹 -> 𝔹 -> 𝔹 Source #

class BitShiftL a where Source #

Methods

(⋘) :: a -> ℕ64 -> a infixl 7 Source #

Instances

Instances details

BitShiftL ℕ16 Source #
Instance details Defined in UVMHS.Core.Data.Bitty Methods (⋘) :: ℕ16 -> ℕ64 -> ℕ16 Source #
BitShiftL ℕ32 Source #
Instance details Defined in UVMHS.Core.Data.Bitty Methods (⋘) :: ℕ32 -> ℕ64 -> ℕ32 Source #
BitShiftL ℕ64 Source #
Instance details Defined in UVMHS.Core.Data.Bitty Methods (⋘) :: ℕ64 -> ℕ64 -> ℕ64 Source #
BitShiftL ℕ8 Source #
Instance details Defined in UVMHS.Core.Data.Bitty Methods (⋘) :: ℕ8 -> ℕ64 -> ℕ8 Source #
BitShiftL ℤ16 Source #
Instance details Defined in UVMHS.Core.Data.Bitty Methods (⋘) :: ℤ16 -> ℕ64 -> ℤ16 Source #
BitShiftL ℤ32 Source #
Instance details Defined in UVMHS.Core.Data.Bitty Methods (⋘) :: ℤ32 -> ℕ64 -> ℤ32 Source #
BitShiftL ℤ64 Source #
Instance details Defined in UVMHS.Core.Data.Bitty Methods (⋘) :: ℤ64 -> ℕ64 -> ℤ64 Source #
BitShiftL ℤ8 Source #
Instance details Defined in UVMHS.Core.Data.Bitty Methods (⋘) :: ℤ8 -> ℕ64 -> ℤ8 Source #
BitShiftL 𝔹 Source #
Instance details Defined in UVMHS.Core.Data.Bitty Methods (⋘) :: 𝔹 -> ℕ64 -> 𝔹 Source #

class BitShiftR a where Source #

Methods

(⋙) :: a -> ℕ64 -> a infixl 7 Source #

Instances

Instances details

BitShiftR ℕ16 Source #
Instance details Defined in UVMHS.Core.Data.Bitty Methods (⋙) :: ℕ16 -> ℕ64 -> ℕ16 Source #
BitShiftR ℕ32 Source #
Instance details Defined in UVMHS.Core.Data.Bitty Methods (⋙) :: ℕ32 -> ℕ64 -> ℕ32 Source #
BitShiftR ℕ64 Source #
Instance details Defined in UVMHS.Core.Data.Bitty Methods (⋙) :: ℕ64 -> ℕ64 -> ℕ64 Source #
BitShiftR ℕ8 Source #
Instance details Defined in UVMHS.Core.Data.Bitty Methods (⋙) :: ℕ8 -> ℕ64 -> ℕ8 Source #
BitShiftR ℤ16 Source #
Instance details Defined in UVMHS.Core.Data.Bitty Methods (⋙) :: ℤ16 -> ℕ64 -> ℤ16 Source #
BitShiftR ℤ32 Source #
Instance details Defined in UVMHS.Core.Data.Bitty Methods (⋙) :: ℤ32 -> ℕ64 -> ℤ32 Source #
BitShiftR ℤ64 Source #
Instance details Defined in UVMHS.Core.Data.Bitty Methods (⋙) :: ℤ64 -> ℕ64 -> ℤ64 Source #
BitShiftR ℤ8 Source #
Instance details Defined in UVMHS.Core.Data.Bitty Methods (⋙) :: ℤ8 -> ℕ64 -> ℤ8 Source #
BitShiftR 𝔹 Source #
Instance details Defined in UVMHS.Core.Data.Bitty Methods (⋙) :: 𝔹 -> ℕ64 -> 𝔹 Source #

class BitSize (a :: k) where Source #

Methods

bsize :: P a -> ℕ64 Source #

Instances

Instances details

BitSize ℕ16 Source #
Instance details Defined in UVMHS.Core.Data.Bitty Methods bsize :: P ℕ16 -> ℕ64 Source #
BitSize ℕ32 Source #
Instance details Defined in UVMHS.Core.Data.Bitty Methods bsize :: P ℕ32 -> ℕ64 Source #
BitSize ℕ64 Source #
Instance details Defined in UVMHS.Core.Data.Bitty Methods bsize :: P ℕ64 -> ℕ64 Source #
BitSize ℕ8 Source #
Instance details Defined in UVMHS.Core.Data.Bitty Methods bsize :: P ℕ8 -> ℕ64 Source #
BitSize ℤ16 Source #
Instance details Defined in UVMHS.Core.Data.Bitty Methods bsize :: P ℤ16 -> ℕ64 Source #
BitSize ℤ32 Source #
Instance details Defined in UVMHS.Core.Data.Bitty Methods bsize :: P ℤ32 -> ℕ64 Source #
BitSize ℤ64 Source #
Instance details Defined in UVMHS.Core.Data.Bitty Methods bsize :: P ℤ64 -> ℕ64 Source #
BitSize ℤ8 Source #
Instance details Defined in UVMHS.Core.Data.Bitty Methods bsize :: P ℤ8 -> ℕ64 Source #
BitSize 𝔹 Source #
Instance details Defined in UVMHS.Core.Data.Bitty Methods bsize :: P 𝔹 -> ℕ64 Source #

class (BitZero a, BitOne a, BitComp a, BitAnd a, BitOr a, BitXor a, BitShiftL a, BitShiftR a, BitSize a) => Bitty a Source #

Instances

Instances details

Bitty ℕ16 Source #
Instance details Defined in UVMHS.Core.Data.Bitty
Bitty ℕ32 Source #
Instance details Defined in UVMHS.Core.Data.Bitty
Bitty ℕ64 Source #
Instance details Defined in UVMHS.Core.Data.Bitty
Bitty ℕ8 Source #
Instance details Defined in UVMHS.Core.Data.Bitty
Bitty ℤ16 Source #
Instance details Defined in UVMHS.Core.Data.Bitty
Bitty ℤ32 Source #
Instance details Defined in UVMHS.Core.Data.Bitty
Bitty ℤ64 Source #
Instance details Defined in UVMHS.Core.Data.Bitty
Bitty ℤ8 Source #
Instance details Defined in UVMHS.Core.Data.Bitty
Bitty 𝔹 Source #
Instance details Defined in UVMHS.Core.Data.Bitty

bit :: (BitOne a, BitShiftL a) => ℕ64 -> a Source #

bget :: (Eq a, BitZero a, BitOne a, BitAnd a, BitShiftL a) => ℕ64 -> a -> Bool Source #

bset :: (BitOne a, BitOr a, BitShiftL a) => ℕ64 -> a -> a Source #

bflp :: (BitOne a, BitXor a, BitShiftL a) => ℕ64 -> a -> a Source #

bclr :: (BitOne a, BitComp a, BitAnd a, BitShiftL a) => ℕ64 -> a -> a Source #