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

Safe HaskellSafe-Inferred
LanguageHaskell2010

CLaSH.Class.Num

Documentation

class Add a b where Source

Associated Types

type AResult a b Source

Methods

plus :: a -> b -> AResult a b Source

minus :: a -> b -> AResult a b Source

Instances

KnownNat (Max m n) => Add (Signed m) (Signed n) 
KnownNat (Max m n) => Add (Unsigned m) (Unsigned n) 

class Mult a b where Source

Associated Types

type MResult a b Source

Methods

mult :: a -> b -> MResult a b Source

Instances

KnownNat ((+) m n) => Mult (Signed m) (Signed n) 
KnownNat ((+) m n) => Mult (Unsigned m) (Unsigned n)