Copyright	(c) Sirui Lu 2024
License	BSD-3-Clause (see the LICENSE file)
Maintainer	siruilu@cs.washington.edu
Stability	Experimental
Portability	GHC only
Safe Haskell	Safe-Inferred
Language	Haskell2010

Grisette.Unified.Internal.Class.UnifiedFiniteBits

Description

Synopsis

class UnifiedFiniteBits mode a where
- withBaseFiniteBits :: (If (IsConMode mode) (FiniteBits a, FromBits a) (SymFiniteBits a) => r) -> r
symTestBit :: forall mode a. (Typeable mode, UnifiedFiniteBits mode a) => a -> Int -> GetBool mode
symSetBitTo :: forall mode a. (Typeable mode, UnifiedFiniteBits mode a) => a -> Int -> GetBool mode -> a
symFromBits :: forall mode a. (Typeable mode, UnifiedFiniteBits mode a) => [GetBool mode] -> a
symBitBlast :: forall mode a. (Typeable mode, UnifiedFiniteBits mode a) => a -> [GetBool mode]
symLsb :: forall mode a. (Typeable mode, UnifiedFiniteBits mode a) => a -> GetBool mode
symMsb :: forall mode a. (Typeable mode, UnifiedFiniteBits mode a) => a -> GetBool mode
symPopCount :: forall mode a b. (Typeable mode, UnifiedFiniteBits mode a, Num b, UnifiedITEOp mode b) => a -> b
symCountLeadingZeros :: forall mode a b. (Typeable mode, UnifiedFiniteBits mode a, Num b, UnifiedITEOp mode b) => a -> b
symCountTrailingZeros :: forall mode a b. (Typeable mode, UnifiedFiniteBits mode a, Num b, UnifiedITEOp mode b) => a -> b

Documentation

class UnifiedFiniteBits mode a where Source #

A class that provides unified equality comparison.

We use this type class to help resolve the constraints for FiniteBits, FromBits and SymFiniteBits.

Methods

withBaseFiniteBits :: (If (IsConMode mode) (FiniteBits a, FromBits a) (SymFiniteBits a) => r) -> r Source #

Instances

Instances details

UnifiedFiniteBits 'Con SomeIntN Source #
Instance details Defined in Grisette.Unified.Internal.Class.UnifiedFiniteBits Methods withBaseFiniteBits :: (If (IsConMode 'Con) (FiniteBits SomeIntN, FromBits SomeIntN) (SymFiniteBits SomeIntN) => r) -> r Source #
UnifiedFiniteBits 'Con SomeWordN Source #
Instance details Defined in Grisette.Unified.Internal.Class.UnifiedFiniteBits Methods withBaseFiniteBits :: (If (IsConMode 'Con) (FiniteBits SomeWordN, FromBits SomeWordN) (SymFiniteBits SomeWordN) => r) -> r Source #
UnifiedFiniteBits 'Sym SomeSymIntN Source #
Instance details Defined in Grisette.Unified.Internal.Class.UnifiedFiniteBits Methods withBaseFiniteBits :: (If (IsConMode 'Sym) (FiniteBits SomeSymIntN, FromBits SomeSymIntN) (SymFiniteBits SomeSymIntN) => r) -> r Source #
UnifiedFiniteBits 'Sym SomeSymWordN Source #
Instance details Defined in Grisette.Unified.Internal.Class.UnifiedFiniteBits Methods withBaseFiniteBits :: (If (IsConMode 'Sym) (FiniteBits SomeSymWordN, FromBits SomeSymWordN) (SymFiniteBits SomeSymWordN) => r) -> r Source #
(KnownNat n, 1 <= n) => UnifiedFiniteBits 'Con (IntN n) Source #
Instance details Defined in Grisette.Unified.Internal.Class.UnifiedFiniteBits Methods withBaseFiniteBits :: (If (IsConMode 'Con) (FiniteBits (IntN n), FromBits (IntN n)) (SymFiniteBits (IntN n)) => r) -> r Source #
(KnownNat n, 1 <= n) => UnifiedFiniteBits 'Con (WordN n) Source #
Instance details Defined in Grisette.Unified.Internal.Class.UnifiedFiniteBits Methods withBaseFiniteBits :: (If (IsConMode 'Con) (FiniteBits (WordN n), FromBits (WordN n)) (SymFiniteBits (WordN n)) => r) -> r Source #
(KnownNat n, 1 <= n) => UnifiedFiniteBits 'Sym (SymIntN n) Source #
Instance details Defined in Grisette.Unified.Internal.Class.UnifiedFiniteBits Methods withBaseFiniteBits :: (If (IsConMode 'Sym) (FiniteBits (SymIntN n), FromBits (SymIntN n)) (SymFiniteBits (SymIntN n)) => r) -> r Source #
(KnownNat n, 1 <= n) => UnifiedFiniteBits 'Sym (SymWordN n) Source #
Instance details Defined in Grisette.Unified.Internal.Class.UnifiedFiniteBits Methods withBaseFiniteBits :: (If (IsConMode 'Sym) (FiniteBits (SymWordN n), FromBits (SymWordN n)) (SymFiniteBits (SymWordN n)) => r) -> r Source #

symTestBit :: forall mode a. (Typeable mode, UnifiedFiniteBits mode a) => a -> Int -> GetBool mode Source #

Unified symTestBit.

symSetBitTo :: forall mode a. (Typeable mode, UnifiedFiniteBits mode a) => a -> Int -> GetBool mode -> a Source #

Unified symSetBitTo.

symFromBits :: forall mode a. (Typeable mode, UnifiedFiniteBits mode a) => [GetBool mode] -> a Source #

Unified symFromBits.

symBitBlast :: forall mode a. (Typeable mode, UnifiedFiniteBits mode a) => a -> [GetBool mode] Source #

Unified symBitBlast.

symLsb :: forall mode a. (Typeable mode, UnifiedFiniteBits mode a) => a -> GetBool mode Source #

Unified symLsb.

symMsb :: forall mode a. (Typeable mode, UnifiedFiniteBits mode a) => a -> GetBool mode Source #

Unified symMsb.

symPopCount :: forall mode a b. (Typeable mode, UnifiedFiniteBits mode a, Num b, UnifiedITEOp mode b) => a -> b Source #

Unified symPopCount.

symCountLeadingZeros :: forall mode a b. (Typeable mode, UnifiedFiniteBits mode a, Num b, UnifiedITEOp mode b) => a -> b Source #

Unified symCountLeadingZeros.

symCountTrailingZeros :: forall mode a b. (Typeable mode, UnifiedFiniteBits mode a, Num b, UnifiedITEOp mode b) => a -> b Source #

Unified symCountTrailingZeros.