clash-prelude-1.6.3: Clash: a functional hardware description language - Prelude library
Copyright(C) 2015-2016 University of Twente
2022 QBayLogic B.V.
LicenseBSD2 (see the file LICENSE)
MaintainerQBayLogic B.V. <devops@qbaylogic.com>
Safe HaskellUnsafe
LanguageHaskell2010

Clash.Promoted.Nat.Unsafe

Description

 
Synopsis

Documentation

unsafeSNat :: Integer -> SNat k Source #

I hope you know what you're doing