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

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

OpenTheory.Natural.Bits

Description

 

Documentation

singleton :: Bool -> Natural Source

cons :: Bool -> Natural -> Natural Source

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

headBits :: Natural -> Bool Source

bit :: Natural -> Natural -> Bool Source

bound :: Natural -> Natural -> Natural Source

fromList :: [Bool] -> Natural Source

tailBits :: Natural -> Natural Source

toList :: Natural -> [Bool] Source

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

width :: Natural -> Natural Source