| Copyright | (C) 2021-2022 QBayLogic B.V. |
|---|---|
| License | BSD2 (see the file LICENSE) |
| Maintainer | QBayLogic B.V. <[email protected]> |
| Safe Haskell | None |
| Language | Haskell2010 |
Clash.Hedgehog.Sized.Signed
Description
Random generation of Signed numbers.
Documentation
genSigned :: forall m (n :: Nat). (MonadGen m, KnownNat n) => Range (Signed n) -> m (Signed n) Source #
data SomeSigned (atLeast :: Natural) where Source #
Constructors
| SomeSigned :: forall (n :: Nat) (atLeast :: Natural). SNat n -> Signed (atLeast + n) -> SomeSigned atLeast |
Instances
| KnownNat atLeast => Show (SomeSigned atLeast) Source # | |
Defined in Clash.Hedgehog.Sized.Signed Methods showsPrec :: Int -> SomeSigned atLeast -> ShowS # show :: SomeSigned atLeast -> String # showList :: [SomeSigned atLeast] -> ShowS # | |
genSomeSigned :: forall m (atLeast :: Nat). (MonadGen m, KnownNat atLeast) => Range Natural -> m (SomeSigned atLeast) Source #