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

Copyright(C) 2013-2015, University of Twente
LicenseBSD2 (see the file LICENSE)
MaintainerChristiaan Baaij <christiaan.baaij@gmail.com>
Safe HaskellNone
LanguageHaskell2010
Extensions
  • UndecidableInstances
  • MonoLocalBinds
  • TypeFamilies
  • DataKinds
  • KindSignatures
  • TypeOperators
  • ExplicitNamespaces

CLaSH.Promoted.Ord

Description

 

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