clash-prelude-0.2: CAES Language for Synchronous Hardware

Safe HaskellSafe-Inferred
LanguageHaskell2010

CLaSH.Promoted.Bool

Documentation

type family If x y z :: k Source

Instances

type If k False y z = z 
type If k True y z = y