clash-prelude-0.4: CAES Language for Synchronous Hardware - Prelude library
CLaSH.Promoted.Bool
Synopsis
type family If x y z :: k Source
Type-level if-then-else
Equations