opentheory-bits-1.63: Natural number to bit-list conversions

LicenseMIT
MaintainerJoe Leslie-Hurd <joe@gilith.com>
Stabilityprovisional
Portabilityportable
Safe HaskellSafe-Inferred
LanguageHaskell98

OpenTheory.Natural.Bits

Description

 

Documentation

singleton :: Bool -> Natural Source

cons :: Bool -> Natural -> Natural Source

append :: [Bool] -> Natural -> Natural Source

headBits :: Natural -> Bool Source

shiftRight :: Natural -> Natural -> Natural Source

bit :: Natural -> Natural -> Bool Source

bound :: Natural -> Natural -> Natural Source

fromList :: [Bool] -> Natural Source

shiftLeft :: Natural -> Natural -> Natural Source

tailBits :: Natural -> Natural Source

toList :: Natural -> [Bool] Source

toVector :: Natural -> Natural -> [Bool] Source

width :: Natural -> Natural Source