Clash.Class.Exp

Documentation

class Exp a

Type class implementing exponentiation with explicitly resizing results.

Minimal complete definition

(^)

Instances

KnownNat m => Exp (Index m)

Defined in Clash.Class.Exp

Associated Types

type ExpResult (Index m) n

Methods

(^) :: forall (n :: Nat). Index m -> SNat n -> ExpResult (Index m) n

KnownNat m => Exp (Unsigned m)

Defined in Clash.Class.Exp

Associated Types

type ExpResult (Unsigned m) n

Methods

(^) :: forall (n :: Nat). Unsigned m -> SNat n -> ExpResult (Unsigned m) n

KnownNat m => Exp (Signed m)

Defined in Clash.Class.Exp

Associated Types

type ExpResult (Signed m) n

Methods

(^) :: forall (n :: Nat). Signed m -> SNat n -> ExpResult (Signed m) n

type family ExpResult a (n :: Nat)

Instances

type ExpResult (Index m) n

Defined in Clash.Class.Exp

type ExpResult (Index m) n = Index (Max 2 (m ^ n))

type ExpResult (Unsigned m) n

Defined in Clash.Class.Exp

type ExpResult (Unsigned m) n = Unsigned (Max 1 (m * n))

type ExpResult (Signed m) n

Defined in Clash.Class.Exp

type ExpResult (Signed m) n = Signed (Max 2 (m * n))

(^)

Arguments

:: Exp a

=> a

Base

-> SNat n

Exponent

-> ExpResult a n

Resized result, guaranteed to not have overflown

Exponentiation with known exponent.