packages feed

clash-prelude 0.10.2 → 0.10.3

raw patch · 4 files changed

+26/−9 lines, 4 filesdep ~reflectionPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

Dependency ranges changed: reflection

API changes (from Hackage documentation)

- CLaSH.Annotations.TopEntity: ClockSource :: String -> Maybe (String, String) -> [(String, String)] -> Maybe (String, String) -> String -> Bool -> ClockSource
- CLaSH.Annotations.TopEntity: TopEntity :: String -> [String] -> [String] -> [(String, Int)] -> [(String, Int)] -> [ClockSource] -> TopEntity
- CLaSH.Annotations.TopEntity: instance Data.Data.Data CLaSH.Annotations.TopEntity.ClockSource
- CLaSH.Annotations.TopEntity: instance Data.Data.Data CLaSH.Annotations.TopEntity.TopEntity
- CLaSH.Annotations.TopEntity: instance GHC.Show.Show CLaSH.Annotations.TopEntity.ClockSource
- CLaSH.Annotations.TopEntity: instance GHC.Show.Show CLaSH.Annotations.TopEntity.TopEntity
- CLaSH.Class.BitPack: instance (GHC.TypeLits.KnownNat (CLaSH.Class.BitPack.BitSize b), CLaSH.Class.BitPack.BitPack a, CLaSH.Class.BitPack.BitPack b) => CLaSH.Class.BitPack.BitPack (a, b)
- CLaSH.Class.BitPack: instance CLaSH.Class.BitPack.BitPack (CLaSH.Sized.Internal.BitVector.BitVector n)
- CLaSH.Class.BitPack: instance CLaSH.Class.BitPack.BitPack GHC.Types.Bool
- CLaSH.Class.Num: SatBound :: SaturationMode
- CLaSH.Class.Num: SatSymmetric :: SaturationMode
- CLaSH.Class.Num: SatWrap :: SaturationMode
- CLaSH.Class.Num: SatZero :: SaturationMode
- CLaSH.Class.Num: instance GHC.Classes.Eq CLaSH.Class.Num.SaturationMode
- CLaSH.Prelude.DataFlow: instance (CLaSH.Prelude.DataFlow.LockStep a x, CLaSH.Prelude.DataFlow.LockStep b y) => CLaSH.Prelude.DataFlow.LockStep (a, b) (x, y)
- CLaSH.Prelude.DataFlow: instance CLaSH.Prelude.DataFlow.LockStep GHC.Types.Bool c
- CLaSH.Promoted.Nat: SNat :: (Proxy n) -> SNat
- CLaSH.Promoted.Nat: USucc :: UNat n -> UNat (n + 1)
- CLaSH.Promoted.Nat: UZero :: UNat 0
- CLaSH.Promoted.Nat: instance GHC.Show.Show (CLaSH.Promoted.Nat.SNat n)
- CLaSH.Promoted.Symbol: SSymbol :: (Proxy s) -> SSymbol
- CLaSH.Promoted.Symbol: instance GHC.Show.Show (CLaSH.Promoted.Symbol.SSymbol s)
- CLaSH.Signal.Bundle: instance CLaSH.Signal.Bundle.Bundle ()
- CLaSH.Signal.Bundle: instance CLaSH.Signal.Bundle.Bundle (CLaSH.Sized.Fixed.Fixed rep int frac)
- CLaSH.Signal.Bundle: instance CLaSH.Signal.Bundle.Bundle (CLaSH.Sized.Internal.BitVector.BitVector n)
- CLaSH.Signal.Bundle: instance CLaSH.Signal.Bundle.Bundle (CLaSH.Sized.Internal.Index.Index n)
- CLaSH.Signal.Bundle: instance CLaSH.Signal.Bundle.Bundle (CLaSH.Sized.Internal.Signed.Signed n)
- CLaSH.Signal.Bundle: instance CLaSH.Signal.Bundle.Bundle (CLaSH.Sized.Internal.Unsigned.Unsigned n)
- CLaSH.Signal.Bundle: instance CLaSH.Signal.Bundle.Bundle (Data.Either.Either a b)
- CLaSH.Signal.Bundle: instance CLaSH.Signal.Bundle.Bundle (GHC.Base.Maybe a)
- CLaSH.Signal.Bundle: instance CLaSH.Signal.Bundle.Bundle (a, b)
- CLaSH.Signal.Bundle: instance CLaSH.Signal.Bundle.Bundle (a, b, c)
- CLaSH.Signal.Bundle: instance CLaSH.Signal.Bundle.Bundle (a, b, c, d)
- CLaSH.Signal.Bundle: instance CLaSH.Signal.Bundle.Bundle (a, b, c, d, e)
- CLaSH.Signal.Bundle: instance CLaSH.Signal.Bundle.Bundle (a, b, c, d, e, f)
- CLaSH.Signal.Bundle: instance CLaSH.Signal.Bundle.Bundle (a, b, c, d, e, f, g)
- CLaSH.Signal.Bundle: instance CLaSH.Signal.Bundle.Bundle (a, b, c, d, e, f, g, h)
- CLaSH.Signal.Bundle: instance CLaSH.Signal.Bundle.Bundle GHC.Integer.Type.Integer
- CLaSH.Signal.Bundle: instance CLaSH.Signal.Bundle.Bundle GHC.Types.Bool
- CLaSH.Signal.Bundle: instance CLaSH.Signal.Bundle.Bundle GHC.Types.Double
- CLaSH.Signal.Bundle: instance CLaSH.Signal.Bundle.Bundle GHC.Types.Float
- CLaSH.Signal.Bundle: instance CLaSH.Signal.Bundle.Bundle GHC.Types.Int
- CLaSH.Signal.Bundle: instance GHC.TypeLits.KnownNat n => CLaSH.Signal.Bundle.Bundle (CLaSH.Sized.Vector.Vec n a)
- CLaSH.Signal.Delayed: instance (GHC.Num.Num a, GHC.Classes.Ord a) => GHC.Real.Real (CLaSH.Signal.Delayed.DSignal delay a)
- CLaSH.Signal.Delayed: instance CLaSH.Class.Num.ExtendingNum a b => CLaSH.Class.Num.ExtendingNum (CLaSH.Signal.Delayed.DSignal n a) (CLaSH.Signal.Delayed.DSignal n b)
- CLaSH.Signal.Delayed: instance CLaSH.Class.Num.SaturatingNum a => CLaSH.Class.Num.SaturatingNum (CLaSH.Signal.Delayed.DSignal delay a)
- CLaSH.Signal.Delayed: instance Data.Bits.Bits a => Data.Bits.Bits (CLaSH.Signal.Delayed.DSignal delay a)
- CLaSH.Signal.Delayed: instance Data.Bits.FiniteBits a => Data.Bits.FiniteBits (CLaSH.Signal.Delayed.DSignal delay a)
- CLaSH.Signal.Delayed: instance Data.Default.Class.Default a => Data.Default.Class.Default (CLaSH.Signal.Delayed.DSignal delay a)
- CLaSH.Signal.Delayed: instance Data.Foldable.Foldable (CLaSH.Signal.Delayed.DSignal delay)
- CLaSH.Signal.Delayed: instance Data.Traversable.Traversable (CLaSH.Signal.Delayed.DSignal delay)
- CLaSH.Signal.Delayed: instance GHC.Base.Applicative (CLaSH.Signal.Delayed.DSignal delay)
- CLaSH.Signal.Delayed: instance GHC.Base.Functor (CLaSH.Signal.Delayed.DSignal delay)
- CLaSH.Signal.Delayed: instance GHC.Classes.Eq (CLaSH.Signal.Delayed.DSignal delay a)
- CLaSH.Signal.Delayed: instance GHC.Classes.Ord a => GHC.Classes.Ord (CLaSH.Signal.Delayed.DSignal delay a)
- CLaSH.Signal.Delayed: instance GHC.Enum.Bounded a => GHC.Enum.Bounded (CLaSH.Signal.Delayed.DSignal delay a)
- CLaSH.Signal.Delayed: instance GHC.Enum.Enum a => GHC.Enum.Enum (CLaSH.Signal.Delayed.DSignal delay a)
- CLaSH.Signal.Delayed: instance GHC.Num.Num a => GHC.Num.Num (CLaSH.Signal.Delayed.DSignal delay a)
- CLaSH.Signal.Delayed: instance GHC.Real.Fractional a => GHC.Real.Fractional (CLaSH.Signal.Delayed.DSignal delay a)
- CLaSH.Signal.Delayed: instance GHC.Real.Integral a => GHC.Real.Integral (CLaSH.Signal.Delayed.DSignal delay a)
- CLaSH.Signal.Delayed: instance GHC.Show.Show a => GHC.Show.Show (CLaSH.Signal.Delayed.DSignal delay a)
- CLaSH.Signal.Delayed: instance Language.Haskell.TH.Syntax.Lift a => Language.Haskell.TH.Syntax.Lift (CLaSH.Signal.Delayed.DSignal delay a)
- CLaSH.Signal.Delayed: instance Test.QuickCheck.Arbitrary.Arbitrary a => Test.QuickCheck.Arbitrary.Arbitrary (CLaSH.Signal.Delayed.DSignal delay a)
- CLaSH.Signal.Delayed: instance Test.QuickCheck.Arbitrary.CoArbitrary a => Test.QuickCheck.Arbitrary.CoArbitrary (CLaSH.Signal.Delayed.DSignal delay a)
- CLaSH.Signal.Explicit: Clk :: Symbol -> Nat -> Clock
- CLaSH.Signal.Explicit: SClock :: SSymbol name -> SNat period -> SClock (Clk name period)
- CLaSH.Signal.Internal: (:-) :: a -> Signal' clk a -> Signal' a
- CLaSH.Signal.Internal: Clk :: Symbol -> Nat -> Clock
- CLaSH.Signal.Internal: SClock :: SSymbol name -> SNat period -> SClock (Clk name period)
- CLaSH.Signal.Internal: instance (GHC.Num.Num a, GHC.Classes.Ord a) => GHC.Real.Real (CLaSH.Signal.Internal.Signal' clk a)
- CLaSH.Signal.Internal: instance CLaSH.Class.Num.ExtendingNum a b => CLaSH.Class.Num.ExtendingNum (CLaSH.Signal.Internal.Signal' clk a) (CLaSH.Signal.Internal.Signal' clk b)
- CLaSH.Signal.Internal: instance CLaSH.Class.Num.SaturatingNum a => CLaSH.Class.Num.SaturatingNum (CLaSH.Signal.Internal.Signal' clk a)
- CLaSH.Signal.Internal: instance Data.Bits.Bits a => Data.Bits.Bits (CLaSH.Signal.Internal.Signal' clk a)
- CLaSH.Signal.Internal: instance Data.Bits.FiniteBits a => Data.Bits.FiniteBits (CLaSH.Signal.Internal.Signal' clk a)
- CLaSH.Signal.Internal: instance Data.Default.Class.Default a => Data.Default.Class.Default (CLaSH.Signal.Internal.Signal' clk a)
- CLaSH.Signal.Internal: instance Data.Foldable.Foldable (CLaSH.Signal.Internal.Signal' clk)
- CLaSH.Signal.Internal: instance Data.Traversable.Traversable (CLaSH.Signal.Internal.Signal' clk)
- CLaSH.Signal.Internal: instance GHC.Base.Applicative (CLaSH.Signal.Internal.Signal' clk)
- CLaSH.Signal.Internal: instance GHC.Base.Functor (CLaSH.Signal.Internal.Signal' clk)
- CLaSH.Signal.Internal: instance GHC.Classes.Eq (CLaSH.Signal.Internal.Signal' clk a)
- CLaSH.Signal.Internal: instance GHC.Classes.Ord a => GHC.Classes.Ord (CLaSH.Signal.Internal.Signal' clk a)
- CLaSH.Signal.Internal: instance GHC.Enum.Bounded a => GHC.Enum.Bounded (CLaSH.Signal.Internal.Signal' clk a)
- CLaSH.Signal.Internal: instance GHC.Enum.Enum a => GHC.Enum.Enum (CLaSH.Signal.Internal.Signal' clk a)
- CLaSH.Signal.Internal: instance GHC.Num.Num a => GHC.Num.Num (CLaSH.Signal.Internal.Signal' clk a)
- CLaSH.Signal.Internal: instance GHC.Real.Fractional a => GHC.Real.Fractional (CLaSH.Signal.Internal.Signal' clk a)
- CLaSH.Signal.Internal: instance GHC.Real.Integral a => GHC.Real.Integral (CLaSH.Signal.Internal.Signal' clk a)
- CLaSH.Signal.Internal: instance GHC.Show.Show (CLaSH.Signal.Internal.SClock clk)
- CLaSH.Signal.Internal: instance GHC.Show.Show a => GHC.Show.Show (CLaSH.Signal.Internal.Signal' clk a)
- CLaSH.Signal.Internal: instance Language.Haskell.TH.Syntax.Lift a => Language.Haskell.TH.Syntax.Lift (CLaSH.Signal.Internal.Signal' clk a)
- CLaSH.Signal.Internal: instance Test.QuickCheck.Arbitrary.Arbitrary a => Test.QuickCheck.Arbitrary.Arbitrary (CLaSH.Signal.Internal.Signal' clk a)
- CLaSH.Signal.Internal: instance Test.QuickCheck.Arbitrary.CoArbitrary a => Test.QuickCheck.Arbitrary.CoArbitrary (CLaSH.Signal.Internal.Signal' clk a)
- CLaSH.Sized.Fixed: Fixed :: rep (int + frac) -> Fixed
- CLaSH.Sized.Fixed: instance (Language.Haskell.TH.Syntax.Lift (rep (int GHC.TypeLits.+ frac)), GHC.TypeLits.KnownNat frac, GHC.TypeLits.KnownNat int, Data.Typeable.Internal.Typeable rep) => Language.Haskell.TH.Syntax.Lift (CLaSH.Sized.Fixed.Fixed rep int frac)
- CLaSH.Sized.Fixed: instance (size ~ (int GHC.TypeLits.+ frac), GHC.TypeLits.KnownNat frac, GHC.Real.Integral (rep size)) => GHC.Show.Show (CLaSH.Sized.Fixed.Fixed rep int frac)
- CLaSH.Sized.Fixed: instance CLaSH.Class.BitPack.BitPack (rep (int GHC.TypeLits.+ frac)) => CLaSH.Class.BitPack.BitPack (CLaSH.Sized.Fixed.Fixed rep int frac)
- CLaSH.Sized.Fixed: instance CLaSH.Sized.Fixed.ENumFixedC rep int1 frac1 int2 frac2 => CLaSH.Class.Num.ExtendingNum (CLaSH.Sized.Fixed.Fixed rep int1 frac1) (CLaSH.Sized.Fixed.Fixed rep int2 frac2)
- CLaSH.Sized.Fixed: instance CLaSH.Sized.Fixed.FracFixedC rep int frac => GHC.Real.Fractional (CLaSH.Sized.Fixed.Fixed rep int frac)
- CLaSH.Sized.Fixed: instance CLaSH.Sized.Fixed.NumFixedC rep int frac => CLaSH.Class.Num.SaturatingNum (CLaSH.Sized.Fixed.Fixed rep int frac)
- CLaSH.Sized.Fixed: instance CLaSH.Sized.Fixed.NumFixedC rep int frac => GHC.Num.Num (CLaSH.Sized.Fixed.Fixed rep int frac)
- CLaSH.Sized.Fixed: instance Data.Bits.Bits (rep (int GHC.TypeLits.+ frac)) => Data.Bits.Bits (CLaSH.Sized.Fixed.Fixed rep int frac)
- CLaSH.Sized.Fixed: instance Data.Default.Class.Default (rep (int GHC.TypeLits.+ frac)) => Data.Default.Class.Default (CLaSH.Sized.Fixed.Fixed rep int frac)
- CLaSH.Sized.Fixed: instance GHC.Classes.Eq (rep (int GHC.TypeLits.+ frac)) => GHC.Classes.Eq (CLaSH.Sized.Fixed.Fixed rep int frac)
- CLaSH.Sized.Fixed: instance GHC.Classes.Ord (rep (int GHC.TypeLits.+ frac)) => GHC.Classes.Ord (CLaSH.Sized.Fixed.Fixed rep int frac)
- CLaSH.Sized.Fixed: instance GHC.Enum.Bounded (rep (int GHC.TypeLits.+ frac)) => GHC.Enum.Bounded (CLaSH.Sized.Fixed.Fixed rep int frac)
- CLaSH.Sized.Fixed: instance GHC.Enum.Enum (rep (int GHC.TypeLits.+ frac)) => GHC.Enum.Enum (CLaSH.Sized.Fixed.Fixed rep int frac)
- CLaSH.Sized.Fixed: instance Test.QuickCheck.Arbitrary.Arbitrary (rep (int GHC.TypeLits.+ frac)) => Test.QuickCheck.Arbitrary.Arbitrary (CLaSH.Sized.Fixed.Fixed rep int frac)
- CLaSH.Sized.Fixed: instance Test.QuickCheck.Arbitrary.CoArbitrary (rep (int GHC.TypeLits.+ frac)) => Test.QuickCheck.Arbitrary.CoArbitrary (CLaSH.Sized.Fixed.Fixed rep int frac)
- CLaSH.Sized.Internal.BitVector: BV :: Integer -> BitVector
- CLaSH.Sized.Internal.BitVector: instance (GHC.TypeLits.KnownNat (CLaSH.Promoted.Ord.Max m n GHC.TypeLits.+ 1), GHC.TypeLits.KnownNat (m GHC.TypeLits.+ n)) => CLaSH.Class.Num.ExtendingNum (CLaSH.Sized.Internal.BitVector.BitVector m) (CLaSH.Sized.Internal.BitVector.BitVector n)
- CLaSH.Sized.Internal.BitVector: instance (GHC.TypeLits.KnownNat n, GHC.TypeLits.KnownNat (n GHC.TypeLits.+ 1), GHC.TypeLits.KnownNat (n GHC.TypeLits.+ n)) => CLaSH.Class.Num.SaturatingNum (CLaSH.Sized.Internal.BitVector.BitVector n)
- CLaSH.Sized.Internal.BitVector: instance CLaSH.Class.Resize.Resize CLaSH.Sized.Internal.BitVector.BitVector
- CLaSH.Sized.Internal.BitVector: instance Data.Default.Class.Default (CLaSH.Sized.Internal.BitVector.BitVector n)
- CLaSH.Sized.Internal.BitVector: instance GHC.Classes.Eq (CLaSH.Sized.Internal.BitVector.BitVector n)
- CLaSH.Sized.Internal.BitVector: instance GHC.Classes.Ord (CLaSH.Sized.Internal.BitVector.BitVector n)
- CLaSH.Sized.Internal.BitVector: instance GHC.TypeLits.KnownNat n => Control.Lens.At.Ixed (CLaSH.Sized.Internal.BitVector.BitVector n)
- CLaSH.Sized.Internal.BitVector: instance GHC.TypeLits.KnownNat n => Data.Bits.Bits (CLaSH.Sized.Internal.BitVector.BitVector n)
- CLaSH.Sized.Internal.BitVector: instance GHC.TypeLits.KnownNat n => Data.Bits.FiniteBits (CLaSH.Sized.Internal.BitVector.BitVector n)
- CLaSH.Sized.Internal.BitVector: instance GHC.TypeLits.KnownNat n => GHC.Enum.Bounded (CLaSH.Sized.Internal.BitVector.BitVector n)
- CLaSH.Sized.Internal.BitVector: instance GHC.TypeLits.KnownNat n => GHC.Enum.Enum (CLaSH.Sized.Internal.BitVector.BitVector n)
- CLaSH.Sized.Internal.BitVector: instance GHC.TypeLits.KnownNat n => GHC.Num.Num (CLaSH.Sized.Internal.BitVector.BitVector n)
- CLaSH.Sized.Internal.BitVector: instance GHC.TypeLits.KnownNat n => GHC.Real.Integral (CLaSH.Sized.Internal.BitVector.BitVector n)
- CLaSH.Sized.Internal.BitVector: instance GHC.TypeLits.KnownNat n => GHC.Real.Real (CLaSH.Sized.Internal.BitVector.BitVector n)
- CLaSH.Sized.Internal.BitVector: instance GHC.TypeLits.KnownNat n => GHC.Show.Show (CLaSH.Sized.Internal.BitVector.BitVector n)
- CLaSH.Sized.Internal.BitVector: instance GHC.TypeLits.KnownNat n => Language.Haskell.TH.Syntax.Lift (CLaSH.Sized.Internal.BitVector.BitVector n)
- CLaSH.Sized.Internal.BitVector: instance GHC.TypeLits.KnownNat n => Test.QuickCheck.Arbitrary.Arbitrary (CLaSH.Sized.Internal.BitVector.BitVector n)
- CLaSH.Sized.Internal.BitVector: instance GHC.TypeLits.KnownNat n => Test.QuickCheck.Arbitrary.CoArbitrary (CLaSH.Sized.Internal.BitVector.BitVector n)
- CLaSH.Sized.Internal.Index: I :: Integer -> Index
- CLaSH.Sized.Internal.Index: instance CLaSH.Class.Num.ExtendingNum (CLaSH.Sized.Internal.Index.Index m) (CLaSH.Sized.Internal.Index.Index n)
- CLaSH.Sized.Internal.Index: instance CLaSH.Class.Resize.Resize CLaSH.Sized.Internal.Index.Index
- CLaSH.Sized.Internal.Index: instance GHC.Classes.Eq (CLaSH.Sized.Internal.Index.Index n)
- CLaSH.Sized.Internal.Index: instance GHC.Classes.Ord (CLaSH.Sized.Internal.Index.Index n)
- CLaSH.Sized.Internal.Index: instance GHC.Show.Show (CLaSH.Sized.Internal.Index.Index n)
- CLaSH.Sized.Internal.Index: instance GHC.TypeLits.KnownNat n => CLaSH.Class.BitPack.BitPack (CLaSH.Sized.Internal.Index.Index n)
- CLaSH.Sized.Internal.Index: instance GHC.TypeLits.KnownNat n => Data.Default.Class.Default (CLaSH.Sized.Internal.Index.Index n)
- CLaSH.Sized.Internal.Index: instance GHC.TypeLits.KnownNat n => GHC.Enum.Bounded (CLaSH.Sized.Internal.Index.Index n)
- CLaSH.Sized.Internal.Index: instance GHC.TypeLits.KnownNat n => GHC.Enum.Enum (CLaSH.Sized.Internal.Index.Index n)
- CLaSH.Sized.Internal.Index: instance GHC.TypeLits.KnownNat n => GHC.Num.Num (CLaSH.Sized.Internal.Index.Index n)
- CLaSH.Sized.Internal.Index: instance GHC.TypeLits.KnownNat n => GHC.Real.Integral (CLaSH.Sized.Internal.Index.Index n)
- CLaSH.Sized.Internal.Index: instance GHC.TypeLits.KnownNat n => GHC.Real.Real (CLaSH.Sized.Internal.Index.Index n)
- CLaSH.Sized.Internal.Index: instance GHC.TypeLits.KnownNat n => Language.Haskell.TH.Syntax.Lift (CLaSH.Sized.Internal.Index.Index n)
- CLaSH.Sized.Internal.Index: instance GHC.TypeLits.KnownNat n => Test.QuickCheck.Arbitrary.Arbitrary (CLaSH.Sized.Internal.Index.Index n)
- CLaSH.Sized.Internal.Index: instance GHC.TypeLits.KnownNat n => Test.QuickCheck.Arbitrary.CoArbitrary (CLaSH.Sized.Internal.Index.Index n)
- CLaSH.Sized.Internal.Signed: S :: Integer -> Signed
- CLaSH.Sized.Internal.Signed: instance (GHC.TypeLits.KnownNat (1 GHC.TypeLits.+ CLaSH.Promoted.Ord.Max m n), GHC.TypeLits.KnownNat (m GHC.TypeLits.+ n)) => CLaSH.Class.Num.ExtendingNum (CLaSH.Sized.Internal.Signed.Signed m) (CLaSH.Sized.Internal.Signed.Signed n)
- CLaSH.Sized.Internal.Signed: instance (GHC.TypeLits.KnownNat n, GHC.TypeLits.KnownNat (1 GHC.TypeLits.+ n), GHC.TypeLits.KnownNat (n GHC.TypeLits.+ n)) => CLaSH.Class.Num.SaturatingNum (CLaSH.Sized.Internal.Signed.Signed n)
- CLaSH.Sized.Internal.Signed: instance CLaSH.Class.Resize.Resize CLaSH.Sized.Internal.Signed.Signed
- CLaSH.Sized.Internal.Signed: instance GHC.Classes.Eq (CLaSH.Sized.Internal.Signed.Signed n)
- CLaSH.Sized.Internal.Signed: instance GHC.Classes.Ord (CLaSH.Sized.Internal.Signed.Signed n)
- CLaSH.Sized.Internal.Signed: instance GHC.Show.Show (CLaSH.Sized.Internal.Signed.Signed n)
- CLaSH.Sized.Internal.Signed: instance GHC.TypeLits.KnownNat n => CLaSH.Class.BitPack.BitPack (CLaSH.Sized.Internal.Signed.Signed n)
- CLaSH.Sized.Internal.Signed: instance GHC.TypeLits.KnownNat n => Control.Lens.At.Ixed (CLaSH.Sized.Internal.Signed.Signed n)
- CLaSH.Sized.Internal.Signed: instance GHC.TypeLits.KnownNat n => Data.Bits.Bits (CLaSH.Sized.Internal.Signed.Signed n)
- CLaSH.Sized.Internal.Signed: instance GHC.TypeLits.KnownNat n => Data.Bits.FiniteBits (CLaSH.Sized.Internal.Signed.Signed n)
- CLaSH.Sized.Internal.Signed: instance GHC.TypeLits.KnownNat n => Data.Default.Class.Default (CLaSH.Sized.Internal.Signed.Signed n)
- CLaSH.Sized.Internal.Signed: instance GHC.TypeLits.KnownNat n => GHC.Enum.Bounded (CLaSH.Sized.Internal.Signed.Signed n)
- CLaSH.Sized.Internal.Signed: instance GHC.TypeLits.KnownNat n => GHC.Enum.Enum (CLaSH.Sized.Internal.Signed.Signed n)
- CLaSH.Sized.Internal.Signed: instance GHC.TypeLits.KnownNat n => GHC.Num.Num (CLaSH.Sized.Internal.Signed.Signed n)
- CLaSH.Sized.Internal.Signed: instance GHC.TypeLits.KnownNat n => GHC.Real.Integral (CLaSH.Sized.Internal.Signed.Signed n)
- CLaSH.Sized.Internal.Signed: instance GHC.TypeLits.KnownNat n => GHC.Real.Real (CLaSH.Sized.Internal.Signed.Signed n)
- CLaSH.Sized.Internal.Signed: instance GHC.TypeLits.KnownNat n => Language.Haskell.TH.Syntax.Lift (CLaSH.Sized.Internal.Signed.Signed n)
- CLaSH.Sized.Internal.Signed: instance GHC.TypeLits.KnownNat n => Test.QuickCheck.Arbitrary.Arbitrary (CLaSH.Sized.Internal.Signed.Signed n)
- CLaSH.Sized.Internal.Signed: instance GHC.TypeLits.KnownNat n => Test.QuickCheck.Arbitrary.CoArbitrary (CLaSH.Sized.Internal.Signed.Signed n)
- CLaSH.Sized.Internal.Unsigned: U :: Integer -> Unsigned
- CLaSH.Sized.Internal.Unsigned: instance (GHC.TypeLits.KnownNat (1 GHC.TypeLits.+ CLaSH.Promoted.Ord.Max m n), GHC.TypeLits.KnownNat (m GHC.TypeLits.+ n)) => CLaSH.Class.Num.ExtendingNum (CLaSH.Sized.Internal.Unsigned.Unsigned m) (CLaSH.Sized.Internal.Unsigned.Unsigned n)
- CLaSH.Sized.Internal.Unsigned: instance (GHC.TypeLits.KnownNat n, GHC.TypeLits.KnownNat (1 GHC.TypeLits.+ n), GHC.TypeLits.KnownNat (n GHC.TypeLits.+ n)) => CLaSH.Class.Num.SaturatingNum (CLaSH.Sized.Internal.Unsigned.Unsigned n)
- CLaSH.Sized.Internal.Unsigned: instance CLaSH.Class.BitPack.BitPack (CLaSH.Sized.Internal.Unsigned.Unsigned n)
- CLaSH.Sized.Internal.Unsigned: instance CLaSH.Class.Resize.Resize CLaSH.Sized.Internal.Unsigned.Unsigned
- CLaSH.Sized.Internal.Unsigned: instance Data.Default.Class.Default (CLaSH.Sized.Internal.Unsigned.Unsigned n)
- CLaSH.Sized.Internal.Unsigned: instance GHC.Classes.Eq (CLaSH.Sized.Internal.Unsigned.Unsigned n)
- CLaSH.Sized.Internal.Unsigned: instance GHC.Classes.Ord (CLaSH.Sized.Internal.Unsigned.Unsigned n)
- CLaSH.Sized.Internal.Unsigned: instance GHC.Show.Show (CLaSH.Sized.Internal.Unsigned.Unsigned n)
- CLaSH.Sized.Internal.Unsigned: instance GHC.TypeLits.KnownNat n => Control.Lens.At.Ixed (CLaSH.Sized.Internal.Unsigned.Unsigned n)
- CLaSH.Sized.Internal.Unsigned: instance GHC.TypeLits.KnownNat n => Data.Bits.Bits (CLaSH.Sized.Internal.Unsigned.Unsigned n)
- CLaSH.Sized.Internal.Unsigned: instance GHC.TypeLits.KnownNat n => Data.Bits.FiniteBits (CLaSH.Sized.Internal.Unsigned.Unsigned n)
- CLaSH.Sized.Internal.Unsigned: instance GHC.TypeLits.KnownNat n => GHC.Enum.Bounded (CLaSH.Sized.Internal.Unsigned.Unsigned n)
- CLaSH.Sized.Internal.Unsigned: instance GHC.TypeLits.KnownNat n => GHC.Enum.Enum (CLaSH.Sized.Internal.Unsigned.Unsigned n)
- CLaSH.Sized.Internal.Unsigned: instance GHC.TypeLits.KnownNat n => GHC.Num.Num (CLaSH.Sized.Internal.Unsigned.Unsigned n)
- CLaSH.Sized.Internal.Unsigned: instance GHC.TypeLits.KnownNat n => GHC.Real.Integral (CLaSH.Sized.Internal.Unsigned.Unsigned n)
- CLaSH.Sized.Internal.Unsigned: instance GHC.TypeLits.KnownNat n => GHC.Real.Real (CLaSH.Sized.Internal.Unsigned.Unsigned n)
- CLaSH.Sized.Internal.Unsigned: instance GHC.TypeLits.KnownNat n => Language.Haskell.TH.Syntax.Lift (CLaSH.Sized.Internal.Unsigned.Unsigned n)
- CLaSH.Sized.Internal.Unsigned: instance GHC.TypeLits.KnownNat n => Test.QuickCheck.Arbitrary.Arbitrary (CLaSH.Sized.Internal.Unsigned.Unsigned n)
- CLaSH.Sized.Internal.Unsigned: instance GHC.TypeLits.KnownNat n => Test.QuickCheck.Arbitrary.CoArbitrary (CLaSH.Sized.Internal.Unsigned.Unsigned n)
- CLaSH.Sized.Vector: Cons :: a -> Vec n a -> Vec (n + 1) a
- CLaSH.Sized.Vector: Nil :: Vec 0 a
- CLaSH.Sized.Vector: instance (Data.Default.Class.Default a, GHC.TypeLits.KnownNat n) => Data.Default.Class.Default (CLaSH.Sized.Vector.Vec n a)
- CLaSH.Sized.Vector: instance (GHC.TypeLits.KnownNat m, m ~ (n GHC.TypeLits.+ 1)) => Data.Foldable.Foldable (CLaSH.Sized.Vector.Vec m)
- CLaSH.Sized.Vector: instance (GHC.TypeLits.KnownNat m, m ~ (n GHC.TypeLits.+ 1)) => Data.Traversable.Traversable (CLaSH.Sized.Vector.Vec m)
- CLaSH.Sized.Vector: instance (GHC.TypeLits.KnownNat n, GHC.TypeLits.KnownNat (CLaSH.Class.BitPack.BitSize a), CLaSH.Class.BitPack.BitPack a) => CLaSH.Class.BitPack.BitPack (CLaSH.Sized.Vector.Vec n a)
- CLaSH.Sized.Vector: instance (GHC.TypeLits.KnownNat n, Test.QuickCheck.Arbitrary.Arbitrary a) => Test.QuickCheck.Arbitrary.Arbitrary (CLaSH.Sized.Vector.Vec n a)
- CLaSH.Sized.Vector: instance GHC.Base.Functor (CLaSH.Sized.Vector.Vec n)
- CLaSH.Sized.Vector: instance GHC.Classes.Eq a => GHC.Classes.Eq (CLaSH.Sized.Vector.Vec n a)
- CLaSH.Sized.Vector: instance GHC.Classes.Ord a => GHC.Classes.Ord (CLaSH.Sized.Vector.Vec n a)
- CLaSH.Sized.Vector: instance GHC.Show.Show a => GHC.Show.Show (CLaSH.Sized.Vector.Vec n a)
- CLaSH.Sized.Vector: instance GHC.TypeLits.KnownNat n => Control.Lens.At.Ixed (CLaSH.Sized.Vector.Vec n a)
- CLaSH.Sized.Vector: instance GHC.TypeLits.KnownNat n => GHC.Base.Applicative (CLaSH.Sized.Vector.Vec n)
- CLaSH.Sized.Vector: instance Language.Haskell.TH.Syntax.Lift a => Language.Haskell.TH.Syntax.Lift (CLaSH.Sized.Vector.Vec n a)
- CLaSH.Sized.Vector: instance Test.QuickCheck.Arbitrary.CoArbitrary a => Test.QuickCheck.Arbitrary.CoArbitrary (CLaSH.Sized.Vector.Vec n a)
+ CLaSH.Annotations.TopEntity: [ClockSource] :: String -> Maybe (String, String) -> [(String, String)] -> Maybe (String, String) -> String -> Bool -> ClockSource
+ CLaSH.Annotations.TopEntity: [TopEntity] :: String -> [String] -> [String] -> [(String, Int)] -> [(String, Int)] -> [ClockSource] -> TopEntity
+ CLaSH.Annotations.TopEntity: instance [safe] Data ClockSource
+ CLaSH.Annotations.TopEntity: instance [safe] Data TopEntity
+ CLaSH.Annotations.TopEntity: instance [safe] Show ClockSource
+ CLaSH.Annotations.TopEntity: instance [safe] Show TopEntity
+ CLaSH.Class.BitPack: instance (KnownNat (BitSize b), BitPack a, BitPack b) => BitPack (a, b)
+ CLaSH.Class.BitPack: instance BitPack (BitVector n)
+ CLaSH.Class.BitPack: instance BitPack Bool
+ CLaSH.Class.Num: [SatBound] :: SaturationMode
+ CLaSH.Class.Num: [SatSymmetric] :: SaturationMode
+ CLaSH.Class.Num: [SatWrap] :: SaturationMode
+ CLaSH.Class.Num: [SatZero] :: SaturationMode
+ CLaSH.Class.Num: instance [safe] Eq SaturationMode
+ CLaSH.Prelude.DataFlow: instance [safe] (LockStep a x, LockStep b y) => LockStep (a, b) (x, y)
+ CLaSH.Prelude.DataFlow: instance [safe] LockStep Bool c
+ CLaSH.Promoted.Nat: [SNat] :: (Proxy n) -> SNat
+ CLaSH.Promoted.Nat: [USucc] :: UNat n -> UNat (n + 1)
+ CLaSH.Promoted.Nat: [UZero] :: UNat 0
+ CLaSH.Promoted.Nat: instance Show (SNat n)
+ CLaSH.Promoted.Symbol: [SSymbol] :: (Proxy s) -> SSymbol
+ CLaSH.Promoted.Symbol: instance [safe] Show (SSymbol s)
+ CLaSH.Signal.Bundle: instance Bundle ()
+ CLaSH.Signal.Bundle: instance Bundle (BitVector n)
+ CLaSH.Signal.Bundle: instance Bundle (Either a b)
+ CLaSH.Signal.Bundle: instance Bundle (Fixed rep int frac)
+ CLaSH.Signal.Bundle: instance Bundle (Index n)
+ CLaSH.Signal.Bundle: instance Bundle (Maybe a)
+ CLaSH.Signal.Bundle: instance Bundle (Signed n)
+ CLaSH.Signal.Bundle: instance Bundle (Unsigned n)
+ CLaSH.Signal.Bundle: instance Bundle (a, b)
+ CLaSH.Signal.Bundle: instance Bundle (a, b, c)
+ CLaSH.Signal.Bundle: instance Bundle (a, b, c, d)
+ CLaSH.Signal.Bundle: instance Bundle (a, b, c, d, e)
+ CLaSH.Signal.Bundle: instance Bundle (a, b, c, d, e, f)
+ CLaSH.Signal.Bundle: instance Bundle (a, b, c, d, e, f, g)
+ CLaSH.Signal.Bundle: instance Bundle (a, b, c, d, e, f, g, h)
+ CLaSH.Signal.Bundle: instance Bundle Bool
+ CLaSH.Signal.Bundle: instance Bundle Double
+ CLaSH.Signal.Bundle: instance Bundle Float
+ CLaSH.Signal.Bundle: instance Bundle Int
+ CLaSH.Signal.Bundle: instance Bundle Integer
+ CLaSH.Signal.Bundle: instance KnownNat n => Bundle (Vec n a)
+ CLaSH.Signal.Delayed: instance (Num a, Ord a) => Real (DSignal delay a)
+ CLaSH.Signal.Delayed: instance Applicative (DSignal delay)
+ CLaSH.Signal.Delayed: instance Arbitrary a => Arbitrary (DSignal delay a)
+ CLaSH.Signal.Delayed: instance Bits a => Bits (DSignal delay a)
+ CLaSH.Signal.Delayed: instance Bounded a => Bounded (DSignal delay a)
+ CLaSH.Signal.Delayed: instance CoArbitrary a => CoArbitrary (DSignal delay a)
+ CLaSH.Signal.Delayed: instance Default a => Default (DSignal delay a)
+ CLaSH.Signal.Delayed: instance Enum a => Enum (DSignal delay a)
+ CLaSH.Signal.Delayed: instance Eq (DSignal delay a)
+ CLaSH.Signal.Delayed: instance ExtendingNum a b => ExtendingNum (DSignal n a) (DSignal n b)
+ CLaSH.Signal.Delayed: instance FiniteBits a => FiniteBits (DSignal delay a)
+ CLaSH.Signal.Delayed: instance Foldable (DSignal delay)
+ CLaSH.Signal.Delayed: instance Fractional a => Fractional (DSignal delay a)
+ CLaSH.Signal.Delayed: instance Functor (DSignal delay)
+ CLaSH.Signal.Delayed: instance Integral a => Integral (DSignal delay a)
+ CLaSH.Signal.Delayed: instance Lift a => Lift (DSignal delay a)
+ CLaSH.Signal.Delayed: instance Num a => Num (DSignal delay a)
+ CLaSH.Signal.Delayed: instance Ord a => Ord (DSignal delay a)
+ CLaSH.Signal.Delayed: instance SaturatingNum a => SaturatingNum (DSignal delay a)
+ CLaSH.Signal.Delayed: instance Show a => Show (DSignal delay a)
+ CLaSH.Signal.Delayed: instance Traversable (DSignal delay)
+ CLaSH.Signal.Explicit: [Clk] :: Symbol -> Nat -> Clock
+ CLaSH.Signal.Explicit: [SClock] :: SSymbol name -> SNat period -> SClock (Clk name period)
+ CLaSH.Signal.Internal: [:-] :: a -> Signal' clk a -> Signal' a
+ CLaSH.Signal.Internal: [Clk] :: Symbol -> Nat -> Clock
+ CLaSH.Signal.Internal: [SClock] :: SSymbol name -> SNat period -> SClock (Clk name period)
+ CLaSH.Signal.Internal: instance (Num a, Ord a) => Real (Signal' clk a)
+ CLaSH.Signal.Internal: instance Applicative (Signal' clk)
+ CLaSH.Signal.Internal: instance Arbitrary a => Arbitrary (Signal' clk a)
+ CLaSH.Signal.Internal: instance Bits a => Bits (Signal' clk a)
+ CLaSH.Signal.Internal: instance Bounded a => Bounded (Signal' clk a)
+ CLaSH.Signal.Internal: instance CoArbitrary a => CoArbitrary (Signal' clk a)
+ CLaSH.Signal.Internal: instance Default a => Default (Signal' clk a)
+ CLaSH.Signal.Internal: instance Enum a => Enum (Signal' clk a)
+ CLaSH.Signal.Internal: instance Eq (Signal' clk a)
+ CLaSH.Signal.Internal: instance ExtendingNum a b => ExtendingNum (Signal' clk a) (Signal' clk b)
+ CLaSH.Signal.Internal: instance FiniteBits a => FiniteBits (Signal' clk a)
+ CLaSH.Signal.Internal: instance Foldable (Signal' clk)
+ CLaSH.Signal.Internal: instance Fractional a => Fractional (Signal' clk a)
+ CLaSH.Signal.Internal: instance Functor (Signal' clk)
+ CLaSH.Signal.Internal: instance Integral a => Integral (Signal' clk a)
+ CLaSH.Signal.Internal: instance Lift a => Lift (Signal' clk a)
+ CLaSH.Signal.Internal: instance Num a => Num (Signal' clk a)
+ CLaSH.Signal.Internal: instance Ord a => Ord (Signal' clk a)
+ CLaSH.Signal.Internal: instance SaturatingNum a => SaturatingNum (Signal' clk a)
+ CLaSH.Signal.Internal: instance Show (SClock clk)
+ CLaSH.Signal.Internal: instance Show a => Show (Signal' clk a)
+ CLaSH.Signal.Internal: instance Traversable (Signal' clk)
+ CLaSH.Sized.Fixed: [Fixed] :: rep (int + frac) -> Fixed
+ CLaSH.Sized.Fixed: instance (Lift (rep (int + frac)), KnownNat frac, KnownNat int, Typeable rep) => Lift (Fixed rep int frac)
+ CLaSH.Sized.Fixed: instance (size ~ (int + frac), KnownNat frac, Integral (rep size)) => Show (Fixed rep int frac)
+ CLaSH.Sized.Fixed: instance Arbitrary (rep (int + frac)) => Arbitrary (Fixed rep int frac)
+ CLaSH.Sized.Fixed: instance BitPack (rep (int + frac)) => BitPack (Fixed rep int frac)
+ CLaSH.Sized.Fixed: instance Bits (rep (int + frac)) => Bits (Fixed rep int frac)
+ CLaSH.Sized.Fixed: instance Bounded (rep (int + frac)) => Bounded (Fixed rep int frac)
+ CLaSH.Sized.Fixed: instance CoArbitrary (rep (int + frac)) => CoArbitrary (Fixed rep int frac)
+ CLaSH.Sized.Fixed: instance Default (rep (int + frac)) => Default (Fixed rep int frac)
+ CLaSH.Sized.Fixed: instance ENumFixedC rep int1 frac1 int2 frac2 => ExtendingNum (Fixed rep int1 frac1) (Fixed rep int2 frac2)
+ CLaSH.Sized.Fixed: instance Enum (rep (int + frac)) => Enum (Fixed rep int frac)
+ CLaSH.Sized.Fixed: instance Eq (rep (int + frac)) => Eq (Fixed rep int frac)
+ CLaSH.Sized.Fixed: instance FracFixedC rep int frac => Fractional (Fixed rep int frac)
+ CLaSH.Sized.Fixed: instance NumFixedC rep int frac => Num (Fixed rep int frac)
+ CLaSH.Sized.Fixed: instance NumFixedC rep int frac => SaturatingNum (Fixed rep int frac)
+ CLaSH.Sized.Fixed: instance Ord (rep (int + frac)) => Ord (Fixed rep int frac)
+ CLaSH.Sized.Internal.BitVector: [BV] :: Integer -> BitVector
+ CLaSH.Sized.Internal.BitVector: instance (KnownNat (Max m n + 1), KnownNat (m + n)) => ExtendingNum (BitVector m) (BitVector n)
+ CLaSH.Sized.Internal.BitVector: instance (KnownNat n, KnownNat (n + 1), KnownNat (n + n)) => SaturatingNum (BitVector n)
+ CLaSH.Sized.Internal.BitVector: instance Default (BitVector n)
+ CLaSH.Sized.Internal.BitVector: instance Eq (BitVector n)
+ CLaSH.Sized.Internal.BitVector: instance KnownNat n => Arbitrary (BitVector n)
+ CLaSH.Sized.Internal.BitVector: instance KnownNat n => Bits (BitVector n)
+ CLaSH.Sized.Internal.BitVector: instance KnownNat n => Bounded (BitVector n)
+ CLaSH.Sized.Internal.BitVector: instance KnownNat n => CoArbitrary (BitVector n)
+ CLaSH.Sized.Internal.BitVector: instance KnownNat n => Enum (BitVector n)
+ CLaSH.Sized.Internal.BitVector: instance KnownNat n => FiniteBits (BitVector n)
+ CLaSH.Sized.Internal.BitVector: instance KnownNat n => Integral (BitVector n)
+ CLaSH.Sized.Internal.BitVector: instance KnownNat n => Ixed (BitVector n)
+ CLaSH.Sized.Internal.BitVector: instance KnownNat n => Lift (BitVector n)
+ CLaSH.Sized.Internal.BitVector: instance KnownNat n => Num (BitVector n)
+ CLaSH.Sized.Internal.BitVector: instance KnownNat n => Real (BitVector n)
+ CLaSH.Sized.Internal.BitVector: instance KnownNat n => Show (BitVector n)
+ CLaSH.Sized.Internal.BitVector: instance Ord (BitVector n)
+ CLaSH.Sized.Internal.BitVector: instance Resize BitVector
+ CLaSH.Sized.Internal.Index: [I] :: Integer -> Index
+ CLaSH.Sized.Internal.Index: instance Eq (Index n)
+ CLaSH.Sized.Internal.Index: instance ExtendingNum (Index m) (Index n)
+ CLaSH.Sized.Internal.Index: instance KnownNat n => Arbitrary (Index n)
+ CLaSH.Sized.Internal.Index: instance KnownNat n => BitPack (Index n)
+ CLaSH.Sized.Internal.Index: instance KnownNat n => Bounded (Index n)
+ CLaSH.Sized.Internal.Index: instance KnownNat n => CoArbitrary (Index n)
+ CLaSH.Sized.Internal.Index: instance KnownNat n => Default (Index n)
+ CLaSH.Sized.Internal.Index: instance KnownNat n => Enum (Index n)
+ CLaSH.Sized.Internal.Index: instance KnownNat n => Integral (Index n)
+ CLaSH.Sized.Internal.Index: instance KnownNat n => Lift (Index n)
+ CLaSH.Sized.Internal.Index: instance KnownNat n => Num (Index n)
+ CLaSH.Sized.Internal.Index: instance KnownNat n => Real (Index n)
+ CLaSH.Sized.Internal.Index: instance Ord (Index n)
+ CLaSH.Sized.Internal.Index: instance Resize Index
+ CLaSH.Sized.Internal.Index: instance Show (Index n)
+ CLaSH.Sized.Internal.Signed: [S] :: Integer -> Signed
+ CLaSH.Sized.Internal.Signed: instance (KnownNat (1 + Max m n), KnownNat (m + n)) => ExtendingNum (Signed m) (Signed n)
+ CLaSH.Sized.Internal.Signed: instance (KnownNat n, KnownNat (1 + n), KnownNat (n + n)) => SaturatingNum (Signed n)
+ CLaSH.Sized.Internal.Signed: instance Eq (Signed n)
+ CLaSH.Sized.Internal.Signed: instance KnownNat n => Arbitrary (Signed n)
+ CLaSH.Sized.Internal.Signed: instance KnownNat n => BitPack (Signed n)
+ CLaSH.Sized.Internal.Signed: instance KnownNat n => Bits (Signed n)
+ CLaSH.Sized.Internal.Signed: instance KnownNat n => Bounded (Signed n)
+ CLaSH.Sized.Internal.Signed: instance KnownNat n => CoArbitrary (Signed n)
+ CLaSH.Sized.Internal.Signed: instance KnownNat n => Default (Signed n)
+ CLaSH.Sized.Internal.Signed: instance KnownNat n => Enum (Signed n)
+ CLaSH.Sized.Internal.Signed: instance KnownNat n => FiniteBits (Signed n)
+ CLaSH.Sized.Internal.Signed: instance KnownNat n => Integral (Signed n)
+ CLaSH.Sized.Internal.Signed: instance KnownNat n => Ixed (Signed n)
+ CLaSH.Sized.Internal.Signed: instance KnownNat n => Lift (Signed n)
+ CLaSH.Sized.Internal.Signed: instance KnownNat n => Num (Signed n)
+ CLaSH.Sized.Internal.Signed: instance KnownNat n => Real (Signed n)
+ CLaSH.Sized.Internal.Signed: instance Ord (Signed n)
+ CLaSH.Sized.Internal.Signed: instance Resize Signed
+ CLaSH.Sized.Internal.Signed: instance Show (Signed n)
+ CLaSH.Sized.Internal.Unsigned: [U] :: Integer -> Unsigned
+ CLaSH.Sized.Internal.Unsigned: instance (KnownNat (1 + Max m n), KnownNat (m + n)) => ExtendingNum (Unsigned m) (Unsigned n)
+ CLaSH.Sized.Internal.Unsigned: instance (KnownNat n, KnownNat (1 + n), KnownNat (n + n)) => SaturatingNum (Unsigned n)
+ CLaSH.Sized.Internal.Unsigned: instance BitPack (Unsigned n)
+ CLaSH.Sized.Internal.Unsigned: instance Default (Unsigned n)
+ CLaSH.Sized.Internal.Unsigned: instance Eq (Unsigned n)
+ CLaSH.Sized.Internal.Unsigned: instance KnownNat n => Arbitrary (Unsigned n)
+ CLaSH.Sized.Internal.Unsigned: instance KnownNat n => Bits (Unsigned n)
+ CLaSH.Sized.Internal.Unsigned: instance KnownNat n => Bounded (Unsigned n)
+ CLaSH.Sized.Internal.Unsigned: instance KnownNat n => CoArbitrary (Unsigned n)
+ CLaSH.Sized.Internal.Unsigned: instance KnownNat n => Enum (Unsigned n)
+ CLaSH.Sized.Internal.Unsigned: instance KnownNat n => FiniteBits (Unsigned n)
+ CLaSH.Sized.Internal.Unsigned: instance KnownNat n => Integral (Unsigned n)
+ CLaSH.Sized.Internal.Unsigned: instance KnownNat n => Ixed (Unsigned n)
+ CLaSH.Sized.Internal.Unsigned: instance KnownNat n => Lift (Unsigned n)
+ CLaSH.Sized.Internal.Unsigned: instance KnownNat n => Num (Unsigned n)
+ CLaSH.Sized.Internal.Unsigned: instance KnownNat n => Real (Unsigned n)
+ CLaSH.Sized.Internal.Unsigned: instance Ord (Unsigned n)
+ CLaSH.Sized.Internal.Unsigned: instance Resize Unsigned
+ CLaSH.Sized.Internal.Unsigned: instance Show (Unsigned n)
+ CLaSH.Sized.Vector: [Cons] :: a -> Vec n a -> Vec (n + 1) a
+ CLaSH.Sized.Vector: [Nil] :: Vec 0 a
+ CLaSH.Sized.Vector: instance (Default a, KnownNat n) => Default (Vec n a)
+ CLaSH.Sized.Vector: instance (KnownNat m, m ~ (n + 1)) => Foldable (Vec m)
+ CLaSH.Sized.Vector: instance (KnownNat m, m ~ (n + 1)) => Traversable (Vec m)
+ CLaSH.Sized.Vector: instance (KnownNat n, Arbitrary a) => Arbitrary (Vec n a)
+ CLaSH.Sized.Vector: instance (KnownNat n, KnownNat (BitSize a), BitPack a) => BitPack (Vec n a)
+ CLaSH.Sized.Vector: instance CoArbitrary a => CoArbitrary (Vec n a)
+ CLaSH.Sized.Vector: instance Eq a => Eq (Vec n a)
+ CLaSH.Sized.Vector: instance Functor (Vec n)
+ CLaSH.Sized.Vector: instance KnownNat n => Applicative (Vec n)
+ CLaSH.Sized.Vector: instance KnownNat n => Ixed (Vec n a)
+ CLaSH.Sized.Vector: instance Lift a => Lift (Vec n a)
+ CLaSH.Sized.Vector: instance Ord a => Ord (Vec n a)
+ CLaSH.Sized.Vector: instance Show a => Show (Vec n a)

Files

CHANGELOG.md view
@@ -1,7 +1,12 @@ # Changelog for [`clash-prelude` package](http://hackage.haskell.org/package/clash-prelude) +## 0.10.3 *October 24th 2015*+* Disable CPR analysis (See https://github.com/clash-lang/clash-compiler/commit/721fcfa9198925661cd836668705f817bddaae3c):+  * GHC < 7.11: In all modules using `-fcpr-off`+  * GHC >= 7.11: In `CLaSH.Signal.Internal` and `CLaSH.Prelude.RAM` using `-fno-cpr-anal`+ ## 0.10.2 *October 21st 2015*-* New features+* New features:   * `ExtendingNum`, `BitPack`, and `Resize` instance for `Index`   * Add `bv2i`: convert `BitVector n` to `Index (2^n)`   * Export type-level operations from [ghc-typelits-extra](http://hackage.haskell.org/package/ghc-typelits-extra)
clash-prelude.cabal view
@@ -1,5 +1,5 @@ Name:                 clash-prelude-Version:              0.10.2+Version:              0.10.3 Synopsis:             CAES Language for Synchronous Hardware - Prelude library Description:   CλaSH (pronounced ‘clash’) is a functional hardware description language that@@ -159,13 +159,17 @@                       ghc-typelits-natnormalise >= 0.3,                       lens                      >= 4.9,                       QuickCheck                >= 2.7 && <2.9,-                      reflection                >= 0.2,+                      reflection                >= 2,                       singletons                >= 1.0 && <3.0,                       template-haskell          >= 2.9.0.0 -  -- Newer GHCs have -XDeriveLift   if impl(ghc<7.11)+    -- Newer GHCs have -XDeriveLift     Build-depends:    th-lift                   >= 0.5.6+    -- Newer GHCs have a -fno-cpr-anal dynflag which we can enable per module+    -- See: https://github.com/clash-lang/clash-compiler/commit/721fcfa9198925661cd836668705f817bddaae3c+    -- as to why we need this.+    ghc-options:      -fcpr-off    if flag(doclinks)     CPP-Options:      -DDOCLINKS
src/CLaSH/Prelude/RAM.hs view
@@ -1,3 +1,4 @@+{-# LANGUAGE CPP                 #-} {-# LANGUAGE DataKinds           #-} {-# LANGUAGE FlexibleContexts    #-} {-# LANGUAGE MagicHash           #-}@@ -6,6 +7,12 @@ {-# LANGUAGE TypeOperators       #-}  {-# LANGUAGE Safe #-}++-- See: https://github.com/clash-lang/clash-compiler/commit/721fcfa9198925661cd836668705f817bddaae3c+-- as to why we need this.+#if __GLASGOW_HASKELL__ > 711+{-# OPTIONS_GHC -fno-cpr-anal #-}+#endif  {-# OPTIONS_HADDOCK show-extensions #-} 
src/CLaSH/Signal/Internal.hs view
@@ -1,3 +1,4 @@+{-# LANGUAGE CPP                   #-} {-# LANGUAGE DataKinds             #-} {-# LANGUAGE FlexibleInstances     #-} {-# LANGUAGE GADTs                 #-}@@ -10,11 +11,11 @@  {-# LANGUAGE Unsafe #-} --- Until we have a -fcpr-off DynFlag (it currently exists only as a StaticFlag),--- we just disable strictness analysis for this module completely. See--- https://github.com/clash-lang/clash-compiler/commit/721fcfa9198925661cd836668705f817bddaae3c--- for more details-{-# OPTIONS_GHC -fno-strictness #-}+-- See: https://github.com/clash-lang/clash-compiler/commit/721fcfa9198925661cd836668705f817bddaae3c+-- as to why we need this.+#if __GLASGOW_HASKELL__ > 711+{-# OPTIONS_GHC -fno-cpr-anal #-}+#endif  {-# OPTIONS_HADDOCK show-extensions #-}