clash-prelude-0.2: CAES Language for Synchronous Hardware

Safe HaskellNone
LanguageHaskell2010

CLaSH.Promoted.Nat

Documentation

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

UZero :: UNat 0 
USucc :: UNat n -> UNat (n + 1) 

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