clash-prelude-0.2: CAES Language for Synchronous Hardware
CLaSH.Promoted.Nat
data SNat n Source
snat :: KnownNat n => SNat n Source
withSNat :: KnownNat n => (SNat n -> a) -> a Source
fromSNat :: SNat n -> Integer Source
data UNat where Source
Constructors
toUNat :: SNat n -> UNat n Source
addUNat :: UNat n -> UNat m -> UNat (n + m) Source
multUNat :: UNat n -> UNat m -> UNat (n * m) Source
powUNat :: UNat n -> UNat m -> UNat (n ^ m) Source