Safe Haskell	Safe-Inferred
Language	Haskell2010

Test.Cardano.Ledger.Constrained.Size

Synopsis

data Size where
- SzNever [String]
- SzAny
- SzLeast Int
- SzMost Int
- SzRng Int Int
- pattern SzExact ∷ Int → Size
seps ∷ [String] → String
sepsP ∷ [String] → String
sepn ∷ [String] → String
runSize ∷ Int → Size → Bool
atLeastDelta ∷ Int
atMostAny ∷ Int
genFromSize ∷ Size → Gen Int
genFromIntRange ∷ Size → Gen Int
genFromNonNegIntRange ∷ Size → Gen Int
negateSize ∷ Size → Size
mergeSize ∷ Size → Size → Size

Documentation

data Size Source #

Constructors

SzNever [String]
SzAny
SzLeast Int
SzMost Int
SzRng Int Int	Size is in the range from `i` to `j` inclusive: `SzRng i j = [i .. j]`. Invariant `i <= j`

Bundled Patterns

pattern SzExact ∷ Int → Size

Instances

Instances details

Monoid Size Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Size Methods mempty ∷ Size # mappend ∷ Size → Size → Size # mconcat ∷ [Size] → Size #
Semigroup Size Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Size Methods (<>) ∷ Size → Size → Size # sconcat ∷ NonEmpty Size → Size # stimes ∷ Integral b ⇒ b → Size → Size #
Show Size Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Size Methods showsPrec ∷ Int → Size → ShowS # show ∷ Size → String # showList ∷ [Size] → ShowS #
LiftT Size Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Size Methods liftT ∷ Size → Typed Size Source # dropT ∷ Typed Size → Size Source #
Eq Size Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Size Methods (==) ∷ Size → Size → Bool # (/=) ∷ Size → Size → Bool #
Ord Size Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.Size Methods compare ∷ Size → Size → Ordering # (<) ∷ Size → Size → Bool # (<=) ∷ Size → Size → Bool # (>) ∷ Size → Size → Bool # (>=) ∷ Size → Size → Bool # max ∷ Size → Size → Size # min ∷ Size → Size → Size #
Specification Size Int Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.SpecClass Associated Types type Count Size Source # type Generators Size Source # type Reps Size Source # type Lenses Size Source # Methods runS ∷ Int → Size → Bool Source # genS ∷ [String] → Count Size → Generators Size → Reps Size → Lenses Size → Gen Size Source # sizeForS ∷ Size → Size Source # genFromS ∷ [String] → Int → Generators Size → Size → Gen Int Source #
type Count Size Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.SpecClass type Count Size = ()
type Generators Size Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.SpecClass type Generators Size = ()
type Lenses Size Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.SpecClass type Lenses Size = ()
type Reps Size Source #
Instance details Defined in Test.Cardano.Ledger.Constrained.SpecClass type Reps Size = ()

seps ∷ [String] → String Source #

sepsP ∷ [String] → String Source #

sepn ∷ [String] → String Source #

runSize ∷ Int → Size → Bool Source #

atLeastDelta ∷ Int Source #

Used in tests so things don't get too large

atMostAny ∷ Int Source #

Used in tests so things don't get too large If we can't find an era using things of size 10 using things of size 100, isn't going to help.

genFromSize ∷ Size → Gen Int Source #

Use to generate real sizes, where there are no negative numbers, and the smallest possible size is 0. Use this only where you know it is NOT SzNever

genFromIntRange ∷ Size → Gen Int Source #

Similar to genFromSize, but allows negative numbers (unlike size where the smallest Int is 0)

genFromNonNegIntRange ∷ Size → Gen Int Source #

negateSize ∷ Size → Size Source #

mergeSize ∷ Size → Size → Size Source #