clash-prelude-0.4: CAES Language for Synchronous Hardware - Prelude library

Safe HaskellSafe-Inferred
LanguageHaskell2010

CLaSH.Promoted.Bool

Synopsis

Documentation

type family If x y z :: k Source

Type-level if-then-else

Equations

If True y z = y 
If False y z = z