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

Safe Haskell	None
Language	Haskell2010

CLaSH.Promoted.Ord

Synopsis

Documentation

type family Min x y :: Nat Source

Type-level min function for natural numbers

Equations

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

type family Max x y :: Nat Source

Type-level max function for natural numbers

Equations

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