log package:clash-prelude

log :: Floating a => a -> a
clash-prelude Clash.HaskellPrelude
logBase :: Floating a => a -> a -> a
clash-prelude Clash.HaskellPrelude
log2BNat :: BNat (2 ^ n) -> BNat n
clash-prelude Clash.Promoted.Nat
Get the log2 of a base-2 encoded natural number NB: Not synthesizable
logBaseSNat :: FLog base x ~ CLog base x => SNat base -> SNat x -> SNat (Log base x)
clash-prelude Clash.Promoted.Nat
Exact integer logarithm of a natural number NB: Only works when the argument is a power of the base
type family Log2 (a :: Natural) :: Natural
clash-prelude Clash.Explicit.Prelude Clash.Explicit.Prelude.Safe Clash.Prelude Clash.Prelude.Safe
Log base 2 (round down) of natural numbers. Log 0 is undefined (i.e., it cannot be reduced).
SystemVerilog :: HDL
clash-prelude Clash.Annotations.Primitive
Verilog :: HDL
clash-prelude Clash.Annotations.Primitive
clogBaseSNat :: (2 <= base, 1 <= x) => SNat base -> SNat x -> SNat (CLog base x)
clash-prelude Clash.Promoted.Nat
Ceiling of the logarithm of a natural number
flogBaseSNat :: (2 <= base, 1 <= x) => SNat base -> SNat x -> SNat (FLog base x)
clash-prelude Clash.Promoted.Nat
Floor of the logarithm of a natural number