clash-prelude-0.2: CAES Language for Synchronous Hardware

Safe HaskellNone
LanguageHaskell2010

CLaSH.Promoted.Ord

Documentation

type family Min x y :: Nat Source

Instances

type Min x y = If Nat ((<=?) x y) x y 

type family Max x y :: Nat Source

Instances

type Max x y = If Nat ((<=?) x y) y x