Hoogle Search

Within LTS Haskell 24.51 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. type ENumSFixedC (int1 :: Nat) (frac1 :: Nat) (int2 :: Natural) (frac2 :: Natural) = (KnownNat int2 + frac2, KnownNat 1 + Max int1 int2 + Max frac1 frac2, KnownNat Max frac1 frac2, KnownNat 1 + Max int1 int2, KnownNat int1 + frac1, KnownNat frac2, KnownNat int2, KnownNat frac1, KnownNat int1)

   clash-prelude	Clash.Sized.Fixed

   Constraint for the ExtendingNum instance of SFixed

2. type ENumUFixedC (int1 :: Nat) (frac1 :: Nat) (int2 :: Natural) (frac2 :: Natural) = ENumSFixedC int1 frac1 int2 frac2

   clash-prelude	Clash.Sized.Fixed

   Constraint for the ExtendingNum instance of UFixed

3. enumFrom# :: forall (n :: Nat) . KnownNat n => BitVector n -> [BitVector n]

   clash-prelude	Clash.Sized.Internal.BitVector

   No documentation available.

4. enumFromThen# :: forall (n :: Nat) . KnownNat n => BitVector n -> BitVector n -> [BitVector n]

   clash-prelude	Clash.Sized.Internal.BitVector

   No documentation available.

5. enumFromThenTo# :: forall (n :: Nat) . KnownNat n => BitVector n -> BitVector n -> BitVector n -> [BitVector n]

   clash-prelude	Clash.Sized.Internal.BitVector

   No documentation available.

6. enumFromTo# :: forall (n :: Nat) . KnownNat n => BitVector n -> BitVector n -> [BitVector n]

   clash-prelude	Clash.Sized.Internal.BitVector

   No documentation available.

7. fromEnum# :: forall (n :: Nat) . KnownNat n => BitVector n -> Int

   clash-prelude	Clash.Sized.Internal.BitVector

   No documentation available.

8. toEnum# :: forall (n :: Nat) . KnownNat n => Int -> BitVector n

   clash-prelude	Clash.Sized.Internal.BitVector

   No documentation available.

9. toEnum## :: Int -> Bit

   clash-prelude	Clash.Sized.Internal.BitVector

   No documentation available.

10. enumFrom# :: forall (n :: Nat) . KnownNat n => Index n -> [Index n]

    clash-prelude	Clash.Sized.Internal.Index

    No documentation available.

Page 377 of many | Previous | Next