Copyright	(C) 2021-2022 QBayLogic B.V.
License	BSD2 (see the file LICENSE)
Maintainer	QBayLogic B.V. <devops@qbaylogic.com>
Safe Haskell	None
Language	Haskell2010

Clash.Hedgehog.Sized.RTree

Description

Random generation of RTree.

Documentation

genRTree :: (MonadGen m, KnownNat n) => m a -> m (RTree n a) Source #

genNonEmptyRTree :: (MonadGen m, KnownNat n, 1 <= n) => m a -> m (RTree n a) Source #

data SomeRTree atLeast a where Source #

Constructors

SomeRTree :: SNat n -> RTree (atLeast + n) a -> SomeRTree atLeast a

Instances details

(KnownNat atLeast, Show a) => Show (SomeRTree atLeast a) Source #
Instance details Defined in Clash.Hedgehog.Sized.RTree Methods showsPrec :: Int -> SomeRTree atLeast a -> ShowS # show :: SomeRTree atLeast a -> String # showList :: [SomeRTree atLeast a] -> ShowS #