Copyright	(C) 2019 Myrtle Software Ltd
License	BSD2 (see the file LICENSE)
Maintainer	Christiaan Baaij <christiaan.baaij@gmail.com>
Safe Haskell	None
Language	Haskell2010

Clash.Class.Exp

Description

Synopsis

Documentation

Type class implementing exponentiation with explicitly resizing results.

Minimal complete definition

Instances

KnownNat m => Exp (Index m) Source #
Instance details Defined in Clash.Class.Exp Associated Types type ExpResult (Index m) n :: Type Source # Methods (^) :: Index m -> SNat n -> ExpResult (Index m) n Source #
KnownNat m => Exp (Unsigned m) Source #
Instance details Defined in Clash.Class.Exp Associated Types type ExpResult (Unsigned m) n :: Type Source # Methods (^) :: Unsigned m -> SNat n -> ExpResult (Unsigned m) n Source #
KnownNat m => Exp (Signed m) Source #
Instance details Defined in Clash.Class.Exp Associated Types type ExpResult (Signed m) n :: Type Source # Methods (^) :: Signed m -> SNat n -> ExpResult (Signed m) n Source #

type family ExpResult a (n :: Nat) Source #

Instances

type ExpResult (Index m) n Source #
Instance details Defined in Clash.Class.Exp type ExpResult (Index m) n = Index (m ^ n)
type ExpResult (Unsigned m) n Source #
Instance details Defined in Clash.Class.Exp type ExpResult (Unsigned m) n = Unsigned (m * n)
type ExpResult (Signed m) n Source #
Instance details Defined in Clash.Class.Exp type ExpResult (Signed m) n = Signed (m * n)

Arguments

:: Exp a
=> a	Base
-> SNat n	Exponent
-> ExpResult a n	Resized result, guaranteed to not have overflown

Exponentiation with known exponent.