bv-sized-1.0.2: a bitvector datatype that is parameterized by the vector width

Copyright(c) Galois Inc. 2018
LicenseBSD-3
Maintainerbenselfridge@galois.com
Stabilityexperimental
Portabilityportable
Safe HaskellNone
LanguageHaskell2010

Data.BitVector.Sized.Unsigned

Description

This module defines a wrapper around the BV type, UnsignedBV, with instances not provided by BV.

Synopsis

Documentation

newtype UnsignedBV w Source #

Signed bit vector.

Constructors

UnsignedBV 

Fields

Instances
KnownNat w => Bounded (UnsignedBV w) Source # 
Instance details

Defined in Data.BitVector.Sized.Unsigned

KnownNat w => Enum (UnsignedBV w) Source # 
Instance details

Defined in Data.BitVector.Sized.Unsigned

Eq (UnsignedBV w) Source # 
Instance details

Defined in Data.BitVector.Sized.Unsigned

Methods

(==) :: UnsignedBV w -> UnsignedBV w -> Bool #

(/=) :: UnsignedBV w -> UnsignedBV w -> Bool #

KnownNat w => Num (UnsignedBV w) Source # 
Instance details

Defined in Data.BitVector.Sized.Unsigned

Ord (UnsignedBV w) Source # 
Instance details

Defined in Data.BitVector.Sized.Unsigned

Read (UnsignedBV w) Source # 
Instance details

Defined in Data.BitVector.Sized.Unsigned

Show (UnsignedBV w) Source # 
Instance details

Defined in Data.BitVector.Sized.Unsigned

KnownNat w => Ix (UnsignedBV w) Source # 
Instance details

Defined in Data.BitVector.Sized.Unsigned

Generic (UnsignedBV w) Source # 
Instance details

Defined in Data.BitVector.Sized.Unsigned

Associated Types

type Rep (UnsignedBV w) :: Type -> Type #

Methods

from :: UnsignedBV w -> Rep (UnsignedBV w) x #

to :: Rep (UnsignedBV w) x -> UnsignedBV w #

KnownNat w => Bits (UnsignedBV w) Source # 
Instance details

Defined in Data.BitVector.Sized.Unsigned

KnownNat w => FiniteBits (UnsignedBV w) Source # 
Instance details

Defined in Data.BitVector.Sized.Unsigned

type Rep (UnsignedBV w) Source # 
Instance details

Defined in Data.BitVector.Sized.Unsigned

type Rep (UnsignedBV w) = D1 (MetaData "UnsignedBV" "Data.BitVector.Sized.Unsigned" "bv-sized-1.0.2-AAXqbtBhXByJToxUyTAVCv" True) (C1 (MetaCons "UnsignedBV" PrefixI True) (S1 (MetaSel (Just "asBV") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (BV w))))

mkUnsignedBV :: NatRepr w -> Integer -> UnsignedBV w Source #

Convenience wrapper for mkBV.